Georges Dupéron 0201de0466 Improved error messages given by typed/racket, by always including the type name and arguments in the error message. ... When a typing error is located inside macro-expanded code, a message such as “wrong number of arguments to polymorphic type: expected 1 and got 2” does not help much in locating which instantiation is wrong.		2015-11-20 14:08:33 +01:00
..
typed	don't provide Unit from typed/racket/base	2015-11-05 17:14:35 -05:00
typed-racket	Improved error messages given by typed/racket, by always including the type name and arguments in the error message.	2015-11-20 14:08:33 +01:00
info.rkt	Bump version for typed/racket/unsafe addition	2015-09-30 15:37:02 -04:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00