Commit graph

1161 commits

Author SHA1 Message Date
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