Commit Graph

846 Commits

Author SHA1 Message Date
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
Richard Feldman
51cb51d485
Gracefully recover from malformed closure in repl 2022-10-30 03:31:54 -04:00
Richard Feldman
875a2181a0
Right-align var_name output in repl (at 80 cols) 2022-10-30 02:47:26 -04:00
Richard Feldman
b7d3c77b76
Have the repl eval anyway if there are errors 2022-10-27 18:47:32 -04:00
Richard Feldman
90e79379cb
Remove test dependency on rustyline 2022-10-27 18:47:32 -04:00
Richard Feldman
a6c1667d37
Reorganize repl modules 2022-10-27 18:47:31 -04:00
Brendan Hansknecht
7189d79572
remove clap from linker deps 2022-10-25 15:41:00 -07:00
Brendan Hansknecht
d6bdd2aec7
create a roc sub command for generating a dummy lib 2022-10-24 18:47:11 -07:00
Folkert
b4878e5550
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects 2022-10-24 18:39:30 +02:00
Folkert
989784620d
use execve on windows! 2022-10-22 01:23:41 +02:00
Anton-4
8dff853830
Merge branch 'main' of github.com:roc-lang/roc into editor_launch_fix 2022-10-18 14:32:06 +02:00
Ayaz Hafiz
2a21cd8c6e
Resolve ability specializations looked up in expects 2022-10-18 01:04:21 +02:00
Ayaz Hafiz
d26e9c81e0
Resolve ability specializations looked up in expects 2022-10-17 17:56:48 -05:00
Ayaz Hafiz
c5cdab1ff9
Only ftruncate shm_open'd file once, and add some error messages 2022-10-17 09:45:34 -05:00
Folkert
323210c547
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects 2022-10-16 13:56:30 +02:00
Anton-4
2f8dcb7e12
Merge pull request #4298 from lucacervello/replace-panic!-with-internal-error!-in-compiler-crates
Replace panic! with internal_error! in `compiler/build`, `compiler/alias_analysis` and `compiler/arena_pool`
2022-10-15 17:05:25 +02:00
Anton-4
652dbde26e
editor launch fix + new test 2022-10-15 12:36:06 +02:00
Ayaz Hafiz
46eb427393
Use roc_serialize in serializing abilities store, and add tests 2022-10-11 09:41:47 -05:00
Ayaz Hafiz
46aab8ad8c
Use roc_serialize for subs serialization 2022-10-11 09:19:25 -05:00
Luca Cervello
c39103d6d0
chore: replace panic! with internal_error! 2022-10-11 11:52:08 +02:00
Ayaz
b84c05fad9
Merge pull request #4276 from roc-lang/dependabot/cargo/once_cell-1.15.0
Bump once_cell from 1.14.0 to 1.15.0
2022-10-10 10:08:50 -05:00
dependabot[bot]
1a9323ecdc
Bump libc from 0.2.133 to 0.2.135
Bumps [libc](https://github.com/rust-lang/libc) from 0.2.133 to 0.2.135.
- [Release notes](https://github.com/rust-lang/libc/releases)
- [Commits](https://github.com/rust-lang/libc/compare/0.2.133...0.2.135)

---
updated-dependencies:
- dependency-name: libc
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-10 13:00:20 +00:00
dependabot[bot]
7a2a0e12aa
Bump once_cell from 1.14.0 to 1.15.0
Bumps [once_cell](https://github.com/matklad/once_cell) from 1.14.0 to 1.15.0.
- [Release notes](https://github.com/matklad/once_cell/releases)
- [Changelog](https://github.com/matklad/once_cell/blob/master/CHANGELOG.md)
- [Commits](https://github.com/matklad/once_cell/compare/v1.14.0...v1.15.0)

---
updated-dependencies:
- dependency-name: once_cell
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-10 05:26:09 +00:00
Folkert
e62ab00c65
Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects 2022-10-09 18:46:57 +02:00
Jan Van Bruggen
be3e4e7b11
De-bump all v0.1.0 Roc packages to v0.0.1 2022-10-09 00:16:19 -06:00
Ayaz
2f2ee654a9
Merge pull request #4024 from roc-lang/dependabot/cargo/pest_derive-2.3.1
Bump pest_derive from 2.1.0 to 2.3.1
2022-10-08 14:32:25 -05:00
Ayaz
5a8ff35bac
Merge pull request #4256 from roc-lang/dependabot/cargo/tracing-subscriber-0.3.16
Bump tracing-subscriber from 0.3.15 to 0.3.16
2022-10-08 14:13:24 -05:00
Ayaz
5c32d51d7d
Merge pull request #4255 from roc-lang/dependabot/cargo/dunce-1.0.3
Bump dunce from 1.0.2 to 1.0.3
2022-10-08 14:13:00 -05:00
dependabot[bot]
86b57be5ca
Bump tracing-subscriber from 0.3.15 to 0.3.16
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.15 to 0.3.16.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.15...tracing-subscriber-0.3.16)

---
updated-dependencies:
- dependency-name: tracing-subscriber
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-08 14:50:30 +00:00
dependabot[bot]
654a51335a
Bump dunce from 1.0.2 to 1.0.3
Bumps [dunce](https://gitlab.com/kornelski/dunce) from 1.0.2 to 1.0.3.
- [Release notes](https://gitlab.com/kornelski/dunce/tags)
- [Commits](https://gitlab.com/kornelski/dunce/commits/v1.0.3)

---
updated-dependencies:
- dependency-name: dunce
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-08 14:50:13 +00:00
Ayaz
25d60d20cd
Merge pull request #4123 from roc-lang/dependabot/cargo/strum_macros-0.24.3
Bump strum_macros from 0.24.2 to 0.24.3
2022-10-08 09:49:31 -05:00
dependabot[bot]
59eeb43fa3
Bump strum_macros from 0.24.2 to 0.24.3
Bumps [strum_macros](https://github.com/Peternator7/strum) from 0.24.2 to 0.24.3.
- [Release notes](https://github.com/Peternator7/strum/releases)
- [Changelog](https://github.com/Peternator7/strum/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Peternator7/strum/commits)

---
updated-dependencies:
- dependency-name: strum_macros
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-08 09:48:41 +00:00
dependabot[bot]
c3730f49e4
Bump confy from c6b6203 to fd069f0
Bumps [confy](https://github.com/rust-cli/confy) from `c6b6203` to `fd069f0`.
- [Release notes](https://github.com/rust-cli/confy/releases)
- [Commits](c6b6203928...fd069f062a)

---
updated-dependencies:
- dependency-name: confy
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-10-08 09:47:54 +00:00
Folkert
67494e9df2
thread layout interner to repl_expect 2022-10-05 22:17:40 +02:00
Anton-4
dacf542942
Merge branch 'main' of github.com:roc-lang/roc into simplify_examples 2022-10-04 15:01:25 +02:00
Folkert
249901c73c
add libc functions to the linker crate, so we can run tests on windows 2022-10-02 15:29:24 +02:00
Anton-4
e1277a1fc1
fixed race condition errors 2022-09-30 19:22:29 +02:00
Ayaz Hafiz
f72a1f9a9a
REmove env_logger dep 2022-09-28 09:10:27 -05:00
dependabot[bot]
aa186930cd
Bump env_logger from 0.9.0 to 0.9.1
Bumps [env_logger](https://github.com/env-logger-rs/env_logger) from 0.9.0 to 0.9.1.
- [Release notes](https://github.com/env-logger-rs/env_logger/releases)
- [Changelog](https://github.com/env-logger-rs/env_logger/blob/main/CHANGELOG.md)
- [Commits](https://github.com/env-logger-rs/env_logger/compare/v0.9.0...v0.9.1)

---
updated-dependencies:
- dependency-name: env_logger
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-28 09:35:13 +00:00
dependabot[bot]
49dd5af13d
Bump insta from 1.19.0 to 1.20.0
Bumps [insta](https://github.com/mitsuhiko/insta) from 1.19.0 to 1.20.0.
- [Release notes](https://github.com/mitsuhiko/insta/releases)
- [Changelog](https://github.com/mitsuhiko/insta/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mitsuhiko/insta/compare/1.19.0...1.20.0)

---
updated-dependencies:
- dependency-name: insta
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-26 07:14:24 +00:00
dependabot[bot]
b1e87981c0
Bump libc from 0.2.132 to 0.2.133
Bumps [libc](https://github.com/rust-lang/libc) from 0.2.132 to 0.2.133.
- [Release notes](https://github.com/rust-lang/libc/releases)
- [Commits](https://github.com/rust-lang/libc/compare/0.2.132...0.2.133)

---
updated-dependencies:
- dependency-name: libc
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-23 08:39:25 +00:00
Folkert
107f4d3f6c
remove itertools dependency 2022-09-21 12:55:41 +02:00
dependabot[bot]
d8441704d6
Bump itertools from 0.10.3 to 0.10.5
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.3 to 0.10.5.
- [Release notes](https://github.com/rust-itertools/itertools/releases)
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/commits)

---
updated-dependencies:
- dependency-name: itertools
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-21 10:16:10 +00:00
Folkert de Vries
a74f5d9366
Merge pull request #4076 from roc-lang/collapse-void-2
Unwrap layouts containing void layouts as newtypes
2022-09-21 00:13:56 +02:00
Ayaz Hafiz
f41936d5e5
Unwrap layouts containing void layouts as newtypes
Addresses the attempt to do so in https://github.com/roc-lang/roc/pull/3465

Co-authored-by: Folkert <folkert@folkertdev.nl>
2022-09-19 16:50:49 -05:00
Folkert de Vries
19e790f3b7
Merge pull request #4065 from roc-lang/windows-concat-app
First PE surgical link
2022-09-19 21:28:54 +02:00
Ayaz Hafiz
d65f0bbedc
Avoid example tests overwriting each other's platforms
Closes https://github.com/roc-lang/roc/issues/4038
2022-09-19 12:12:10 -05:00
Folkert
6005ed0664
add test that combines a zig platform with a dll 2022-09-18 14:11:46 +02:00
dependabot[bot]
0079048944
Bump bumpalo from 3.10.0 to 3.11.0
Bumps [bumpalo](https://github.com/fitzgen/bumpalo) from 3.10.0 to 3.11.0.
- [Release notes](https://github.com/fitzgen/bumpalo/releases)
- [Changelog](https://github.com/fitzgen/bumpalo/blob/main/CHANGELOG.md)
- [Commits](https://github.com/fitzgen/bumpalo/compare/3.10.0...3.11.0)

---
updated-dependencies:
- dependency-name: bumpalo
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-12 21:08:56 +00:00
dependabot[bot]
84f58f59ff
Bump pest_derive from 2.1.0 to 2.3.1
Bumps [pest_derive](https://github.com/pest-parser/pest) from 2.1.0 to 2.3.1.
- [Release notes](https://github.com/pest-parser/pest/releases)
- [Commits](https://github.com/pest-parser/pest/compare/v2.1.0...v2.3.1)

---
updated-dependencies:
- dependency-name: pest_derive
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-12 21:08:45 +00:00
Richard Feldman
f85f1b84a2
Merge pull request #3991 from roc-lang/glue-handle-multiple-modules
Add glue test case for multiple modules, and when anonymous type is reused
2022-09-12 13:55:41 -07:00
Ayaz
08c5903a48
Merge pull request #4017 from roc-lang/dependabot/cargo/serde-1.0.144
Bump serde from 1.0.139 to 1.0.144
2022-09-12 12:44:14 -04:00
Ayaz
11e4b252da
Merge pull request #4023 from roc-lang/dependabot/cargo/clap-3.2.20
Bump clap from 3.2.18 to 3.2.20
2022-09-12 12:43:47 -04:00
Ayaz Hafiz
15f66e3eaa
Add some tracing for debug purposes 2022-09-12 12:26:43 -04:00
dependabot[bot]
35b2e9c80f
Bump clap from 3.2.18 to 3.2.20
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.18 to 3.2.20.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/v3.2.20/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.18...v3.2.20)

---
updated-dependencies:
- dependency-name: clap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-12 10:33:19 +00:00
dependabot[bot]
b3744a3647
Bump pest from 2.1.3 to 2.3.1
Bumps [pest](https://github.com/pest-parser/pest) from 2.1.3 to 2.3.1.
- [Release notes](https://github.com/pest-parser/pest/releases)
- [Commits](https://github.com/pest-parser/pest/commits/v2.3.1)

---
updated-dependencies:
- dependency-name: pest
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-12 10:33:06 +00:00