Typed Racket
Go to file
Asumu Takikawa 68da446549 Abstract out "Expected foo, but got bar" errors
Use the new helper function to report errors more
helpfully when two identically named type variables
from different scopes are encountered.

original commit: 18d4eb51351bb265f69f16b825932d93b228e69e
2013-10-16 14:39:24 -04:00
pkgs/typed-racket-pkgs Abstract out "Expected foo, but got bar" errors 2013-10-16 14:39:24 -04:00