38 Commits

Author	SHA1	Message	Date
Richard Feldman	a18e023326	Move load to its own crate	2020-03-06 18:24:37 -05:00
Richard Feldman	31e300021c	Move fmt to separate crate	2020-03-06 18:24:37 -05:00
Richard Feldman	33d849100b	Drop obsolete string.rs	2020-03-06 18:24:37 -05:00
Richard Feldman	5a129a506a	Move fmt	2020-03-06 18:24:37 -05:00
Richard Feldman	762ae80ec4	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00
Richard Feldman	8fc75f2b2e	fix some tests	2020-03-06 18:24:37 -05:00
Richard Feldman	a2f5f6f9fb	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00
Folkert	37fc820e59	add tests	2020-03-06 23:56:17 +01:00
Folkert	4848eb5901	refactor introduced variables ... This has lead to so many problems, so I made a special-purpose type for it	2020-03-06 23:55:31 +01:00
Folkert	c6121e3805	add unique builtins for AStar	2020-03-06 23:54:13 +01:00
Folkert	d34c96ec96	AStar with uniqueness inference	2020-03-06 23:52:32 +01:00
Folkert	455ab1da16	re-add larger stack size helper ... it's needed for uniqueness inference of AStar. We should really optimize variable usage though...	2020-03-06 23:51:14 +01:00
Folkert	edcda78e9d	remove dbg!	2020-03-06 15:26:55 +01:00
Folkert	9d18924d1f	add AStar.roc again	2020-03-06 14:07:38 +01:00
Folkert	639a56b59c	fix ordering issue in canonicalize test	2020-03-06 14:07:24 +01:00
Folkert	7b1ae75860	fix issues after merge	2020-03-06 13:59:46 +01:00
Folkert	c760180195	add tests	2020-03-06 13:49:04 +01:00
Folkert	fefac9580e	expose rigids introduced by builtins ... they aren't used yet, because their names can 'leak'. Not sure what the best way forward is here	2020-03-06 13:48:52 +01:00
Folkert	b9b2f70673	add AStar test	2020-03-06 13:46:58 +01:00
Folkert	4d061bd932	add builtins required for AStar	2020-03-06 13:46:58 +01:00
Folkert	de8d1f81d1	fix typo in Tag unification	2020-03-06 13:46:58 +01:00
Folkert	12a819e762	extract tags from the ext variable ... turns out this is always needed. I also removed the explicit check for an empty tag union: there could still be tags in the ext even if the union itself seems empty. seems weird to optimize for the empty case because it'll be very rare in practice	2020-03-06 13:45:59 +01:00
Richard Feldman	c3fcfd65cb	Move reporting into its own crate	2020-03-06 02:06:18 -05:00
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