Search results

Inconsistent use of the Index argument in treelist

Status: Open.

#1471 In racket/typed-racket;

· yiyunliu opened on Sep 26, 2025

Struct predicate from untyped module fails across shallow/deep boundary

Status: Open.

#1470 In racket/typed-racket;

· NoahStoryM opened on Sep 10, 2025

Misleading error when using a macro from <code>typed/racket</code> in <code>typed/racket/shallow</code>

Status: Open.

#1469 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

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