Commit Graph

801 Commits

Author SHA1 Message Date
Richard Feldman
0e74cc14cc
Merge pull request #4653 from roc-lang/fix-mv
Fallback to deep copy if `rename` fails when unpacking package tarball
2022-12-02 07:19:57 -05:00
Richard Feldman
84eb82b815
Make fs_extra a workspace dependency 2022-12-01 22:33:04 -05:00
Ayaz Hafiz
06d133c866
Update lockfile 2022-12-01 10:06:17 -06:00
Anton-4
a2e296e433
update lock file 2022-11-30 18:15:24 +01:00
Richard Feldman
b2beeb770e
Merge remote-tracking branch 'origin/main' into https-packages 2022-11-25 19:50:06 -05:00
Ayaz
8c0ff4c839
Merge pull request #4558 from roc-lang/specialization-sets-for-impl-opaques
Support custom abilities for opaques with immaterial lambda sets
2022-11-25 16:42:32 -06:00
Richard Feldman
253f903ae6
Drop openssl dependency 2022-11-24 21:14:26 -05:00
Brian Carroll
60a671362f
wasm_interp: Create a CLI to run .wasm files 2022-11-25 00:14:44 +00:00
Richard Feldman
f5cb2d73a1
Merge branch 'precompiled-legacy' into https-packages 2022-11-24 04:29:56 -05:00
Richard Feldman
28bccb792f
Merge remote-tracking branch 'origin/main' into precompiled-legacy 2022-11-24 02:20:50 -05:00
Ayaz
3059fd31c9
Merge branch 'main' into specialization-sets-for-impl-opaques
Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>
2022-11-23 17:12:04 -06:00
Richard Feldman
e97a5fe7f6
Use include_bytes! so builtin hosts live in binary 2022-11-22 17:57:32 -05:00
Ayaz Hafiz
e36618b9e9
Support custom abilities for opaques with immaterial lambda sets
If a specialization of an ability member has a lambda set that is not
reflected in the unspecialized lambda sets of the member's prototype
signature, then the specialization lambda set is deemed to be immaterial
to the specialization lambda set mapping, and we don't need to associate
it with a particular region from the prototype signature.

This can happen when an opaque contains functions that are some specific
than the generalized prototype signature; for example, when we are
defining a custom impl for an opaque with functions.

Addresses a bug found in 8c3158c3e0
2022-11-21 18:03:56 -06:00
Richard Feldman
ea8bb8820b
Switch from ureq to reqwest::blocking 2022-11-21 15:01:43 -05:00
Brian Carroll
b0e89dd386
wasm_interp: new crate, with a value_stack module 2022-11-21 19:54:48 +00:00
Richard Feldman
721841fa1f
Provide roc_cache_dir everywhere 2022-11-20 19:53:48 -05:00
Richard Feldman
581c2f248d
Download files into tempdir if no cache available 2022-11-20 11:29:31 -05:00
Richard Feldman
a6c0bd854f
Revert "Always use a tempdir for caches during tests"
This reverts commit 6572b46983.
2022-11-20 11:10:51 -05:00
Richard Feldman
6572b46983
Always use a tempdir for caches during tests 2022-11-20 11:10:17 -05:00
Richard Feldman
40bd8ff1de
Support loading platform modules via HTTPS 2022-11-20 10:37:55 -05:00
Richard Feldman
066eb38043
Drop unusued tempfile dependency in packaging 2022-11-19 23:47:34 -05:00
Richard Feldman
7c1c48afa7
Add https module 2022-11-19 23:46:29 -05:00
Richard Feldman
0fe3a2e1dc
Switch from lz4 to brotli compression 2022-11-19 23:46:29 -05:00
Richard Feldman
777e05cdc8
Report how long it took to make the bundle 2022-11-19 23:46:28 -05:00
Richard Feldman
841d764ca1
Add roc_packaging::rp1 initial implementation 2022-11-19 23:46:28 -05:00
Richard Feldman
7f617c87bf
Change precompiled host filename format 2022-11-18 17:08:10 -05:00
Richard Feldman
fa2e0648ca
Fix wasm32 host filename generation 2022-11-18 16:47:29 -05:00
Richard Feldman
e4e629c4e4
clippy doesn't like Result with () for the error 2022-11-18 14:45:12 -05:00
Brian Carroll
2fa4c33b77
Merge branch 'main' of github.com:roc-lang/roc into wasm_module_crate 2022-11-15 21:16:25 +00:00
Ayaz Hafiz
3723071c15
Collect deeply nested type names in alias analysis
Previously we only collected type names that appeared on the surface of
a type during alias analysis, but certain types that need to be named
(i.e. recursive types) may be observed only when we actually convert the IR
to the morphic IR. Make sure we collect those appropriately.

