77 commits

Author	SHA1	Message	Date
Folkert	36e6950daa	ensure VarId always encodes root var ... otherwise variables with the same root, but different values would be different once imported in another module	2020-06-30 15:03:30 +02:00
Richard Feldman	8c96d12661	Merge trunk	2020-06-29 22:10:46 -04:00
Richard Feldman	81db9de8b5	Merge branch 'trunk' into container-rule-patterns	2020-06-28 16:21:34 -04:00
Richard Feldman	95fa81b414	Add failing test for self-qualified modules	2020-06-28 15:37:44 -04:00
Folkert	41621bc509	fix test outputs ... in some cases for aliases the outputs are not entirely correct yet. That's future work	2020-06-27 21:01:51 +02:00
Richard Feldman	55045e1cea	Fix some tests and docs	2020-06-25 22:11:46 -04:00
Richard Feldman	88990c8711	Move Int and Float modules into Num	2020-06-22 23:25:38 -04:00
Folkert	0fbac382d0	improve uniqueness signatures	2020-06-22 23:28:23 +02:00
Richard Feldman	b75f061f4f	Fix exhaustiveness errors	2020-06-19 13:30:14 -04:00
Richard Feldman	269da82840	Make VarStore no longer use atomics	2020-06-13 21:59:01 -04:00
Richard Feldman	1b48c370a9	cargo fmt	2020-05-26 00:33:16 -04:00
Richard Feldman	4295dec955	Fix load_builtin_aliases ordering	2020-05-26 00:04:59 -04:00
Richard Feldman	c386192e8b	Reorganize when solving and constraint gen happen	2020-05-26 00:04:42 -04:00
Richard Feldman	5f33073703	fix tests	2020-05-01 19:30:55 -04:00
Richard Feldman	5c31369072	Code gen thunks for top-level module decls	2020-05-01 19:30:55 -04:00
Richard Feldman	62186fdda4	Add load tests for apps	2020-04-15 07:06:11 -04:00
Richard Feldman	6c6e1d9ee3	Update some interface tests	2020-04-15 07:06:11 -04:00
Richard Feldman	94801f1011	Use expanded stack on load tests	2020-04-05 17:32:06 -04:00
Folkert	106a3646bf	add category to Eq constraint	2020-04-01 20:09:10 +02:00
Folkert	14ad793bd7	hook up TypeError	2020-04-01 16:28:10 +02:00
Richard Feldman	8d4331f903	Merge remote-tracking branch 'origin/trunk' into array-wrappers	2020-03-13 22:20:35 -04:00
Richard Feldman	c0837eca1c	Use constantNum over constantInt in load tests	2020-03-10 23:11:49 -04:00
Richard Feldman	3789402a32	Rename List.length to List.len	2020-03-10 02:56:55 -04:00
Folkert	21bbfd3c94	Merge remote-tracking branch 'origin/trunk' into use-fewer-variables	2020-03-07 00:53:13 +01:00
Richard Feldman	bf994c38f5	Clean up some trailing spaces in AStar.roc	2020-03-06 18:25:36 -05:00
Richard Feldman	df4533296b	fix some tests	2020-03-06 18:24:37 -05:00
Richard Feldman	a18e023326	Move load to its own crate	2020-03-06 18:24:37 -05:00