Commit graph

419 commits

Author SHA1 Message Date
Richard Feldman
25facfa9c6
Expose capacity builtins 2022-07-13 12:19:37 -04:00
Ayaz Hafiz
8393778159
Typo 2022-07-12 21:15:33 -04:00
Ayaz Hafiz
6985b2b6a1
Pretty print opaque wrap functions 2022-07-12 21:15:14 -04:00
Ayaz Hafiz
f1a6ea6a40
Typecheck and compile opaque wrapping functions
This enables you to write something like

```
A := U8
List.map [1, 2, 3] @A
```

which will be compiled as if it was `List.map [1, 2, 3] \x -> @A x`.

Closes #3499
2022-07-12 18:38:03 -04:00
Folkert de Vries
d889f1fda9
Merge pull request #3498 from rtfeldman/no-line-numbers-in-runtime-error-function
Remove compiler-file/line-dependent runtime error messages
2022-07-12 23:04:06 +02:00
Folkert de Vries
846bab7425
Merge pull request #3493 from rtfeldman/deep-copy-var-in-body
mono copy: deep copy all vars in an expr
2022-07-12 23:02:27 +02:00
Ayaz Hafiz
94142bf474
Remove compiler-file/line-dependent runtime error messages
This will help avoid the diff changes we've been running into often when
changes to mono line numbers change test results.
2022-07-12 15:17:19 -04:00
Richard Feldman
f5f137982c
Merge pull request #3432 from rtfeldman/fmt-multiline-when
Format multiline `when` branches
2022-07-12 12:54:11 -04:00
Ayaz Hafiz
669d69c4cf
Clippy 2022-07-12 11:29:11 -04:00
Ayaz Hafiz
e626bac931
Be extremely aggressive about inlining 2022-07-12 11:00:05 -04:00
Ayaz Hafiz
0274691813
Preserve uls_of_var when copying types 2022-07-12 10:58:21 -04:00
Ayaz Hafiz
4707b11727
Clone tag and field names across subs, add a test 2022-07-12 10:47:44 -04:00
Ayaz Hafiz
c915707c83
Get rid of arenas 2022-07-12 10:07:34 -04:00
Ayaz Hafiz
46fdda333f
Use a trait to do copies 2022-07-12 10:02:11 -04:00
Ayaz Hafiz
c3b2e9aa97
Add copy expr test 2022-07-12 09:30:51 -04:00
Ayaz Hafiz
7031d26299
mono copy: copy all vars in deep expr 2022-07-12 09:18:43 -04:00
Richard Feldman
c61795197f
Merge pull request #3478 from rtfeldman/toplevel-expect-captures
toplevel expect captures
2022-07-12 08:58:19 -04:00
Richard Feldman
f5fac8230f Prune some unused dependencies 2022-07-11 20:51:41 -04:00
Folkert de Vries
e8c51d376b
Merge pull request #3473 from rtfeldman/wasm-test-wasm3
Use a faster Wasm runtime for test_gen
2022-07-11 22:50:50 +02:00
Brian Carroll
8533d00f1a
test_gen: place test host .wasm file in Cargo build directory 2022-07-11 20:47:24 +01:00
Richard Feldman
434bcd08fd
s/ends_in_newline/ends_with_newline/g 2022-07-11 13:15:22 -04:00
Richard Feldman
b08d6a0446
Fix edge case with comments and branches 2022-07-11 13:14:35 -04:00
Richard Feldman
b9a314dcd9
Update formatter tests 2022-07-11 13:14:35 -04:00
Richard Feldman
d2e5efadc0
roc format builtins 2022-07-11 13:14:34 -04:00
Richard Feldman
4530d9ebd3
Format multiline branches with newlines before 2022-07-11 13:12:34 -04:00
Folkert de Vries
a209c44e42
Merge pull request #3480 from rtfeldman/types-dead-code
Get rid of more dead code due to builtins
2022-07-11 18:44:51 +02:00
Anton-4
b2533d1eca
Merge pull request #3368 from rtfeldman/rust61
upgraded to rust 1.61 + clippy fix
2022-07-11 16:12:17 +02:00
Richard Feldman
2e038a045c
Merge pull request #3467 from rtfeldman/remove-parse-def 2022-07-10 23:12:26 -04:00
ayazhafiz
888c480a8b
Move solved_types and builtin_aliases to ast 2022-07-10 19:50:10 -04:00
ayazhafiz
699c4d7fff
Move Solved to roc_solve 2022-07-10 19:42:41 -04:00
Folkert
855d49004c
remove std.rs 2022-07-10 23:16:07 +02:00
Folkert de Vries
f1aae6f480
Merge pull request #3476 from rtfeldman/i3469
Remove more builtins code
2022-07-10 23:06:50 +02:00
Folkert
f7d556b0d1
Merge remote-tracking branch 'origin/trunk' into wasm-test-wasm3 2022-07-10 22:46:15 +02:00
Folkert
ca20b8b403
make path to wasm_test_platform.wasm absolute 2022-07-10 22:24:46 +02:00
Folkert
1863bcbd8c
stop using line numbers in unresolved type var messages 2022-07-10 22:17:35 +02:00
Ayaz Hafiz
5e3ccc30cb
Inject List.len into Num, and properly import List in Str 2022-07-10 16:03:30 -04:00
Folkert de Vries
783243a6fa
Merge pull request #3477 from rtfeldman/fix-toStr
Fixes Str.toNum for large number types and turns on other working gen tests
2022-07-10 21:33:06 +02:00
Folkert
239ef9cbe1
my comment is not a code snippet, cargo 2022-07-10 21:31:26 +02:00
Folkert
a671b57f83
consider expect in inc/dec 2022-07-10 20:56:56 +02:00
Folkert
830dd03b30
add comment 2022-07-10 20:48:57 +02:00
Ayaz Hafiz
7722601504
Remove stray dbg 2022-07-10 14:40:06 -04:00
Folkert de Vries
cd59e07374
Merge pull request #3468 from rtfeldman/remove-transitive-builtins
remove transitive builtins
2022-07-10 20:07:29 +02:00
Folkert
67cbe6a590
pipe a list of expects to llvm codegen 2022-07-10 20:04:08 +02:00
Ayaz Hafiz
419a29caeb
Turn on working test 2022-07-10 14:03:18 -04:00
Ayaz Hafiz
08c5467856
Enable tests that failed due to now-fixed exhaustiveness checking
Closes #786
2022-07-10 13:58:16 -04:00
Ayaz Hafiz
4ced6faa9a
Enable ignored rosetree compare test 2022-07-10 13:55:04 -04:00
Ayaz Hafiz
c211ec9790
Don't include DelayedAlias in illegal cycle checks 2022-07-10 13:53:41 -04:00
Ayaz Hafiz
25ba744cdd
Unignore most list gen tests 2022-07-10 13:44:35 -04:00
Ayaz Hafiz
032a8a892b
Use correct callconv for Str.toNum 2022-07-10 13:42:38 -04:00
Folkert
5df489ba23
turn toplevel expects into inline expects 2022-07-10 19:17:51 +02:00