871 Commits

Author	SHA1	Message	Date
Richard Feldman	635b3f1a4a	Disable can_problems check in test_infer ... It made various tests harder to write and didn't seem to help.	2020-02-21 00:40:05 -08:00
Richard Feldman	8690472695	Fix shadowing problem in test_infer	2020-02-21 00:30:02 -08:00
Richard Feldman	49423cfd5d	Merge branch 'builtin-types' into top-sort-aliases	2020-02-21 00:17:20 -08:00
Richard Feldman	126a12a77f	Merge remote-tracking branch 'origin/trunk' into builtin-types	2020-02-21 00:11:53 -08:00
Richard Feldman	27fbd9e641	Fail inference tests on canonicalization problems	2020-02-20 23:38:26 -08:00
Richard Feldman	32a455266b	Move Principal.roc into no_deps/	2020-02-19 21:38:01 -08:00
Richard Feldman	2c0e6eeec1	Reproduce Unit alias bug	2020-02-19 21:36:54 -08:00
Richard Feldman	8fdc77167a	Add test for unit alias working in defs	2020-02-19 21:32:50 -08:00
Richard Feldman	54a5349306	Reproduce alias import bug	2020-02-19 21:24:28 -08:00
Richard Feldman	8e37b650cd	Rename Result to Res in tests	2020-02-19 21:24:27 -08:00
Richard Feldman	9b6430593c	Rename some tests	2020-02-19 20:13:45 -08:00
Richard Feldman	654ffeb3ac	Panic explicitly in test helper	2020-02-19 20:13:35 -08:00
Richard Feldman	80d3eca7f3	add commented-out parse error reproduction	2020-02-19 18:19:43 -08:00
Richard Feldman	a4e80b196e	reproduce variable problem	2020-02-19 18:19:43 -08:00
Richard Feldman	91f708c4a4	fix test_uniqueness_infer shadowing errors	2020-02-19 18:19:43 -08:00
Richard Feldman	4bec799dc0	fix type mismatches on test_infer	2020-02-19 18:18:33 -08:00
Richard Feldman	b7a40f69a7	enable pretty_assertions in test_load	2020-02-19 18:18:14 -08:00
Richard Feldman	1d0c667f6f	reproduce annotation bug	2020-02-19 18:18:00 -08:00
Richard Feldman	5131cc5c39	rename an inaccurately named var	2020-02-19 18:17:48 -08:00
Richard Feldman	060673f58d	restore some infer tests	2020-02-19 18:17:33 -08:00
Richard Feldman	5b258cec00	Revise quicksort a bit	2020-02-19 18:17:19 -08:00
Richard Feldman	d46fbcff0b	refactor: use from_layout everywhere	2020-02-19 18:15:35 -08:00
Folkert	203add5518	convert mutually recursive tag unions to recursive ones	2020-02-19 21:27:24 +01:00
Folkert	24b3056005	Merge remote-tracking branch 'origin/builtin-types' into top-sort-aliases	2020-02-19 20:12:35 +01:00
Folkert	838417dfcf	panic on mutually recursive alias	2020-02-19 20:05:51 +01:00
Folkert	58b7c712af	sketch design	2020-02-19 20:05:51 +01:00
Folkert	c668b1f6f9	push Quicksort.roc	2020-02-19 20:05:51 +01:00
Folkert	e48a412faf	infer quicksort	2020-02-19 20:05:51 +01:00
Folkert	9fb44e13dc	List.get and List.set	2020-02-19 20:05:51 +01:00
Folkert	47cfba1b7f	make Alias separate from SolvedType	2020-02-19 20:05:51 +01:00
Richard Feldman	38ff22d122	Fix some tests	2020-02-19 20:05:51 +01:00
Richard Feldman	5479453c01	Drop obsolete tests	2020-02-19 20:05:51 +01:00
Richard Feldman	89e37c2539	Fix fixtures tests, add WithBuiltins	2020-02-19 20:05:51 +01:00
Richard Feldman	c4a881eafd	Drop unused builtins test setup code	2020-02-19 20:05:50 +01:00
Richard Feldman	6ff87737a3	Gather canonicalization problems for modules	2020-02-19 20:05:50 +01:00
Richard Feldman	8e0bca11fa	Use exposed_builtins as the basis for dep_idents	2020-02-19 20:05:50 +01:00
Chad Stearns	eb65090340	Merging in remote, and also added greater then char to what to look out for before negation symbol	2020-02-15 19:48:30 -05:00
Richard Feldman	a14efde297	Clean up some spaces in tests	2020-02-14 22:18:39 -08:00
Folkert	ee1586ad1f	clean up some things	2020-02-15 00:22:04 +01:00
Folkert	5b96849ee9	instantiate aliases in the constraint	2020-02-14 23:56:58 +01:00
Folkert	c166cd0780	fix swapped variables in uniqueness signatures	2020-02-14 16:56:14 +01:00
Folkert	a739c4edfb	use builtins for uniqueness_infer	2020-02-14 16:31:20 +01:00
Folkert	3c87237d76	make most uniqueness infer tests pass	2020-02-14 15:09:26 +01:00
Folkert	92f3575dca	make test_infer pass ... Requires some changes to pretty printing to turn `Num Integer` into `Int`, and the builtin aliases must be available during typechecking	2020-02-14 14:33:07 +01:00
Dan Bruder	ae30a99689	Merge trunk into emit-records	2020-02-14 06:53:56 -05:00
Dan Bruder	a1b2a88a4f	Comment out basic record emit test	2020-02-14 06:42:20 -05:00
Richard Feldman	efa1208663	Fix some more exposing logic	2020-02-14 00:25:01 -05:00
Richard Feldman	d8b2d54c98	Panic on unused imports (for now)	2020-02-14 00:25:01 -05:00
Folkert	435d0f917d	push Quicksort.roc	2020-02-13 22:02:23 +01:00
Folkert	46e07b276d	infer quicksort	2020-02-13 20:01:20 +01:00