Evan Czaplicki f73a6ff9f9 Add an occurs check to finally resolve #294 ... Add it in the more clever location suggested by Pottier and Remy. Also change the style of error messages to get rid of the expected/actual problem for now, and make hints read more smoothly.		2013-11-19 22:31:38 -08:00
..
Constrain	Add Strings as a primitive in the compiler	2013-10-02 15:56:43 -07:00
Alias.hs	Chose the best alias when many apply (fixes issue #227)	2013-09-02 14:59:22 -07:00
Environment.hs	Add Strings as a primitive in the compiler	2013-10-02 15:56:43 -07:00
ExtraChecks.hs	Add an occurs check to finally resolve #294	2013-11-19 22:31:38 -08:00
Fragment.hs	Use new Located datastructure, add source strings where appropriate	2013-08-03 11:41:33 -07:00
Inference.hs	Stop using error when constraining patterns and when instantiating source types	2013-08-25 20:23:49 -07:00
PrettyPrint.hs	reprime when printing types	2013-08-14 00:44:40 -07:00
Solve.hs	Add an occurs check to finally resolve #294	2013-11-19 22:31:38 -08:00
State.hs	Add an occurs check to finally resolve #294	2013-11-19 22:31:38 -08:00
Type.hs	Stop using error when constraining patterns and when instantiating source types	2013-08-25 20:23:49 -07:00
Unify.hs	Add an occurs check to finally resolve #294	2013-11-19 22:31:38 -08:00