Search results

false negative with recursive predicates

Status: Open.

#1490 In racket/typed-racket;

· ilya-klyuchnikov opened on Feb 1, 2026

"in a productive position" is reported instead of "type name is unbound"

Status: Open.

#1488 In racket/typed-racket;

· ilya-klyuchnikov opened on Jan 25, 2026

class-field-accessor and contracts on fields

Status: Open.

#1487 In racket/typed-racket;

· rfindler opened on Jan 21, 2026

[Feature Request] Allow <code>(T)</code> to be treated as <code>T</code>

Status: Open.

#1476 In racket/typed-racket;

· NoahStoryM opened on Oct 27, 2025

Struct predicate from untyped module fails across shallow/deep boundary

Status: Open.

#1470 In racket/typed-racket;

· NoahStoryM opened on Sep 10, 2025

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