165 Commits

Author	SHA1	Message	Date
Folkert	e5997c4047	fix mutual recursive types ... I'll write a bit more about this in the PR message	2020-06-26 01:03:55 +02:00
Folkert	055b01c463	rewrite uniqueness logic	2020-06-24 23:06:34 +02:00
Richard Feldman	f31e260e2f	Don't log type mismatch info in release builds	2020-05-26 00:04:59 -04:00
Richard Feldman	ce9e7a91f6	Clean up some Cargo.toml files	2020-05-03 21:37:59 -04:00
Richard Feldman	1c1fee7e31	Trim trailing space off pretty_assertions dep	2020-04-16 19:24:24 -04:00
Folkert	f6af66f342	record, tag, alias errors ... - duplicate fields and tags are reported - circular aliases are reported	2020-04-13 20:53:16 +02:00
Folkert	67f8f2e943	improve tag union errors	2020-04-06 21:40:54 +02:00
Folkert	3f4346f573	stop unification when ext vars don't unify	2020-04-06 21:40:54 +02:00
Richard Feldman	0357ff552b	Improve a todo error message	2020-04-05 23:30:39 -04:00
Folkert	14ad793bd7	hook up TypeError	2020-04-01 16:28:10 +02:00
Folkert	a3b1ec3be0	pull tags/fields from the ext_var during unification	2020-03-13 15:12:32 +01:00
Folkert	e01a6bab9b	improve error reporting by mismatch! macro	2020-03-13 13:06:56 +01:00
Folkert	de8d1f81d1	fix typo in Tag unification	2020-03-06 13:46:58 +01:00
Richard Feldman	3b26a982f0	Move pretty_print_types into types crate	2020-03-06 02:01:05 -05:00
Richard Feldman	cc92ca7e7c	Move solve and unify into their own crates	2020-03-06 01:43:50 -05:00