Search results

Extend Refinement Types to Support Real-Number Constraints

Status: Open.

#1457 In racket/typed-racket;

· uyweywe opened on Jun 17, 2025

<code>typed/racket/base/shallow</code> hangs when recursive types are in a separate module

Status: Open.

#1453 In racket/typed-racket;

· NoahStoryM opened on May 25, 2025

Documentation: Intersection types

Status: Open.

#1451 In racket/typed-racket;

· ShalokShalom opened on May 11, 2025

[Feature Request] Adding <code>...</code> Support to <code>define-type</code>

Status: Open.

#1446 In racket/typed-racket;

· NoahStoryM opened on Apr 20, 2025

[Feature Request] Add <code>unsafe-cast</code>

Status: Open.

#1445 In racket/typed-racket;

· NoahStoryM opened on Apr 17, 2025

Use in-directory in typed racket

Status: Open.

#1442 In racket/typed-racket;

· Antigen-1 opened on Mar 12, 2025

Inconsistent behavior of type <code>Any</code> for unannotated programs

Status: Open.

#1440 In racket/typed-racket;

· capfredf opened on Mar 3, 2025

Typed Racket cannot handle compose that use multiple values

Status: Open.

#1430 In racket/typed-racket;

· OnorioCatenacci opened on Jan 21, 2025

acos unsound in TR

Status: Open.

#1423 In racket/typed-racket;

· jbclements opened on Dec 31, 2024

<code>identifier-binding-symbol: contract violation</code> after <code>raco demod</code>

Status: Open.

#1420 In racket/typed-racket;

· benknoble opened on Dec 21, 2024

Rackunit reports success even when all tests fail

Status: Open.

#1413 In racket/typed-racket;

· stevecheckoway opened on Nov 21, 2024

<code>Values</code> handling in non-function contexts causes errors

Status: Open.

#1409 In racket/typed-racket;

· NoahStoryM opened on Nov 3, 2024