Commit graph

490 commits

Author SHA1 Message Date
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
Renamed from compiler/mono/src/ir.rs (Browse further)