Commit graph

6727 commits

Author SHA1 Message Date
Brendan Hansknecht
3238ee7d0d
correct UTILS_FREE_DATA_PTR function calls 2024-07-13 10:39:53 -07:00
Brendan Hansknecht
0d0a4a8806
Update refcounting of list builtins to the new system. 2024-07-13 10:39:53 -07:00
Brendan Hansknecht
d5e91ed61e
Update dev and wasm backend to use new list bitcode args 2024-07-13 10:39:52 -07:00
Brendan Hansknecht
f87c32ca7d
clippy 2024-07-13 10:39:52 -07:00
Brendan Hansknecht
44cd1ee9c4
Avoid accessing unallocated bytes in list.incref 2024-07-13 10:39:52 -07:00
Brendan Hansknecht
9b6798ead1
Correct refcounting check to be recursive through aggregate types 2024-07-13 10:39:52 -07:00
Brendan Hansknecht
951cb1ef3d
Correct list replace bitcode arg order 2024-07-13 10:39:52 -07:00
Brendan Hansknecht
a1d08702a4
Update roc_std List to handle size on the heap
This increased the number of failing tests for some reason (more segfaults).
That said, I think it is correct.

Probably just exposing errors from elsewher that haven't been addressed (maybe causing a double free).
2024-07-13 10:39:51 -07:00
Brendan Hansknecht
93fab26c01
Add a RocRefcounted trait in roc_std
This is required to properly handle refcounting of RocList.
Without it, we can't tell if we need to get the length from the heap.
That said, it isn't a pretty solution.

I think dealing with generating bespoke type in glue would feel nicer than this but be much more work.
It also would deal with the issue of implementations in the bitcode not matching external libraries.
That said, it would require exposing way more symbols from roc for each monomophorphized list variant.
2024-07-13 10:39:51 -07:00
Brendan Hansknecht
3c842196fa
Update LLVM to properly increment and decrement lists 2024-07-13 10:39:51 -07:00
Brendan Hansknecht
255cc31ad9
change zig bitcode refcounting to require whether or not an element is refcounted
This also requires zig bitcode to have access to the dec functions for elements.
This is needed so that zig will be able to free elements in lists.
2024-07-13 10:39:51 -07:00
Anton-4
42a366481b
fix wasm repl warnings 2024-07-13 18:45:01 +02:00
Anton-4
b702cb634f
better mono repl error 2024-07-12 17:02:34 +02:00
Ryan Barth
dfa3254088
checkpoint: it compiles 2024-07-11 00:57:46 -07:00
Anton-4
3a36d84c45
update to basic-cli 0.12 2024-07-10 20:07:03 +02:00
Anton-4
15a7ed2e95
added error tip 2024-07-09 19:46:33 +02:00
Anton-4
0d9db5bf2d
Merge pull request #6881 from roc-lang/empty-open-union
fix openness inference for empty tag
2024-07-09 16:46:54 +02:00
Anton-4
4341c37b99
cleanup 2024-07-09 13:55:39 +02:00
Ryan Barth
61a5a0affc
checkpoint: refactor prebuilt host artifacts 2024-07-09 03:42:37 -07:00
Luke Boswell
96c559e4b1
minor fixes 2024-07-09 14:52:07 +10:00
Luke Boswell
85447ec2cc
replace stray strings with impl on Target 2024-07-09 14:39:36 +10:00
Luke Boswell
dc0902bc92
WIP
WIP

WIP

WIP

ignore some cli tests that are going to move

try fix for linux valgrind tests

try a legacy host for valgrind

fix roc_glue tests
2024-07-09 13:48:09 +10:00
Sam Mohr
b9a17f4a49
Merge pull request #6883 from smores56/new-builder-syntax
Implement new builder syntax alongside old one
2024-07-08 11:19:01 -07:00
Anton-4
0502734293
fmt 2024-07-08 14:14:36 +02:00
Anton-4
6b2d2e3406
minor improvements 2024-07-08 14:11:22 +02:00
Kiryl Dziamura
2cad4b3e21
update test snapshots 2024-07-08 11:51:29 +02:00
Kiryl Dziamura
3f22c55dda
fix suffixed tests 2024-07-08 11:39:04 +02:00
Kiryl Dziamura
ebf55fa793
fix region calculation 2024-07-08 11:39:03 +02:00
Kiryl Dziamura
b2484f144c
fix def replace 2024-07-08 11:39:03 +02:00
Kiryl Dziamura
8163de02f3
refactor unique ident generator 2024-07-08 09:44:36 +02:00
Kiryl Dziamura
64220567e5
better documentation for underscore pattern 2024-07-08 09:44:36 +02:00
Kiryl Dziamura
e0af069645
don't unwrap empty destructuring pattern 2024-07-08 09:44:35 +02:00
Sam Mohr
74f05eca40
Fix broken test_reporting test 2024-07-07 19:02:31 -07:00
Sam Mohr
618b713ecd
Merge branch 'main' into new-builder-syntax 2024-07-07 18:33:36 -07:00
Sam Mohr
fe1b6d71fc
Update from PR comments 2024-07-07 18:33:20 -07:00
Luke Boswell
1d1b96abb9
Merge pull request #6862 from JRI98/fix_6215
Fix handling of spaces after for `as`
2024-07-08 08:51:53 +10:00
Ayaz
eca229e3d1
Merge pull request #6887 from roc-lang/in-layout-unit 2024-07-07 17:22:56 -05:00
Folkert
80a83f3935
when inserting into an interner, re-use Layout::UNIT when possible
it is prettier in debug output, and should also be more efficient
2024-07-07 23:11:36 +02:00
Ayaz Hafiz
0e52a7e069
Make sure FunctionKind is determined in all entry points
There are a lot of entry points for a Roc program. They should probably
be all consolidated into one, but for now, when FunctionKind is needed,
determine it from the environment. This fixes EXPERIMENTAL_ROC_ERASE for
`roc test` etc.

Also print the location of a failure when `internal_error!` is called. I
think this should panic instead, and I thought it used to - does anyone
know if that changed?
2024-07-07 16:01:14 -05:00
Sam Mohr
f415017c90
Implement new builder syntax alongside old one 2024-07-07 03:28:59 -07:00
Agus Zubiaga
3841376784
update mono tests after adding import defs 2024-07-06 22:52:38 -03:00
Agus Zubiaga
26fe91b02f
Always use "MODULE PARAMS" term in errors
The theory is that this will be more searchable
2024-07-06 22:07:29 -03:00
Agus Zubiaga
0cbb352a89
Move unexpected params warning to solve 2024-07-06 21:36:26 -03:00
Agus Zubiaga
63e722f61d
Rename symbol and module lookup struts 2024-07-06 11:42:53 -03:00
Anton-4
7180a93273
fix openness inference for empty tag 2024-07-06 16:29:10 +02:00
Folkert
2ec7f56643
add TODO comment 2024-07-06 16:21:03 +02:00
Folkert
ee3ac41a58
add assert to prevent UB?! 2024-07-06 16:14:34 +02:00
Folkert
26e6f1ca92
clippy 2024-07-06 16:14:34 +02:00
Folkert
90b70c3df0
slightly optimize modified tracking 2024-07-06 16:14:33 +02:00
Folkert
f4bd41352b
use BorrowSignature::from_layouts 2024-07-06 16:14:33 +02:00