Ayaz Hafiz
c915707c83
Get rid of arenas
2022-07-12 10:07:34 -04:00
Folkert
1863bcbd8c
stop using line numbers in unresolved type var messages
2022-07-10 22:17:35 +02:00
Folkert
a671b57f83
consider expect in inc/dec
2022-07-10 20:56:56 +02:00
Folkert
57acbb5f28
clippy
2022-07-10 14:06:28 +02:00
Folkert
76a2496b9e
error earlier on empty lambda set
2022-07-10 11:23:13 +02:00
Ayaz
7b308d9efe
Merge pull request #3404 from rtfeldman/ambient-lset-specialization
...
The ambient lambda set specialization algorithm
2022-07-09 17:23:27 -05:00
Ayaz Hafiz
532b2ff403
Support specialization of naked tag unions at toplevel
2022-07-08 17:50:52 -04:00
Ayaz Hafiz
808d19b01b
Correctly compile unified recursive tag unions
2022-07-08 17:35:14 -04:00
Ayaz
22f02984d3
Merge branch 'trunk' into 3378
2022-07-06 20:37:32 -05:00
Ayaz Hafiz
5d74a376af
Attach ambient function vars to lambda sets
2022-07-06 13:04:29 -04:00
ayazhafiz
ab75de39d6
Fix gen for runtime error functions
2022-07-06 12:49:02 -04:00
ayazhafiz
937b73b797
Compile lambdas that have an empty lambda set
...
Closes #3224
This should also fix a number of other issues often observed when a
lambda is never actually called, but we fail to codegen because it has
an empty lambda set.
2022-07-06 12:49:01 -04:00
Ayaz Hafiz
f940cc18c1
Consolidate calling specialized proc
2022-07-06 09:12:02 -04:00
Ayaz Hafiz
91b89675ef
Remove commented code
2022-07-06 09:11:01 -04:00
Ayaz Hafiz
b868e0e469
Handle recursive calls to capturing function
2022-07-06 09:10:31 -04:00
Ayaz Hafiz
4ef8ceef9e
Clippy
2022-07-05 22:16:53 -04:00
Ayaz Hafiz
34d2d81ca6
Remove stray dbg
2022-07-05 22:16:53 -04:00
Ayaz Hafiz
2492fba9f9
Gen tests for promoted num layouts
2022-07-05 22:16:52 -04:00
Ayaz Hafiz
ba450367ca
Choose i128/u128 num layouts when necessary
2022-07-05 22:16:52 -04:00
Ayaz Hafiz
c154a337a9
Get deep range numbers working
2022-07-05 22:16:52 -04:00
Brian Carroll
eb2ac4c82b
module: delete LowLevel enum variant ListMapWithIndex
2022-07-04 15:07:12 +01:00
Ayaz Hafiz
ba1a3fa62e
Remove unnecessary import
2022-07-03 16:49:09 -04:00
Ayaz Hafiz
2726a3506f
Remove tag_name from Expr::Tag
2022-07-03 16:48:51 -04:00
Ayaz Hafiz
2d169bf518
Remove tag_name from ResetReuse
2022-07-03 16:47:01 -04:00
Ayaz
6c9b10af4e
Update wasm layout sizes
2022-07-03 10:37:36 -04:00
Ayaz Hafiz
cb2f85ed95
Fix some typos
2022-07-03 10:37:36 -04:00
Ayaz Hafiz
8855f269ba
Make captures niche more private
2022-07-03 10:37:36 -04:00
Ayaz Hafiz
71d612078a
no_niche to represent lack of captures niche
2022-07-03 10:37:36 -04:00
Ayaz Hafiz
a5ea4f8c11
Remove references to multimorphic names
2022-07-03 10:37:35 -04:00
Ayaz Hafiz
019ebd93f7
Put the capture niche in the lambda name instead of generating new names
2022-07-03 10:37:29 -04:00
Ayaz Hafiz
28c1cf46a3
Multimorphic lambdas capture another lambda
2022-07-03 10:37:28 -04:00
Ayaz Hafiz
1903ce4db9
Remove LambdaName::from_non_multimorphic
2022-07-03 10:37:27 -04:00
Ayaz Hafiz
8be230695b
Get multimorphic lambda captures working
2022-07-03 10:37:26 -04:00
Ayaz Hafiz
51978e08ed
First pass at supporting multimorphic lambdas in lambda sets
2022-07-03 10:37:26 -04:00
ayazhafiz
1c40ad6127
Check if function doesn't need closure arg without associated method
2022-07-03 10:37:25 -04:00
Brian Carroll
94181111be
Merge branch 'trunk' of github.com:rtfeldman/roc into pure-roc-list-walk
2022-07-02 21:44:42 +01:00
Folkert
e29a89d33c
remove zig implementation of keepIf/keepErrs/keepOks
2022-07-02 19:38:38 +02:00
Brian Carroll
219e6d11cf
Merge branch 'trunk' of github.com:rtfeldman/roc into pure-roc-list-walk
2022-07-02 18:08:43 +01:00
Anton-4
b74fc3554b
Merge branch 'trunk' of github.com:rtfeldman/roc into crates-folder
2022-07-02 12:35:19 +02:00
Anton-4
eee85fa45d
moved all crates into seperate folder + related path fixes
2022-07-01 17:37:43 +02:00