This is a cherry pick of the relevant changes in #4121.
2022-11-15 09:23:28 -06:00
Brian Carroll
04fcf89653
Fix compile errors in wasm tests 2022-11-15 09:40:55 +00:00
Folkert
2c23a106f2
make inkwell a workspace dependency 2022-11-13 15:00:48 +01:00
Brian Carroll
63d9187343
move wasm_module out of gen_wasm 2022-11-13 09:03:08 +00:00
Ayaz
2cb72eb622
Merge pull request #4499 from roc-lang/debug-soa-types
Pretty-printer for debug representation of SoA types
2022-11-10 02:01:18 -06:00
Ayaz Hafiz
80a05be8e5
Pretty-printer for debug representation of SoA types
```
[roc_load 0.0.1] [crates/compiler/solve/src/solve.rs:331] types.dbg(typ) = (`List.List` (`Num.U8`)), 68 -70->
[roc_load 0.0.1]   (`Decode.DecodeResult` 69
[roc_load 0.0.1]     ==> {result!: `Result.Result` 69 (`Decode.DecodeError` ==> [TooShort]73),
[roc_load 0.0.1]          rest!: `List.List` (`Num.U8`)})
```
2022-11-09 13:34:59 -06:00
Folkert de Vries
d242aa121e
Merge pull request #4497 from roc-lang/mutex-new-is-const
`Mutex::new` is now const
2022-11-09 20:20:49 +01:00
Folkert
e92ceb7282
Mutex::new() is now const 2022-11-09 17:51:43 +01:00
Richard Feldman
5a2dde73e0
Use strum to automate keeping targets list in sync 2022-11-09 10:47:09 -05:00
Anton-4
7702a1c62e
Merge pull request #4329 from roc-lang/editor_launch_fix
editor launch fix + new test
2022-11-07 15:27:22 +01:00
Folkert
92cc120c7f
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects 2022-11-05 12:21:37 +01:00
Richard Feldman
c03dc17ab4
Merge remote-tracking branch 'origin/main' into repl 2022-11-05 01:04:44 -04:00
Anton-4
590c61a6fd
Merge branch 'main' of github.com:roc-lang/roc into editor_launch_fix 2022-11-04 15:15:55 +01:00
Folkert
0c9b49f5cd
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects 2022-11-02 23:02:22 +01:00
Richard Feldman
1499ec5def
Drop termline dependency 2022-11-01 21:42:08 -04:00
Ayaz
0f4420e85e
Merge pull request #4447 from roc-lang/list-patterns-exhaustiveness
Exhaustiveness checking for list pattern matches
2022-11-01 15:19:42 -05:00
Ayaz Hafiz
92a3c48ce5
Implement sketching and pattern specialization for list patterns 2022-11-01 12:06:59 -05:00
Anton-4
4ec43d9964
Closes #4423, link build command refactoring 2022-10-31 21:32:38 +01:00
Richard Feldman
c3641d38d2
Add targets for repl_test 2022-10-31 16:14:59 -04:00
Richard Feldman
2b89f53e76
Right-align var_name if terminal under 80 chars 2022-10-31 06:14:43 -04:00
Folkert
dbd0d30893
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects 2022-10-30 15:57:07 +01:00