Typed Racket
Go to file
Asumu Takikawa c8301ad185 Refine handling of types for struct-types
- Added a top type for struct-types
  - Print struct-type types consistently
  - Add support for parsing struct-types
  - Allow polymorphism within a Struct-Type

original commit: ae80c216c3438c7bb208788ab99ed890263a80e5
2014-01-07 13:39:39 -05:00
pkgs/typed-racket-pkgs Refine handling of types for struct-types 2014-01-07 13:39:39 -05:00