Georges Dupéron ce4a2b3d36 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-12-29 17:35:32 -05:00
..
typed	Only show OC button in DrR when the tool is actually loaded.	2015-12-18 15:58:40 -06:00
typed-racket	Improved error messages given by typed/racket, by always including the type name and arguments in the error message.	2015-12-29 17:35:32 -05:00
info.rkt	add type for an internal function in a match expansion	2015-12-09 17:21:56 -07:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00