Folkert de Vries
|
d212dffa1a
|
Merge pull request #3616 from rtfeldman/i3614
Compile branches in the presence of degenerate patterns
|
2022-07-25 19:45:36 +02:00 |
|
Richard Feldman
|
cc790a2773
|
fixup! Rename bindgen_rs to rust_glue
|
2022-07-24 11:54:40 -04:00 |
|
Richard Feldman
|
daec85a75e
|
Merge pull request #3621 from rtfeldman/expect-memcpy
Clone more values into shared expect buffer
|
2022-07-23 23:00:54 -04:00 |
|
Folkert
|
c09cb4e3ea
|
fix stack size of empty tag union
|
2022-07-23 23:10:56 +02:00 |
|
Folkert
|
48e0938e8b
|
fix merge conflict
|
2022-07-23 15:46:41 +02:00 |
|
Folkert
|
93c331e1aa
|
Merge remote-tracking branch 'origin/trunk' into tag-alignment
|
2022-07-23 14:27:06 +02:00 |
|
Folkert
|
954a4fbe32
|
WIP
|
2022-07-23 14:25:38 +02:00 |
|
Folkert
|
d54428571f
|
fix layout test
|
2022-07-23 11:46:51 +02:00 |
|
Ayaz Hafiz
|
59ab1da83f
|
Compile branches in the presence of degenerate patterns
Closes #3614
|
2022-07-22 18:16:02 -04:00 |
|
Ayaz Hafiz
|
f2fc6e16ec
|
Remove loc_branches which is never read
|
2022-07-22 17:29:20 -04:00 |
|
Ayaz Hafiz
|
4031770836
|
Mark branch patterns degenerate when they don't bind symbols body needs
|
2022-07-22 17:26:45 -04:00 |
|
Folkert
|
70fcb574dd
|
update layout helpers
|
2022-07-22 21:56:24 +02:00 |
|
Ayaz Hafiz
|
5ad04dcd2c
|
Emit runtime error when tag unions have an error type
Closes #3266
|
2022-07-22 15:46:09 -04:00 |
|
Folkert
|
6cabf11cbc
|
gen tests with new tag layout
|
2022-07-22 21:13:55 +02:00 |
|
Folkert
|
366429303c
|
add RocUnion
|
2022-07-22 21:13:53 +02:00 |
|
Folkert
|
22fea90cd6
|
fix implementation of UnionLayout::tag_id_offset
|
2022-07-22 21:13:52 +02:00 |
|
Folkert
|
3ca8dfa3ef
|
add UnionLayout::tag_id_offset
|
2022-07-22 21:13:51 +02:00 |
|
Ayaz Hafiz
|
a56e4a37c3
|
Get rid of loop
|
2022-07-22 21:13:51 +02:00 |
|
Ayaz Hafiz
|
5d2cfa1482
|
Reflect newtypes in path instructions
|
2022-07-22 21:13:51 +02:00 |
|
Ayaz Hafiz
|
4fc59ffc12
|
Newtype destructures test for record that decay into their only arg
|
2022-07-22 21:11:32 +02:00 |
|
Ayaz Hafiz
|
eee13a4aa3
|
Don't add path instructions for newtypes that decay into their args
|
2022-07-22 21:11:31 +02:00 |
|
Ayaz Hafiz
|
d4ad981448
|
Reproduce #3560
Part of #3560
|
2022-07-22 21:11:31 +02:00 |
|
Richard Feldman
|
53e7a41f27
|
Merge pull request #3606 from rtfeldman/bindgen-tag-alignment
bindgen tag alignment
|
2022-07-22 08:21:03 -04:00 |
|
Folkert de Vries
|
5aaccd2d5b
|
Merge pull request #3599 from rtfeldman/i3560
Compile newtypes that decay into non-newtypes in branch patterns
|
2022-07-22 13:48:11 +02:00 |
|
Folkert
|
f85d3243e9
|
fix implementation of UnionLayout::tag_id_offset
|
2022-07-22 13:12:44 +02:00 |
|
Folkert
|
9c2e6fca0a
|
add UnionLayout::tag_id_offset
|
2022-07-22 12:53:24 +02:00 |
|
Ayaz Hafiz
|
90acbd54ef
|
Get rid of loop
|
2022-07-21 18:20:11 -04:00 |
|
Ayaz Hafiz
|
5988257bde
|
Reflect newtypes in path instructions
|
2022-07-21 18:17:57 -04:00 |
|
Ayaz Hafiz
|
f3722659fc
|
Newtype destructures test for record that decay into their only arg
|
2022-07-21 15:03:18 -04:00 |
|
Ayaz Hafiz
|
1acb7e0748
|
Don't add path instructions for newtypes that decay into their args
|
2022-07-21 14:57:17 -04:00 |
|
Ayaz Hafiz
|
52e15bd344
|
Reproduce #3560
Part of #3560
|
2022-07-21 12:30:36 -04:00 |
|
Richard Feldman
|
3129225951
|
Only print an inc_dec warning in debug builds
|
2022-07-21 10:42:57 -04:00 |
|
Folkert
|
c2206f3e4d
|
substitute into expect
|
2022-07-21 10:42:56 -04:00 |
|
Ayaz Hafiz
|
2cdb951752
|
Compile higher-order low-level calls that take functions with no closure args
Closes #3571
|
2022-07-19 15:50:36 -04:00 |
|
Ayaz
|
d5f36a6780
|
Merge pull request #3568 from rtfeldman/list-maptry
|
2022-07-18 15:22:38 -05:00 |
|
Folkert de Vries
|
ca38ec4eb5
|
Merge pull request #3541 from rtfeldman/rocasync
Changes to get roc-async working
|
2022-07-18 19:22:07 +02:00 |
|
Ayaz Hafiz
|
7df18f82a2
|
Mark var only for debug builds
|
2022-07-18 11:21:30 -04:00 |
|
Ayaz Hafiz
|
1440915395
|
Start generating void layouts for unbound type variables
|
2022-07-18 10:08:07 -04:00 |
|
Ayaz Hafiz
|
3c4a55f4c1
|
Fix layout of ZATs when they end up with a closure argument
|
2022-07-14 16:16:17 -04:00 |
|
Ayaz Hafiz
|
70c77596a3
|
Apply unnecessary lambda set arg correction
|
2022-07-14 12:38:53 -04:00 |
|
Ayaz Hafiz
|
20c2c308fa
|
Include ZATs in host exposed aliases
|
2022-07-14 12:26:11 -04:00 |
|
Folkert de Vries
|
1b1b63aad0
|
Merge branch 'trunk' into assoc-list-dict
|
2022-07-14 16:47:50 +02:00 |
|
Ayaz
|
a9243720da
|
Merge pull request #3496 from rtfeldman/derive-w-mono
Monomorphize and compile derived implementations
|
2022-07-14 07:45:21 -05:00 |
|
Folkert
|
96414cb03f
|
cleanup
|
2022-07-14 08:52:38 +02:00 |
|
Richard Feldman
|
77afe0c1f1
|
Merge pull request #3503 from rtfeldman/string-memory-problems
String memory problems
|
2022-07-13 15:17:28 -04:00 |
|
Folkert
|
5763248b44
|
Merge remote-tracking branch 'origin/trunk' into assoc-list-dict
|
2022-07-13 20:44:28 +02:00 |
|
Richard Feldman
|
55ca75a37f
|
Update wrapper docs
|
2022-07-13 12:19:38 -04:00 |
|
Richard Feldman
|
25facfa9c6
|
Expose capacity builtins
|
2022-07-13 12:19:37 -04:00 |
|
Ayaz Hafiz
|
fe63140047
|
Clippy
|
2022-07-13 08:47:40 -04:00 |
|
Ayaz Hafiz
|
76f7843c93
|
Enforce some simplifications
|
2022-07-13 08:47:40 -04:00 |
|