Commit graph

4076 commits

Author SHA1 Message Date
Folkert
83742bc741
two more tests 2023-05-05 15:08:31 +02:00
Folkert
41583edfb2
list still increments recursively 2023-05-05 15:03:17 +02:00
Folkert
6ed899d8be
indirec inc/dec generation in mono helpers 2023-05-05 15:02:21 +02:00
Folkert
04081ae8b3
centralize list argument passing and dec fn pointer generation 2023-05-03 18:23:16 +02:00
Folkert
3c6c5a3e53
add windows cc implementation of new register picker 2023-05-03 17:57:54 +02:00
Folkert
e12a7f4f81
refactor nasty loops into recursive functions 2023-05-03 14:43:31 +02:00
Folkert
278e2c4604
use std.debug.print 2023-05-03 14:30:03 +02:00
Folkert
85fcd71bdb
use bitcast instead of intcast 2023-05-03 14:28:22 +02:00
Folkert
8963cc9d45
sublist tests now work 2023-05-03 01:09:28 +02:00
Folkert
47e99a226d
enable more tests after bugfix 2023-05-03 01:06:14 +02:00
Folkert
05a9b4d601
fix that inc on list was no longer recursive 2023-05-03 01:03:09 +02:00
Folkert
dc77c702c5
enable more tests 2023-05-02 23:39:00 +02:00
Folkert
d6885ec17a
implement List.dropAt 2023-05-02 23:30:06 +02:00
Folkert
a48618e34a
List.releaseExcessCapacity 2023-05-02 23:00:07 +02:00
Folkert
4e29652f0d
enable many more tests 2023-05-02 22:31:58 +02:00
Folkert
cb4b726c7e
don't refcount the empty tag union 2023-05-02 22:31:57 +02:00
Folkert
fb123b8990
lambda set unwrapping 2023-05-02 22:31:57 +02:00
Folkert
0fa85fe91d
don't copy zero-sized types to the stack 2023-05-02 22:31:57 +02:00
Folkert
35c507a33f
array literal arg loading was moved 2023-05-02 22:31:56 +02:00
Folkert
4ec99764cb
an implementation of sublist that segfaults (sometimes) 2023-05-02 22:31:56 +02:00
Folkert
f383ff14f8
helper for generating dec functions 2023-05-02 22:31:56 +02:00
Folkert
13e52844c7
implement ForeignCall function calls 2023-05-02 22:31:55 +02:00
Folkert
ac64e4ab87
fix for re-used DEV_TMP symbol 2023-05-02 22:31:55 +02:00
Folkert
ce36069d57
thread layout_ids through for future inc/dec function codegen 2023-05-02 22:31:55 +02:00
Folkert
9e8854614a
fix reading float from a pointer 2023-05-02 22:31:54 +02:00
Folkert
e4b0d77f2e
pass floats independently of general registers 2023-05-02 22:31:54 +02:00
Folkert
cd8c865a66
List.reverse 2023-05-02 22:31:54 +02:00
Folkert
1b5d88b002
literal helpers 2023-05-02 22:31:53 +02:00
Folkert
668e3e3151
add List.subList 2023-05-02 22:31:52 +02:00
Folkert
29bc9a2e85
short-circuit loading field from size 0 struct 2023-05-02 22:31:52 +02:00
Folkert
37eec2b7c2
allow configure of whether roc_alloc is generated 2023-05-02 22:31:49 +02:00
Ayaz
12b2f7e00b
Merge pull request #5317 from roc-lang/i4770
Various bug fixes to generalization and solving of recursion
2023-05-01 18:14:00 -05:00
Ayaz Hafiz
bdba56ce74
New IR just dropped 2023-05-01 15:11:37 -05:00
Ayaz
cdf8677dfb
Merge pull request #5287 from roc-lang/i5236
Catch non-recursive function arity mismatches during typechecking
2023-05-01 14:46:20 -05:00
Ayaz Hafiz
561a9e0037
Mark ignored test 2023-05-01 13:15:32 -05:00
Ayaz Hafiz
1916a6dba5
Add mono test for #4770
Closes #4770
2023-05-01 13:14:59 -05:00
Ayaz Hafiz
238e64c0b3
Defer resolution of a recursion variable during union unification until merging
While unifying two unions, we may turn one of them into a recursive
union. If we don't recognize the recursiveness before merging, we'll
have lost the recursive value of the union.
2023-05-01 13:14:59 -05:00
Ayaz Hafiz
5ec2715820
Correctly introduce new recursion variables at the correct rank 2023-05-01 13:14:59 -05:00
Ayaz Hafiz
7beee4e1f3
Add a way to print ranks in uitest 2023-05-01 13:14:59 -05:00
Ayaz Hafiz
190990155e
Correctly introduce new openness variables at the union rank 2023-05-01 13:14:58 -05:00
Folkert
6594fc0a90
fully implement our crude memcpy 2023-05-01 18:41:51 +02:00
Folkert
fa5b18685a
re-use proc's symbol 2023-05-01 18:41:50 +02:00
Folkert
9f8077c3a3
allow no_data return value 2023-05-01 18:41:50 +02:00
Folkert
2e7f53fe4a
copy of boxed 2023-05-01 18:41:50 +02:00
Folkert
5a08acba44
clippy 2023-05-01 18:41:49 +02:00
Folkert
560b48a9cb
never use the module name in exposed strings 2023-05-01 18:41:49 +02:00
Folkert
66be08d073
allow configure of whether roc_alloc is generated 2023-05-01 18:41:47 +02:00
Folkert
f921bfc1a7
fully implement exposed functions in dev backend 2023-05-01 18:39:11 +02:00
Folkert
f9f4d5eb49
infra for exposed_generic in the dev backend 2023-05-01 18:39:10 +02:00
Brendan Hansknecht
2769f3dc60
add missing symbols to dev object files on unix 2023-05-01 08:38:23 -07:00