Commit graph

667 commits

Author SHA1 Message Date
Sam Mohr
631e59ce06
Upgrade hosted header in the style module header 2025-01-26 15:07:57 -08:00
Sam Mohr
809fe23afd
Merge pull request #7533 from smores56/simple-can-solo
Move desugaring to new `roc_can_solo` crate
2025-01-19 19:06:10 -08:00
Luke Boswell
c8467b1fe0
Merge pull request #7454 from roc-lang/ayaz/error-on-invalid-generalized-types
Restrict usages of type variables in non-generalized contexts
2025-01-20 11:30:52 +11:00
Sam Mohr
3a6c622727
Fix failing tests, remove unnecessary NONE bitflag 2025-01-19 15:33:01 -08:00
Sam Mohr
fce14d31b0
Move desugaring to new roc_can_solo crate 2025-01-19 07:16:43 -08:00
Ian McLerran
297dd0233e
update internal references to Result.map 2025-01-15 19:55:27 -06:00
Joshua Warner
d43ad92789
Introduce proper type for TypeVar's, mark anything not a lowercase ident as malformed 2025-01-14 19:30:33 -08:00
Sam Mohr
eb1b5ffa26
Move to new interpolation syntax 2025-01-10 10:29:20 -08:00
Sam Mohr
2150ee2219
Remove Task from Roc 2025-01-08 17:00:40 -08:00
Sam Mohr
0edbf16d55
More progress 2025-01-05 05:16:47 -08:00
Sam Mohr
b56fbd38e1
Progress on updating entire compiler for snake_case 2025-01-05 03:48:03 -08:00
Anthony Bullard
d0ec7e2762
Add unit test 2024-12-26 10:56:48 -06:00
Anthony Bullard
8a726d23ed
DRY up code 2024-12-26 10:56:18 -06:00
Anthony Bullard
2a8765c1e9
#7407: Register package dependent packages\n\nCloses #7407 2024-12-26 10:56:18 -06:00
Anton-4
d4cd3cd50b
cli example removal cleanup
examples/cli was removed in https://github.com/roc-lang/roc/pull/6921
2024-12-13 18:37:42 +01:00
faldor20
a7308130cf
clippy on everything 2024-12-12 20:54:25 +10:00
faldor20
81f2095e61
basic working
compiling, but still missing positions from expression errors
2024-12-12 20:54:25 +10:00
JRI98
90f517712a
Remove unused code 2024-12-05 09:18:52 +00:00
Eli Dowling
21b555d0b2
Merge pull request #7285 from faldor20/purity-inference-module-params-fixes
Purity inference module params fixes
2024-12-01 22:04:30 +10:00
faldor20
f3f262574d
Check if a module is using purity inference and enable purity inference effects 2024-12-01 17:16:29 +10:00
Luke Boswell
8acd31e8f0
Merge pull request #7283 from gamebox/fix-issue-7175-check-crashing-on-module
Add platform data for a check run with a single file
2024-12-01 15:15:03 +11:00
Anthony Bullard
2b8ef21720 Add platform data for a check run with a single file 2024-11-30 20:02:52 -06:00
Luke Boswell
39ca41c243
replace cargo deps with workspace in gen_wasm, late_solve, load, load_internal 2024-11-29 11:21:57 +11:00
Agus Zubiaga
6ffc8a507b
Allow suffixed pure functions that are exposed to the host 2024-11-27 14:06:37 -03:00
JRI98
a18232bd8b
Cleanup after #7227 2024-11-18 11:04:07 +00:00
Joshua Warner
9ead801536
Remove expect-fx syntax and handling
This was never fully hooked up in platforms, and the plan is to replace the need for this with doing purity-inference on normal `expect` statements.

On the other hand, fuzzing is finding some bugs caused by having a hyphenated keyword, so this is a great time to go ahead and remove it!
2024-11-17 20:25:37 -08:00
Luke Boswell
8dbc9094de
Merge pull request #7176 from JRI98/unused_malformed
Remove unused malformed related variants
2024-11-15 15:22:26 +11:00
JRI98
a332acd7bf
Remove unused malformed related variants 2024-11-14 10:23:06 +00:00
Joshua Warner
d6b7ee2039
Prevent panics in worker threads from causing deadlocks
Occasionally, we'll run into panics during compilation which prior to this diff
would cause the compiler to hang indefinitely after printing the initial panic message.

Note that this simplified/renamed worker 'wakeup' system seems to leave around a bit of a code smell -
that this perhaps indicates we should rework/refactor in order to avoid the necessity of having separate wakeup and message stealing systems...
but one problem at a time!
2024-11-13 20:30:56 -08:00
Luke Boswell
29012f7d7e
Merge remote-tracking branch 'remote/main' into effectful-builtins 2024-11-13 10:39:08 +11:00
Luke Boswell
bc5e3f494e
fix stray dbg limiting single Thread, causes stack overflow Windows 2024-11-11 21:27:38 +11:00
Luke Boswell
8a566dc339
WIP 2024-11-11 10:22:58 +11:00
Agus Zubiaga
644702a2b3
Add Result.onErr! builtin 2024-11-09 22:17:33 -03:00
Anton-4
219ebe084a
update everything to basic-cli 0.16.0 2024-11-08 15:51:20 +01:00
Agus Zubiaga
8a65617704
Effectful function in docs 2024-11-07 18:54:19 -03:00
Agus Zubiaga
b80f44738f
Switch fx mode based on platform main too 2024-11-07 18:54:16 -03:00
Agus Zubiaga
01c94050c8
Detect fx mode based on hosted module 2024-11-07 18:54:15 -03:00
Agus Zubiaga
2cce5ad023
Allow unsuffixed statements in parser
Moves the "STATEMENT AFTER EXPRESSION" error from the parser to canonicalization.
We'll later use this to allow this case in effectful functions.
2024-11-07 18:54:14 -03:00
Agus Zubiaga
7776883262
Unify functions fx vars 2024-11-07 18:54:13 -03:00
Agus Zubiaga
7871ba182d
Remove irrelevant TODO 2024-11-07 18:54:12 -03:00
Agus Zubiaga
ef4eeb5c1a
Parse effectful arrow in function annotations 2024-11-07 18:54:11 -03:00
Luke Boswell
d0ee040421
make clippy happy 2024-10-24 11:31:15 +11:00
Luke Boswell
926014518f
Merge remote-tracking branch 'remote/main' into rebuild-platform 2024-10-24 10:21:08 +11:00
Richard Feldman
44d00e1f13
Updates for making soa no_std 2024-10-21 22:10:43 -04:00
Anton-4
7dfa469ea8
stuck on Only 64bit little endian elf currently... 2024-10-12 19:47:16 +02:00
Luke Boswell
de9491eb7f
Merge remote-tracking branch 'remote/main' into rebuild-platform 2024-10-09 09:57:27 +11:00
Luke Boswell
e3afeaa7ff
WIP Merge remote-tracking branch 'remote/main' into rebuild-platform 2024-10-09 09:21:46 +11:00
Brendan Hansknecht
a9d1327dd1
Enable multiple functions exposed to the host 2024-10-07 21:16:30 -07:00
Brendan Hansknecht
c61b7bf2a6
Remove requires type from the provides field 2024-10-07 21:16:30 -07:00
Brendan Hansknecht
bdb6651c13
Enable parsing multiple signitures for requires header 2024-10-07 21:16:30 -07:00