Typed Racket

Asumu Takikawa 07a8649e4d Use Tarjan's algorithm for typechecking letrecs ... This allows us to type-check non-recursive sequences of letrec-values clauses in the right order. In other words, we will type-check the clauses in reverse topological order (the reverse of the dependency order). Clauses that are recursive go through the usual type-checking process, injecting Undefined where necessary. original commit: 93a2798ec3f41e113a282e10c31473d117f590e5		2014-03-11 23:03:39 -04:00
pkgs/typed-racket-pkgs	Use Tarjan's algorithm for typechecking letrecs	2014-03-11 23:03:39 -04:00