suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,735 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
fef047b54e
Go to file
Asumu Takikawa fef047b54e Simplify contract generation code 
Don't export type->contract except for testing. This
discourages direct use of type->contract in favor of
using the change-contract-fixup approach.

Also consolidate most of the contract-related syntax
properties into a single property containing a prefab
struct instance.

original commit: b374902bf3dd24e06f64017aa3d89e29ec6ffd42
2014-11-04 18:17:22 -05:00
pkgs/typed-racket-pkgs Simplify contract generation code 2014-11-04 18:17:22 -05:00