Commit Graph

2171 Commits

Author SHA1 Message Date
Chad Stearns
ff95ace26f Merging in remote trunk 2020-02-22 15:13:06 -05:00
Richard Feldman
9609d7ddef Give a more descriptive error for a known failure 2020-02-22 13:31:10 -05:00
Richard Feldman
1f6e3e03ec Rigids don't unify with Alias 2020-02-22 13:19:47 -05:00
Richard Feldman
ecd7898ba5 Use builtin_aliases in checking loaded references 2020-02-22 13:19:37 -05:00
Richard Feldman
d9d34f530e Restore identity in test_load 2020-02-22 13:19:08 -05:00
Richard Feldman
2dca6f5881 Switch the types of Res around in fixtures 2020-02-22 13:19:00 -05:00
Folkert
b2fdc54594 instantiate aliases when loading files 2020-02-22 18:17:12 +01:00
Folkert
e3db35154d Revert "Revert "Use exists_with_aliases more""
This reverts commit 3e60a7b8ad.
2020-02-22 18:00:10 +01:00
Richard Feldman
8d39db305f Drop unused comment 2020-02-22 11:56:52 -05:00
Richard Feldman
3e60a7b8ad Revert "Use exists_with_aliases more"
This reverts commit d835f6f2500a839d35630e2ff4166aaab402d758.
2020-02-22 11:56:52 -05:00
Richard Feldman
3d7ad71270 Use exists_with_aliases more 2020-02-22 11:56:52 -05:00
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