Evan Czaplicki 47aa48d9fd Preemptively add "number" as a kind of flexible variable that can unify with an (Is Number) ... This is similar to the recent issue with comparable brought up by Max.		2013-08-10 14:26:01 -07:00
..
Constrain	Give line numbers when there is a kind error in a pattern	2013-08-06 15:44:19 -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	Stop using the MultiWayIf extension	2013-07-30 22:57:13 -07:00
State.hs	Remove extra "is" from defaultMessage.	2013-08-07 06:12:11 -03: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	Preemptively add "number" as a kind of flexible variable that can unify with an (Is Number)	2013-08-10 14:26:01 -07:00