10 commits

Author	SHA1	Message	Date
Richard Feldman	a291946aa5	Check for canoncalization problems in solve	2020-04-05 23:30:39 -04:00
Folkert	604dbf7215	Merge remote-tracking branch 'origin/trunk' into precedence-error	2020-04-02 23:29:15 +02:00
Folkert	14ad793bd7	hook up TypeError	2020-04-01 16:28:10 +02:00
Folkert	2586fde6af	add test that triggers assert	2020-03-31 00:27:37 +02:00
Folkert	da7498510b	add another test	2020-03-30 02:14:41 +02:00
Folkert	a6f80471f9	add tests based on elm typechecker issues	2020-03-29 23:33:21 +02:00
Folkert	bd7ad318cf	fix bug in guard constraint gen	2020-03-21 15:12:01 +01:00
Folkert	920928399a	type inference for pattern guards	2020-03-21 00:39:52 +01:00
Richard Feldman	3ecbe0325c	Plain number literals (e.g. 5) are now Num *	2020-03-10 22:27:13 -04:00
Richard Feldman	a2f5f6f9fb	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00

Renamed from compiler/tests/test_infer.rs (Browse further)