Search results

type-contract: add common ctc-cache

in-progress

Status: Open (in progress).

racket/typed-racketnumber 917

#917 In racket/typed-racket;

· bennn opened on Mar 27, 2020

RFC for initial implementation of types for untyped contracts

in-progress

Status: Open (in progress).

racket/typed-racketnumber 833

#833 In racket/typed-racket;

· btlachance opened on Jun 30, 2019

WIP: more complete function application for case->

in-progress

Status: Draft (not ready).

racket/typed-racketnumber 757

#757 In racket/typed-racket;

· pnwamk opened on Aug 2, 2018

more-complete-application RFC

in-progress

Status: Draft (not ready).

racket/typed-racketnumber 756

#756 In racket/typed-racket;

· pnwamk opened on Jul 30, 2018

Evaluation order rfc

in-progress

RFCIncludes an RFCIncludes an RFC

Status: Open (in progress).

racket/typed-racketnumber 709

#709 In racket/typed-racket;

· bennn opened on May 5, 2018

order-of-evaluation props

in-progress

Status: Open (in progress).

racket/typed-racketnumber 707

#707 In racket/typed-racket;

· bennn opened on May 2, 2018

Reduce expansion from type and contract generation.

in-progress

Status: Open (in progress).

racket/typed-racketnumber 633

#633 In racket/typed-racket;

· samth opened on Oct 17, 2017

WIP: Initial support for racket/contract in TR

in-progress

Status: Open (in progress).

racket/typed-racketnumber 420

#420 In racket/typed-racket;

· btlachance opened on Aug 23, 2016

WIP: add type-out provide-spec

in-progress

Status: Open (in progress).

racket/typed-racketnumber 301

#301 In racket/typed-racket;

· bennn opened on Feb 2, 2016

add separate read and write types for Box types

in-progress

Status: Open (in progress).

racket/typed-racketnumber 225

#225 In racket/typed-racket;

· AlexKnauth opened on Oct 25, 2015

 ·  

6.7