Evan Czaplicki b7eb1335b0 Fix subtle bug with rigidVars vs rigidQuantifiers, was quantifing over the wrong variables in a forall		2013-08-12 14:32:51 -07:00
..
Constrain	Fix subtle bug with rigidVars vs rigidQuantifiers, was quantifing over the wrong variables in a forall	2013-08-12 14:32:51 -07:00
Environment.hs	Fix problem with variable shadowing when instantiating aliased types	2013-08-08 15:45:22 -07:00
Fragment.hs	Use new Located datastructure, add source strings where appropriate	2013-08-03 11:41:33 -07:00
Inference.hs	Use new Located datastructure, add source strings where appropriate	2013-08-03 11:41:33 -07:00
PrettyPrint.hs	Add CSaveEnv, optimize CAnd, make it prettier	2013-07-19 17:48:41 +02:00
Solve.hs	style tweaks	2013-08-12 14:29:38 -07:00
State.hs	Make impossible error more specific	2013-08-12 14:30:32 -07:00
Type.hs	compute a flexibility mark, just so it's easier to turn on and off later	2013-08-10 14:18:59 -07:00
Unify.hs	Fix accidental creation of rigid variables when type-checking mixed record types when a type alias is given	2013-08-12 14:27:42 -07:00