Typed Racket
Go to file
Asumu Takikawa 400b6d438c Rewrite TR pass for class top-level expressions
Instead of making separate passes over the expressions,
make a single pass to collect necessary information for
type-checking.

This enables simpler processing of type annotations,
super initialization arguments, and other things.

original commit: 0bacba7a68321ff08187d0a5d95b02b8351cdd3f
2014-03-05 01:10:44 -05:00
pkgs/typed-racket-pkgs Rewrite TR pass for class top-level expressions 2014-03-05 01:10:44 -05:00