Commit graph

20 commits

Author SHA1 Message Date
Richard Feldman
b7d78d9237
Merge pull request #3598 from rtfeldman/i3558
Compile variables bound in multiple patterns of a branch, and detect unbound patterns
2022-07-21 16:45:52 -04:00
Ayaz Hafiz
961cff94d1
Only permit shadowing past first pattern 2022-07-21 14:35:16 -04:00
Richard Feldman
fac29615c8
Merge pull request #3590 from rtfeldman/update-wording
Update wording on a type mismatch
2022-07-21 14:29:23 -04:00
Ayaz Hafiz
0259c3cf92
s/occurences/occurrences/g 2022-07-21 12:29:09 -04:00
Ayaz Hafiz
78dc82867a
Report errors for identifiers not bound in all patterns of a branch 2022-07-21 12:15:05 -04:00
Ayaz Hafiz
bf8fc0d0de
Permit binding variables multiple itmes in when branches 2022-07-21 11:06:40 -04:00
Folkert
5a93da5a11
some work on expect comment regions 2022-07-21 10:42:57 -04:00
Richard Feldman
3972664e48
Rename Category::Float to Category::Frac 2022-07-20 10:49:05 -04:00
Folkert
b9ebd4fa27 Merge remote-tracking branch 'origin/trunk' into pretty-expect-output 2022-07-15 09:12:04 +02:00
Folkert
06938429a1
Merge branch 'assoc-list-dict' into pretty-expect-output 2022-07-14 00:39:01 +02:00
Folkert
ebce2cf8b2
make expect collector recursive 2022-07-13 18:51:11 +02:00
Folkert
fe7882b598
implement expect collector 2022-07-13 16:23:39 +02:00
Ayaz Hafiz
9a01117536
Fix compile errors 2022-07-13 08:47:37 -04:00
Ayaz Hafiz
f1a6ea6a40
Typecheck and compile opaque wrapping functions
This enables you to write something like

```
A := U8
List.map [1, 2, 3] @A
```

which will be compiled as if it was `List.map [1, 2, 3] \x -> @A x`.

Closes #3499
2022-07-12 18:38:03 -04:00
Folkert
239ef9cbe1
my comment is not a code snippet, cargo 2022-07-10 21:31:26 +02:00
Folkert
830dd03b30
add comment 2022-07-10 20:48:57 +02:00
Folkert
67cbe6a590
pipe a list of expects to llvm codegen 2022-07-10 20:04:08 +02:00
Folkert
5df489ba23
turn toplevel expects into inline expects 2022-07-10 19:17:51 +02:00
Ayaz Hafiz
ba450367ca
Choose i128/u128 num layouts when necessary 2022-07-05 22:16:52 -04:00
Anton-4
eee85fa45d
moved all crates into seperate folder + related path fixes 2022-07-01 17:37:43 +02:00
Renamed from compiler/can/src/expr.rs (Browse further)