Search results

invoke-unit and unit-from-context can trigger an internal typechecker error

bug

Status: Open.

#1305 In racket/typed-racket;

· lexi-lambda opened on Feb 5, 2023

When defining a structure in REPL, its fields can't use its type.

bug

struct

Status: Open.

#1195 In racket/typed-racket;

· NoahStoryM opened on Feb 23, 2022

Unsoundness from require/typed struct not checking the parent

bug

struct

unsound

Status: Open.

#1127 In racket/typed-racket;

· AlexKnauth opened on Jul 28, 2021

TR-contract translation with twin or/c causes problems

bug

Status: Open.

#1082 In racket/typed-racket;

· jbclements opened on Apr 30, 2021

Is there no way to specify non-NaN flonum types?

bug

Status: Open.

#1080 In racket/typed-racket;

· Aeva opened on Apr 23, 2021

Bindings re-exported in submodules are not protected by contracts

bug

Status: Open.

#1064 In racket/typed-racket;

· yjqww6 opened on Mar 22, 2021

Unexpected sensitivity to order of <code>require</code>d typed modules in untyped code

bug

Status: Open.

#1054 In racket/typed-racket;

· jessealama opened on Mar 6, 2021

Unclear error message for (second x) expression

bug

Status: Open.

#1021 In racket/typed-racket;

· srcreigh opened on Jan 17, 2021

function arity of type-annotation not checked against definition

bug

Status: Open.

#998 In racket/typed-racket;

· bdeket opened on Nov 17, 2020

TR fails to type check optional lambdas with type annotations

bug

Status: Open.

#997 In racket/typed-racket;

· capfredf opened on Nov 16, 2020

Error when using the name "unit" for something in a class

bug

Status: Open.

#994 In racket/typed-racket;

· hashimmm opened on Nov 10, 2020

mysterious error message when referencing bindings from untyped rackunit

bug

Status: Open.

#989 In racket/typed-racket;

· capfredf opened on Nov 5, 2020