2006 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Richard Feldman	396f4c0f18	Add a doc comment	2020-02-22 11:56:52 -05:00
Richard Feldman	2f6459b8bc	Drop unused argument	2020-02-22 11:56:52 -05:00
Richard Feldman	1085b3de21	Update some more docs	2020-02-22 11:56:52 -05:00
Richard Feldman	4c16d565e8	Add a bunch of builtins	2020-02-22 11:56:52 -05:00
Richard Feldman	77271eac02	Rename aliases to def_aliases	2020-02-21 17:59:23 -08:00
Richard Feldman	b868541baa	Remove unnecessary scope.into_aliases ... Turns out we already had the info we needed in output.aliases	2020-02-21 17:58:52 -08:00
Richard Feldman	31845ccecb	Remove unnecessary clone	2020-02-21 17:58:19 -08:00
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	7c752da6d0	Merge pull request #196 from rtfeldman/top-sort-aliases ... Handle mutually recursive aliases	2020-02-21 00:26:17 -08:00
Richard Feldman	4f5a220d4c	Revert "Revert "Fix spurious UnusedDef on type aliases"" ... This reverts commit e2f18eb693.	2020-02-21 00:23:31 -08:00
Richard Feldman	40168c40a7	Revert "Revert "Fix spurious UnusedDef on type aliases"" ... This reverts commit e2f18eb693.	2020-02-21 00:20:29 -08:00
Richard Feldman	49423cfd5d	Merge branch 'builtin-types' into top-sort-aliases	2020-02-21 00:17:20 -08:00
Richard Feldman	e2f18eb693	Revert "Fix spurious UnusedDef on type aliases" ... This reverts commit 14e9d7b729.	2020-02-21 00:15:14 -08:00
Richard Feldman	126a12a77f	Merge remote-tracking branch 'origin/trunk' into builtin-types	2020-02-21 00:11:53 -08:00
Richard Feldman	14e9d7b729	Fix spurious UnusedDef on type aliases	2020-02-21 00:01:11 -08:00
Richard Feldman	557b1e7d70	Gather all references using mut	2020-02-20 23:51:46 -08:00
Richard Feldman	27fbd9e641	Fail inference tests on canonicalization problems	2020-02-20 23:38:26 -08:00
Richard Feldman	4a586a0f6e	Reorder references unioning	2020-02-20 23:38:06 -08:00
Richard Feldman	ca4e18481b	fix typo	2020-02-20 23:37:39 -08:00
Richard Feldman	7afa19809e	Update some docs	2020-02-20 21:43:50 -08:00
Richard Feldman	2e2400bf08	Remove some unnecessary cloning	2020-02-19 23:22:59 -08:00
Richard Feldman	625b7cb761	Rename aliases to imported_aliases for clarity	2020-02-19 23:22:41 -08:00
Richard Feldman	f8b831b2ca	Drop obsolete comment	2020-02-19 23:17:55 -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	c09abf44d9	Drop extraneous file	2020-02-19 21:24:27 -08:00
Richard Feldman	9cd810ae15	Fix missing rigids	2020-02-19 20:13:57 -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	1e7becf742	helper shouldn't be public	2020-02-19 20:13:20 -08:00
Richard Feldman	0e1b2b6f5e	Drop unnecessary &	2020-02-19 20:13:06 -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	1b1b50b8c9	fix converting FunctionPointer from Layout to LLVM	2020-02-19 18:16:31 -08:00
Richard Feldman	5677e4f5cb	fix int pattern matching code gen	2020-02-19 18:16:18 -08:00
Richard Feldman	9aeef66d56	flatten unions and records	2020-02-19 18:15:56 -08:00
Richard Feldman	d46fbcff0b	refactor: use from_layout everywhere	2020-02-19 18:15:35 -08:00
Richard Feldman	7ce5c07d2f	refactor out type_from_var in crane::build	2020-02-19 18:15:16 -08:00
Richard Feldman	f58c50bc26	First pass at builtins involving tag unions	2020-02-19 18:14:53 -08:00