suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
b11e48fa93
typed-racket/typed-racket-lib/typed-racket/utils
History
Asumu Takikawa 92d1dd1c5e Add sealing contracts for row polymorphic types 
This enables contract generation in the negative
direction (untyped->typed) for row polymorphic types
(basically mixin types).

Depends on `class-seal` and `class-unseal` in
the racket/class library.
2015-05-13 20:52:32 -04:00
..
any-wrap.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
arm.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
disappeared-use.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
disarm.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
early-return.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
evt-contract.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
lift.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
literal-syntax-class.rkt Significantly reduce dependencies. 2015-04-03 12:50:55 -04:00
mutated-vars.rkt Added occurrence typing for private fields. 2015-02-12 16:31:18 -05:00
opaque-object.rkt Fix first-order check for TR's opaque object/c 2015-03-13 16:52:34 -04:00
print-struct.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
redirect-contract.rkt Significantly reduce dependencies. 2015-04-03 12:50:55 -04:00
require-contract.rkt Undo local-require change from 7afeada73d 2015-01-14 00:23:27 -05:00
sealing-contract.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
struct-extraction.rkt Split prims.rkt to reduce dependencies. 2015-03-18 18:47:49 -04:00
struct-type-c.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
stxclass-util.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
tarjan.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
tc-utils.rkt Significantly reduce dependencies. 2015-04-03 12:50:55 -04:00
timing.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
typed-method-property.rkt Add a custom object contract for use in TR 2015-03-04 16:26:35 -05:00
unit-utils.rkt Remove extra directories. 2014-12-02 00:53:36 -05:00
utils.rkt Significantly reduce dependencies. 2015-04-03 12:50:55 -04:00