Search results

The typed version of racket/fixnum doesn't provide the popcount functions.

good first issue

Status: Open.

#1319 In racket/typed-racket;

· shawnw opened on Mar 13, 2023

 ·  

8.12

Better error message for misuse of row polymorphic types and add documentation for <code>(All (r #:row) body)</code>

class

good first issue

Status: Open.

#1146 In racket/typed-racket;

· capfredf opened on Oct 5, 2021

Unsound complex <code>exp</code> optimization

good first issue

optimizer

unsound

Status: Open.

#969 In racket/typed-racket;

· samth opened on Sep 1, 2020

<code>require/typed/provide</code> and <code>unsafe-require/typed/provide</code> do not support all forms <code>require/typed</code> does like doc suggests

good first issue

Status: Open.

#805 In racket/typed-racket;

· philnguyen opened on Feb 23, 2019

Clean up the "utils" directory

good first issue

Status: Open.

#725 In racket/typed-racket;

· samth opened on May 16, 2018

refinement type runs into an endless loop

good first issue

inference

refinement

Status: Open.

#672 In racket/typed-racket;

· Syntacticlosure opened on Feb 28, 2018

tooltips missing sometimes

enhancement

good first issue

Status: Open.

#667 In racket/typed-racket;

· rfindler opened on Feb 16, 2018

The no-check TR language's bindings are not identical to TR in the transformer environment

good first issue

Status: Open.

#595 In racket/typed-racket;

· david-christiansen opened on Aug 30, 2017

case-lambda allows multiple cases with the same arity

arrow

good first issue

Status: Open.

#517 In racket/typed-racket;

· gfbee opened on Mar 24, 2017

internal error type-checking a dot type program

good first issue

Status: Open.

#509 In racket/typed-racket;

· mfelleisen opened on Mar 13, 2017

TR should provide a Dictionary type

good first issue

Status: Open.

#31 In racket/typed-racket;

· lexi-lambda opened on Feb 21, 2015