Ayaz Hafiz
a760510be0
Consolidate and improve debug_flags
2022-05-05 12:06:16 -04:00
Anton-4
f3493850bb
Merge pull request #2983 from rtfeldman/wasi-libc-sys
...
Build WASI libc using Zig, instead of using a checked-in binary
2022-05-05 09:40:46 +02:00
Anton-4
dc8a6abf22
updated clap
2022-05-04 14:41:02 +02:00
Brian Carroll
5fffea969a
Provide a way for non-wasm Rust code to find the WASI libc
2022-05-03 19:12:36 +01:00
Anton-4
cc28de408c
update wasmer to 2.2.1
2022-05-03 18:00:29 +02:00
ayazhafiz
37ba70472f
Add more debug flags
2022-05-01 12:25:03 -04:00
Folkert
b7b86c0cde
Merge remote-tracking branch 'origin/trunk' into update_zig_09
2022-04-30 23:34:48 +02:00
Ayaz Hafiz
9964f86a3d
Factor bespoke debug variables into debug_flags crate
2022-04-29 17:45:55 -04:00
Ayaz Hafiz
89757dc31f
Remove MonoProblem
2022-04-28 20:34:04 -04:00
Ayaz Hafiz
356616d834
Move exhaustiveness checking to type solving phase with solve tests
2022-04-25 19:04:08 -04:00
Ayaz
64ed7eea95
Merge branch 'trunk' into fix-when-branch-solving
2022-04-24 12:19:22 -04:00
Richard Feldman
57b7832917
Upgrade target-lexicon
2022-04-23 20:51:57 -04:00
Ayaz Hafiz
7b2b41869f
Add a way to view solved types of arbitrary expressions/patterns in a program
2022-04-23 10:56:53 -04:00
Folkert
7055645085
add bitvec dependency
2022-04-22 11:34:02 +02:00
Jared Cone
d20542efae
Updated tests to use deterministic tmp dir
2022-04-20 21:25:12 -07:00
Brian Carroll
9491d5fae9
Merge branch 'trunk' into update_zig_09
2022-04-15 21:17:25 +01:00
Ayaz Hafiz
865c1f15d7
Fix test compile errors, and simply load_internal tests
2022-04-12 16:42:51 -04:00
Ayaz Hafiz
ce7c61eb09
Propogate render target forward
2022-04-12 16:18:07 -04:00
Ayaz Hafiz
913d97cab1
Add needed imports
2022-04-12 16:18:07 -04:00
Brian Carroll
9b0c7fad41
Merge branch 'trunk' of github.com:rtfeldman/roc into update_zig_09
2022-04-11 18:40:21 +01:00
Richard Feldman
babe281b5d
Merge pull request #2780 from rtfeldman/no-link
...
Add --no-link flag for more complex linking cases
2022-04-08 23:49:48 -04:00
Folkert
a69bf971f0
Merge remote-tracking branch 'origin/trunk' into update_zig_09
2022-04-06 15:38:15 +02:00
Folkert
db63382f68
upgrate the inkwell revision we use
2022-03-30 17:34:19 +02:00
Folkert
fd209f90ff
fix bug where incorrect stack size is given
2022-03-30 17:25:28 +02:00
Brendan Hansknecht
76ffb4f278
Add --no-link flag for more complex linking cases
2022-03-29 18:20:29 -07:00
Folkert
fd527c2b4d
upgrate parking lot to 0.12
2022-03-30 00:14:28 +02:00
Folkert
4859f530cd
generate cached subs
2022-03-23 21:19:37 +01:00
Folkert
80b8635947
restructure how load is used
2022-03-23 21:19:36 +01:00
Folkert
0a6335e772
start on roc_load build.rs script for building the builtins
2022-03-23 21:19:34 +01:00
Folkert
7bb1fd88fa
add load_internal
2022-03-23 21:19:34 +01:00
Folkert
813b22a106
remove allocation in Symbol creation
2022-03-18 22:07:12 +01:00
Brian Carroll
68222dfd50
repl: apply the relevant style codes in each REPL (web and terminal)
2022-03-17 09:46:52 +00:00
ayazhafiz
8aaf614481
Improve error message
2022-03-15 11:18:02 -05:00
Anton-4
d373085386
Merge pull request #2675 from rtfeldman/new-syntax-highlight
...
peg grammar, tokenizer, new syntax highlighting
2022-03-14 17:20:14 +01:00
Folkert
ed247c9da3
Merge remote-tracking branch 'origin/trunk' into type-checking-storage-subs
2022-03-13 13:43:00 +01:00
Brian Carroll
4f7591f963
repl_wasm: forward Rust panics to JS console.error
...
I can't believe this isn't the default for wasm_bindgen, but it isn't!
2022-03-12 15:38:52 +00:00
Folkert
e3e9215578
Merge remote-tracking branch 'origin/trunk' into type-checking-storage-subs
2022-03-12 14:10:43 +01:00
Folkert
28ce49c273
use lazy_static
2022-03-12 00:18:06 +01:00
Anton-4
1469b587fb
Merge branch 'trunk' of github.com:rtfeldman/roc into new-syntax-highlight
2022-03-11 15:13:40 +01:00
Brendan Hansknecht
cdf19e3feb
Merge pull request #2698 from rtfeldman/i/2696
...
Make sure casting to unsigned types performs zero-extension
2022-03-10 20:10:33 -08:00
ayazhafiz
a90bba3d1d
Make sure casting to unsigned types performs zero-extension
...
Closes #2696
2022-03-10 17:39:37 -06:00
Anton-4
cda90d987c
cleanup
2022-03-09 09:26:32 +01:00
Anton-4
a4d59ae0e7
don't let earthly forget about highlight folder
2022-03-08 15:43:04 +01:00
Derek Gustafson
ba6b225761
Hide RocDec implemntation details.
2022-03-07 15:34:02 -05:00
Anton-4
0ca66cc41b
Merge branch 'trunk' of github.com:rtfeldman/roc into new-syntax-highlight
2022-03-07 20:01:38 +01:00
Folkert de Vries
af15055c95
Merge pull request #2641 from rtfeldman/DecRepl
...
Display Dec in REPL
2022-03-07 16:17:06 +01:00
Derek Gustafson
f2de6baa36
Add functionality to turn RocDecs into strings.
2022-03-05 17:28:12 -05:00
Richard Feldman
c89a6c109a
Merge pull request #2627 from rtfeldman/constraints-soa
...
Constraints using Struct of Arrays
2022-03-04 19:39:03 -05:00
Derek Gustafson
dc92de7781
Add plumbing for displaying RocDec in the repl.
2022-03-04 17:32:09 -05:00
Anton-4
37704323b1
basic highlighting flow using MarkupNodes
2022-03-04 20:19:05 +01:00
Brian Carroll
f2adf71873
Move alias analysis to its own crate instead of roc_mono
...
Shrinks roc_repl_wasm by 400kB (~8%)
2022-03-04 14:50:02 +00:00
Folkert
01a7fe77d4
even more wip
2022-03-02 17:32:50 +01:00
Anton-4
0fee3c7b23
exclude roc_std to fix windows link error
2022-03-02 07:56:56 +01:00
Folkert
d54c98e1aa
Merge remote-tracking branch 'origin/trunk' into constraints-soa
2022-03-01 22:39:51 +01:00
Anton-4
bddab60e6b
Merge branch 'trunk' of github.com:rtfeldman/roc into new-syntax-highlight
2022-03-01 11:36:59 +01:00
Anton-4
5ec2125ac6
Merge branch 'trunk' into windows_fixes
2022-02-28 19:12:18 +01:00
Anton-4
b5d8ab7d6f
cleanup
2022-02-28 18:26:55 +01:00
Anton-4
784894bb8f
fixing windows cargo build errors
2022-02-28 13:48:11 +01:00
ayazhafiz
b9a29bdb16
Make exhaustive checking its own crate
...
Prepares for moving exhaustiveness checking to the closer typechecking
phase. Doing this one step at a time so that git preserves the rename.
2022-02-27 20:28:25 -05:00
Brian Carroll
76b5982451
repl_test: use lazy_static to initialise wasm compiler once for all tests
2022-02-26 13:12:52 +00:00
Brian Carroll
3537f90e6d
repl: get Str working properly in CLI and Wasm REPLs
2022-02-26 13:12:52 +00:00
Brendan Hansknecht
c327681ebc
Wasmer: use cranelift for non-x86_64 since singlepass is not supported
2022-02-24 10:31:21 -08:00
Anton-4
8fee48c3fa
windows zig path validation workaround
...
std::fs::canonicalize adds a special windows prefix ?, zig erroneously (ziglang/zig#1509 ) does not allow ? in windows paths, dunce correctly removes this ? prefix
2022-02-22 16:17:21 +01:00
hafiz
ca9ecbea52
Merge pull request #2533 from rtfeldman/abilities!
...
[WIP] Spike for abilities and friends
2022-02-21 23:18:40 -05:00
ayazhafiz
90de82e295
Validation of opaques during canonicalization
2022-02-21 18:25:19 -05:00
Brian Carroll
e8571de1ae
Merge pull request #2517 from rtfeldman/repl-www
...
Web REPL initial version
2022-02-21 13:58:23 +00:00
Brian Carroll
bfca8ec955
Make wasmer features common across all packages
2022-02-21 08:36:34 +00:00
ayazhafiz
6b53692aac
Canonicalize opaque types
2022-02-20 13:47:01 -05:00
ayazhafiz
fa24e51593
Parse opaque types
2022-02-19 18:38:31 -05:00
Brian Carroll
a75aa52b91
repl_test: write Rust replacements for JS functions
2022-02-19 23:29:06 +00:00
Brian Carroll
ef97ad69ae
repl_wasm: refactor external interface to support Wasmer tests
2022-02-19 18:24:18 +00:00
Folkert
bb40adad3a
add memory representation tests
2022-02-19 16:04:13 +01:00
rvcas
97959c8a95
Merge branch 'trunk' into update_zig_09
2022-02-12 22:51:12 -05:00
Anton-4
440a3cd15b
started moving tokenizer and grammar for syntax_highlighting
2022-02-11 13:54:10 +01:00
Anton-4
d6681f4e0a
Merge pull request #2160 from rtfeldman/editor-comments
...
support tld comments in docs and editor(reading only)
2022-02-10 11:49:10 +01:00
rvcas
0124e4d4b1
Merge branch 'trunk' into update_zig_09
2022-02-09 18:42:24 -05:00
Brian Carroll
c61a18a200
Use custom macros for static assertions
2022-02-09 17:16:43 +00:00
Brian Carroll
858a3c3527
roc_load: Remove unused deadlock_detection feature of parking_lot crate, to enable Wasm REPL build
2022-02-08 11:03:48 +00:00
Brian Carroll
0af4361f2a
repl: continue fleshing out the Wasm repl code. Generate wrapper function.
2022-02-08 11:03:48 +00:00
Brian Carroll
b969f207c4
repl: Cargo build script for repl_wasm, generating the pre-linked binary
2022-02-08 11:03:48 +00:00
Brian Carroll
70e19053f0
repl: implement more of the JS/Wasm interface
2022-02-08 11:03:48 +00:00
Brian Carroll
4e855f1094
repl: delete and move files in repl_wasm
2022-02-08 11:03:48 +00:00
ayazhafiz
680bf8e0b7
Treat rigids as flex vars when checking number range types
2022-02-06 15:04:12 -05:00
Richard Feldman
a8e3d5f9b6
Merge remote-tracking branch 'origin/trunk' into expect-dont-panic
2022-02-03 22:25:40 -05:00
Brian Carroll
5904bb05ad
repl: remove unused dependencies from roc_repl_eval
2022-02-03 09:30:04 +00:00
Brian Carroll
eb1a16d429
repl: fix tests
2022-02-03 00:27:33 +00:00
Brian Carroll
03c99bdb44
repl: move tests into their own package
2022-02-02 23:42:46 +00:00
Brian Carroll
9ace2fd9a3
repl: delete app_memory and put "external memory" logic into repl_wasm
2022-02-02 23:08:12 +00:00
Brian Carroll
380c24ba80
repl: move LLVM specific logic into roc_repl_cli
2022-02-02 22:32:12 +00:00
Brian Carroll
33e6afe83c
repl: remove unused dependencies from roc_cli crate
2022-01-31 07:23:39 +00:00
Brian Carroll
c8c51f0cdc
repl: Move tests from roc_cli to roc_repl_cli
2022-01-30 16:20:48 +00:00
Brian Carroll
f098c6cb99
repl: initial working version with new crate structure
2022-01-30 09:12:29 +00:00
Folkert
b9c318e9fb
update the tests
2022-01-26 15:59:21 +01:00
Folkert
c663a35e16
final phase
2022-01-26 15:44:24 +01:00
Folkert
7e90812332
ptr_bytes -> target info, step 1
2022-01-26 14:28:26 +01:00
Folkert
2d23adb2a1
add roc_target crate
2022-01-26 13:55:06 +01:00
Mats Sigge
71f359fbdc
Move macros from roc_reporting to new roc_error_macros module
...
The `internal_error!` and `user_error!´ macros can't be used everywhere
when they live in `roc_reporting` due to circular dependencies.
2022-01-23 18:40:04 +01:00
Anton-4
3047fc6845
grammar progress, made temp tokenizer
2022-01-21 20:32:28 +01:00
Anton-4
38cc6096a8
started on rust-peg grammar
2022-01-14 19:54:39 +01:00
Joshua Warner
2553cae5de
Fix region size check
2022-01-01 19:06:19 -08:00
Joshua Warner
5f7bec3ee8
Use assert_multiline_str_eq in repl_eval tests
2022-01-01 18:20:05 -08:00
Joshua Warner
34e24fa2ba
improve test_reporting error reports
2022-01-01 18:20:05 -08:00
Anton-4
f941e30b86
Merge branch 'trunk' of github.com:rtfeldman/roc into editor-comments
2022-01-01 11:10:54 +01:00
rvcas
98045abc4f
Merge branch 'trunk' into update_zig_09
2021-12-29 14:49:27 -05:00
Richard Feldman
36e6adfad2
Use rustyline v9.1.1
2021-12-28 23:07:02 -05:00
Richard Feldman
c83a9b82e7
Fix RocResult double-free, add tests
2021-12-27 16:34:43 +01:00
rvcas
33da8137cd
Merge branch 'trunk' into update_zig_09
2021-12-26 19:48:24 -05:00
Joshua Warner
a0cf5d0e70
Add simple benchmark for the parser: parse false-interpreter
2021-12-24 11:54:42 -08:00
rvcas
88d8dbc5d8
fix(inkwell): bump to llvm13
2021-12-23 16:41:37 -05:00
Joshua Warner
4fed812389
add test_fmt_examples
2021-12-21 17:25:36 -08:00
satotake
a7fe2e3e53
Fix llvm Num.toFloat width conversion
...
Close #2156
2021-12-11 08:12:57 +00:00
Richard Feldman
aab601366e
Merge pull request #2152 from rtfeldman/inkwell-llvm-13
...
update inkwell to ease the llvm13 transition
2021-12-09 19:16:23 -05:00
Anton-4
8c82025721
Merge branch 'trunk' of github.com:rtfeldman/roc into editor-comments
2021-12-09 13:55:44 +01:00
Brian Carroll
1dda8859c4
Update gen_wasm's error handling to remove Result and use macros consistently
2021-12-09 00:11:44 +00:00
Folkert
40246607aa
update inkwell to ease the llvm13 transition
2021-12-08 19:36:29 +01:00
Anton-4
7fb00140c1
Merge pull request #2115 from rtfeldman/arraystring
...
fixes for arraystring insertion PR
2021-12-08 10:04:39 +01:00
Anton-4
d6a27d1e53
Merge branch 'trunk' of github.com:rtfeldman/roc into editor-comments
2021-12-04 11:00:03 +01:00
Brendan Hansknecht
67f5826c48
use byte array to avoid allocation when using arrstring
2021-12-02 09:47:58 -08:00
Joshua Warner
85e7360359
Fix up assert_multiline_str_eq to work regardless of whether pretty_assertions::assert_eq is in scope
2021-12-01 16:14:34 -08:00
Folkert
82bb341e9c
add constraint soa form
2021-12-01 19:26:01 +01:00
Anton-4
5bd776f972
debugging inline comment bug
2021-12-01 16:57:28 +01:00
Folkert de Vries
1c7671c9ab
Merge pull request #2111 from rtfeldman/joshuawarner32/multiline-string-asserts
...
Make assert output for fmt+parse tests more understandable
2021-12-01 13:35:20 +01:00
Joshua Warner
fdeafe4bab
Make assert output more understandable
2021-11-30 17:48:24 -08:00
Anton-4
038c296891
replaced ArrayString with arrayvec
2021-11-30 14:06:36 +01:00
Brendan Hansknecht
a63dd1eb61
use unimplemented! and internal_error! instead of result in dev backend
2021-11-27 12:38:29 -08:00
Folkert
2d0d54e13e
try stack allocation for small vectors
2021-11-27 01:31:48 +01:00
Lucas
f02ed47f31
Merge pull request #2016 from rtfeldman/aarch64_packed_structs
...
Packed Structs
2021-11-23 14:39:02 -05:00
Folkert
64869ffb8b
Merge remote-tracking branch 'origin/trunk' into layout-builtin-numbers-refactor
2021-11-21 19:22:32 +01:00
Folkert
c4ec9aa898
working mono
2021-11-20 23:25:30 +01:00
Folkert
22fb31198a
use bumpalo to reduce allocations in deep_copy_var_to
2021-11-19 19:21:26 +01:00
rvcas
8544782173
feat: trying some things out
2021-11-18 18:52:55 -05:00
Richard Feldman
1d330d9147
Merge pull request #1982 from rtfeldman/joshuawarner32/parser-snapshot-testing
...
Convert most test_parser tests to "snapshot" tests
2021-11-17 16:01:43 -05:00
Joshua Warner
d661646748
Fix test formatting and actually assert that they pass
2021-11-14 18:31:44 -08:00
Folkert
e2f7606f25
shrink higher order with indirection
2021-11-13 15:42:47 +01:00
Folkert
2262dcb3f9
clean up some other dependencies
2021-11-10 16:25:03 +01:00
Folkert
5632e3159d
remove im dependency where not needed
2021-11-10 16:00:22 +01:00
Brian Carroll
d0f1698db2
Merge branch 'trunk' of github.com:rtfeldman/roc into wasm-link-builtins
2021-11-09 15:08:43 +00:00
Brian Carroll
141480aa8d
Remove unused dependencies from test_wasm
2021-11-09 14:43:54 +00:00
Brian Carroll
c7baaceae9
Fix dependencies
2021-11-09 14:28:15 +00:00
Brendan Hansknecht
360974398a
Merge test_dev, test_wasm, and test_wasm_util into test_gen
2021-11-08 19:31:20 -08:00
Brendan Hansknecht
bfdd454afa
Remove unused dependency
2021-11-07 18:27:28 -08:00
Brendan Hansknecht
c46b56bec8
Exclude test only dependencies from regular builds
2021-11-07 18:00:49 -08:00
Brian Carroll
ce9658684a
Move wasmer dependency from gen_wasm to test_wasm
2021-11-07 22:56:28 +00:00
Brendan Hansknecht
deb0d167e8
Minimize clap features
2021-11-06 15:07:21 -07:00
Brendan Hansknecht
74a55f53f3
Switch back to cranelift due to versioning and aarch64 issues
2021-11-06 14:24:58 -07:00
Brendan Hansknecht
40f0271ccf
Fix M1 mac build
...
I changed wasmer to use the llvm backend because it compiles the fastest and supports aarch64.
If we later run into llvm versioning issues of some sort, we should switch this to cranelift.
Also re-adds serde-json which is used on macos.
2021-11-06 14:08:19 -07:00
Anton-4
cbd4de2799
update palette, wgpu11 fixes
2021-11-06 14:10:02 +01:00
Brendan Hansknecht
11ece557ed
Make gen_dev tests a single executable
2021-11-05 21:04:41 -07:00
Brendan Hansknecht
c595668b37
Remove dependency on cranelift
2021-11-05 19:59:42 -07:00
Brendan Hansknecht
d49ac68bcc
Update dep with major version changes
2021-11-05 19:19:37 -07:00