1665 Commits

Author	SHA1	Message	Date
Richard Feldman	3b26a982f0	Move pretty_print_types into types crate	2020-03-06 02:01:05 -05:00
Richard Feldman	45bda2e0c7	Move unique_builtins into builtins crate	2020-03-06 01:47:04 -05:00
Richard Feldman	cc92ca7e7c	Move solve and unify into their own crates	2020-03-06 01:43:50 -05:00
Richard Feldman	908e485fca	Move constrain and its deps into their own crates	2020-03-06 01:43:39 -05:00
Richard Feldman	5b5f800c70	cargo fmt	2020-03-05 23:03:49 -05:00
Richard Feldman	8ef2ae3de7	clippy clip clip	2020-03-05 23:03:29 -05:00
Richard Feldman	3b6ed43126	Extract can/ into its own crate, plus its deps	2020-03-05 23:01:32 -05:00
Richard Feldman	6ac60fa5cb	Update reporting to use new crate structure.	2020-03-05 20:52:00 -05:00
Richard Feldman	a1b8c97039	Added can_problem and Docs	2020-03-05 20:48:13 -05:00
Richard Feldman	d5163fa4d4	Add src/reporting.rs	2020-03-05 20:48:13 -05:00
Richard Feldman	5615a26569	Drop obsolete comment	2020-03-05 20:48:13 -05:00
Folkert	0f8373d39f	register rigids correctly	2020-03-06 00:33:37 +01:00
Folkert	9818b1a2da	fix typo in unify ... Caused incorrect unification of records in some circumstances	2020-03-06 00:33:24 +01:00
Folkert	429ba6ed06	make call_successors safe ... For recursive functions, it could enter an infinite recursion.	2020-03-06 00:33:08 +01:00
Richard Feldman	313b7a79e8	Use workspaces and move everything into compiler/	2020-03-05 17:45:52 -05:00