language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 08:11:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
869 commits 378 branches 6 tags 228 MiB
Commit graph

81 commits

Author SHA1 Message Date
Richard Feldman
7b0a45867c Use VarStore to initialize Subs in tests 2019-11-30 21:11:37 -05:00
Richard Feldman
32eeef5318 Merge remote-tracking branch 'origin/trunk' into keep-closures 2019-11-27 22:45:09 -05:00
Richard Feldman
be1e83dd6d Use crate:: prefix a bunch. 2019-11-27 22:11:40 -05:00
Folkert
ebc100eae8 remove procedures from tests 2019-11-27 15:59:01 +01:00
Richard Feldman
3d0d452b07 fixup! Reproduce canonicalization bug 2019-11-20 19:56:41 -05:00
Richard Feldman
f72021ee96 Reproduce canonicalization bug 2019-11-20 19:35:00 -05:00
Folkert de Vries
d4f092d610
Merge pull request #10 from rtfeldman/desugar-if 
Desugar if
 2019-11-18 15:02:22 +01:00
Richard Feldman
11acfd8d2a Fix invalid function arg name in test 2019-11-16 22:30:38 -05:00
Richard Feldman
a2cc417a34 Disable unrelated failing tests for now 2019-11-16 22:30:38 -05:00
Richard Feldman
036a72e6e5 Fix generated type var order 2019-11-16 22:30:38 -05:00
Richard Feldman
394f33de8a Add more function inference tests 2019-11-16 22:30:38 -05:00
Richard Feldman
b26c4393cb Add more identity inference tests 2019-11-16 22:30:38 -05:00
Richard Feldman
dd014b7794 Drop obsolete comment 2019-11-16 22:30:38 -05:00
Richard Feldman
90b8db4fbe Restore always_function test 2019-11-16 22:30:38 -05:00
Richard Feldman
cb47a2f16f Add anonymous identity function test 2019-11-16 22:30:38 -05:00
Richard Feldman
bf2e75a535 Name all type vars 2019-11-16 22:29:36 -05:00
Richard Feldman
a335632630 Rename identity test to identity_function 2019-11-16 22:29:36 -05:00
Richard Feldman
912fe3b593 Fix pattern constraint gen 2019-11-16 22:29:11 -05:00
Folkert
68eb120da8 desugar if into case 
- I think this runs into the same "cloning disaster" described in other
branches
- should "False" be qualified? could it ever be locally shadowed?
    In that case it's `(&["Bool"], "False")`?
- is there a default/empty region that is preferable for the `False` and
`_` patterns?
- desugaring works, but generating constraints for variants (needed for
False and _) doesn't yet. so the test would trigger a panic currently
- is there a reason for False and _ (True and _ is the more obvious choice)
 2019-11-16 12:40:11 +01:00
Richard Feldman
4af0ee0e64
Merge pull request #5 from rtfeldman/desugar-apply 
Desugar pizza into Apply
 2019-11-16 00:10:29 +00:00
Richard Feldman
f0945a3e50
Merge pull request #6 from rtfeldman/can-blockstr 
Can blockstr
 2019-11-16 00:09:55 +00:00
Folkert
42932367e1 revert accidental push to trunk 2019-11-15 13:13:20 +01:00
Folkert
6d982001e8 add commented test 
desugaring works, but generating constraints for variants (needed for
False and _) doesn't yet.
 2019-11-15 13:08:17 +01:00
Folkert
1ea0264174 changes after review 
trust the borrow checker: reallocation of Expr is not needed
 2019-11-15 12:18:06 +01:00
Folkert
a8bb717068 changes after review 2019-11-15 11:56:21 +01:00
Richard Feldman
276d91ee6c cargo fmt 2019-11-15 00:45:21 +00:00
Folkert
4204d21ac0 Desugar pizza into Apply 2019-11-14 23:30:07 +01:00
Folkert
28d9ce9e86 add commented test for block string 
block strings are not parsed, so the test triggers a panic for now.
 2019-11-14 22:29:44 +01:00
Richard Feldman
ab4f354add Add always_with_list test 2019-11-13 23:03:25 +01:00
Richard Feldman
c4970235e2 Add a commented-out test to be uncommented later 2019-11-13 23:02:40 +01:00
Richard Feldman
dc95c848c3 Restore some inference tests 2019-11-09 03:32:23 -05:00
Richard Feldman
a09eb41a92 Add a type inference test for identity 2019-11-09 03:31:56 -05:00
Richard Feldman
57b015bb62 Reproduce case inference mistake 2019-11-08 20:33:09 -05:00
Richard Feldman
74b14531c9 Disable some inference tests for now. 2019-10-30 02:09:09 -04:00
Richard Feldman
c7dd1978fb Re-constrain closures 2019-10-20 16:26:06 -04:00
Richard Feldman
886116ce15 Canonicalize Defs, Apply, Var, and others 2019-10-17 22:33:16 -04:00
Richard Feldman
7cbe538492 Fix inference test setup 2019-10-17 09:51:00 -04:00
Richard Feldman
391091ca7f Fix some test inference stuff 2019-10-17 00:03:00 -04:00
Richard Feldman
f74f0f6ab7 Get tests compiling again 2019-10-16 23:38:12 -04:00
Richard Feldman
422f8cc37a wip 2019-10-16 19:23:34 -04:00
Richard Feldman
8c9041685c Fix even more indentation checking 2019-10-02 15:20:41 +03:00
Richard Feldman
4bcdf062e5 Restore some more inference tests 2019-10-01 21:12:09 +03:00
Richard Feldman
7df31739a7 Canonicalize SpaceBefore and SpaceAfter 2019-10-01 12:31:52 +03:00
Richard Feldman
bc6ce3ee62 Add a test for integer division type inference. 2019-10-01 11:41:16 +03:00
Richard Feldman
fda3d3056a Get basic def working 2019-09-29 22:32:02 +03:00
Richard Feldman
60f63d5097 Restore def tests for test_infer 2019-09-21 23:29:13 -04:00
Richard Feldman
bc3350c29b Restore some more tests 2019-09-21 23:25:51 -04:00
Richard Feldman
354b4e8d53 Restore more canonicalization 2019-09-21 23:24:15 -04:00
Richard Feldman
26eb76f785 Parse parenthetical expressions 2019-09-19 23:04:50 -04:00
Richard Feldman
d54cf81f7b Record raw strings during parse step 2019-09-17 04:31:54 -04:00