Commit Graph

1521 Commits

Author SHA1 Message Date
dependabot[bot]
d1c406812f
Bump pretty_assertions from 1.2.1 to 1.3.0
Bumps [pretty_assertions](https://github.com/rust-pretty-assertions/rust-pretty-assertions) from 1.2.1 to 1.3.0.
- [Release notes](https://github.com/rust-pretty-assertions/rust-pretty-assertions/releases)
- [Changelog](https://github.com/rust-pretty-assertions/rust-pretty-assertions/blob/main/CHANGELOG.md)
- [Commits](https://github.com/rust-pretty-assertions/rust-pretty-assertions/compare/v1.2.1...v1.3.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-12 05:28:00 +00:00
Richard Feldman
be0c098b76
Revert "Always put the | in a has clause on a new line"
This reverts commit fd2ef1a3ce.
2022-09-11 20:25:15 -04:00
Richard Feldman
5d7213aa7d
Removed an || condition that was always false 2022-09-11 20:19:22 -04:00
Richard Feldman
fd2ef1a3ce
Always put the | in a has clause on a new line 2022-09-11 20:19:11 -04:00
Richard Feldman
8e6abc8079
Clean up some formatter logic 2022-09-11 20:18:40 -04:00
Folkert
d725e44538
handle case where C returns by-value, but roc wants to return by-pointer 2022-09-11 16:56:03 -04:00
Jan Van Bruggen
4625a0a869
Rephrase CPU-related "platform"/"host" to "target"/"your machine" 2022-09-11 10:25:02 -06:00
Jan Van Bruggen
68be131bd7
Rephrase "precompiled platform" to "prebuilt platform" 2022-09-11 10:25:01 -06:00
Jan Van Bruggen
5663a1d9f9
Rephrase "precompiled host" to "precompiled platform"
This is for clarity to Roc app developers, for whom "host" is not
necessarily in their Roc vocabulary. Additionally, this phrasing
is simply more accurate.
2022-09-11 10:25:01 -06:00
Folkert
fbc5412161
ignore another test 2022-09-09 23:20:11 +02:00
Folkert
b8a5d69578
ignore another test on windows 2022-09-09 23:20:11 +02:00
Folkert
5d60ffeebf
disable a segfaulting test on windows 2022-09-09 23:20:11 +02:00
Folkert
57201db2f6
windows: temporarily do not drop gen_test results 2022-09-09 23:20:10 +02:00
Richard Feldman
3e1ca37b9e
Merge pull request #3950 from roc-lang/keep-dll-loaded
keep dll loaded
2022-09-09 14:19:35 -07:00
Jan Van Bruggen
aec2baefe3
Merge pull request #3997 from roc-lang/lint_markdown
Lint all markdown files once, guided by markdown-cli2
2022-09-09 09:27:31 -06:00
Jan Van Bruggen
30fec8eacd
Add missing h1s 2022-09-09 01:12:32 -06:00
Jan Van Bruggen
8bbfd68621
Add language to all fenced code blocks
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md040
2022-09-09 01:12:31 -06:00
Jan Van Bruggen
9cf7bdcccf
Use dashes for list markers
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md004
2022-09-09 01:12:31 -06:00
Jan Van Bruggen
2cbfef490a
Fix space positioning typo 2022-09-09 01:12:31 -06:00
Jan Van Bruggen
072a6bd002
Eliminate consecutive newlines
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md012
2022-09-09 01:12:30 -06:00
Jan Van Bruggen
051059e151
Replace tabs with spaces
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md010
2022-09-09 01:12:30 -06:00
Jan Van Bruggen
3902668ce5
Add angle brackets to bare URLs
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md034
2022-09-09 01:12:30 -06:00
Jan Van Bruggen
3219178003
Ensure only one h1 per .md file
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md025
2022-09-07 23:27:18 -06:00
Jan Van Bruggen
26a1abfea8
Add blank lines around lists
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md032
2022-09-07 23:18:03 -06:00
Jan Van Bruggen
e3071a22b0
Add blank lines around headings
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md022
2022-09-07 23:18:03 -06:00
Jan Van Bruggen
6229eb54ca
Add blank lines around fenced code blocks
See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md031
2022-09-07 23:18:03 -06:00
Ayaz Hafiz
fc6561ecb6
Format string literals in patterns 2022-09-07 17:30:52 -05:00
Folkert de Vries
828e3b05c5
Merge pull request #3985 from roc-lang/pass-string-byval-host
allow passing of RocStr by-value from a host
2022-09-07 16:23:47 +02:00
Folkert de Vries
8bbeb34792
Merge pull request #3981 from roc-lang/use-copy-table
Cache variables sent to a module's external specializations in mono
2022-09-07 12:28:17 +02:00
Folkert de Vries
83d45fa859
Merge pull request #3982 from roc-lang/i3955
Lose rigidity of annotated optional fields before generalization
2022-09-07 12:20:53 +02:00
Folkert
2762457e10
allow passing of RocStr by-value from a host 2022-09-07 12:14:13 +02:00
Ayaz Hafiz
eebe5234f6
Correctly perform record updates that come from thunks
Closes #3908
2022-09-06 18:07:22 -05:00
Ayaz Hafiz
c2452ff751
Lose rigidity of annotated optional fields before generalization
We have this idea of "rigid optional" fields to annotate record fields
that must necessarily be optional. That avoids the admission of programs
we cannot faithfully compile, like

```
f : {a: Str, b ? U64}
f = {a: "b", b: 1}
```

We want to lose the rigidity restriction when a generalized symbol is
used as at a specialized site; for example it should be possible to call
`f : {x ? Str} -> {}` with both `{}` and `{x : Str}`, neither of which
have a rigidly optional field unless they were to be annotated.

Prior to this commit we would loosen the rigidity restriction upon
specialization of a generalized type at a use site. However, what we
really want to do is apply the loosening during calculation of
generalization. The reason is that otherwise, we must make types that
would be ground (like `{x ? Str} -> {}`) generalized just for the sake
of the optional field annotation. But since the rigidity constraint is
irrelevant after an annotated body has been checked, we can loosen the
rigidity restriction then, which conveniently happens to coincide with
the generalization calculation.

Closes #3955
2022-09-06 17:44:04 -05:00
Ayaz Hafiz
58dd58aa5d
Clippy 2022-09-06 15:53:04 -05:00
Ayaz Hafiz
4ed579d7a6
Use default instead of new 2022-09-06 15:48:59 -05:00
Ayaz Hafiz
a3f3771326
Add the storage module 2022-09-06 14:36:36 -05:00
Ayaz Hafiz
53e1551cd1
Move external specializations storage subs into its own struct 2022-09-06 14:33:41 -05:00
Ayaz Hafiz
882d589d5f
Basic caching of variables saved into storage subs 2022-09-06 14:11:03 -05:00
Ayaz Hafiz
265c1c058f
Loosen bound on VecMap from-iterator 2022-09-06 14:06:41 -05:00
Folkert
d78be3f863
remove either dependency 2022-09-06 18:52:43 +02:00
dependabot[bot]
ee81b73ea5
Bump either from 1.7.0 to 1.8.0
Bumps [either](https://github.com/bluss/either) from 1.7.0 to 1.8.0.
- [Release notes](https://github.com/bluss/either/releases)
- [Commits](https://github.com/bluss/either/compare/1.7.0...1.8.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-06 16:50:25 +00:00
Folkert de Vries
6dc86513a1
Merge pull request #3973 from roc-lang/dependabot/cargo/libc-0.2.132
Bump libc from 0.2.126 to 0.2.132
2022-09-06 18:48:36 +02:00
Folkert de Vries
b8f6d84dc3
Merge pull request #3928 from roc-lang/windows-surgical-dll
windows surgical dll
2022-09-06 13:19:23 +02:00
dependabot[bot]
095505ee15
Bump libc from 0.2.126 to 0.2.132
Bumps [libc](https://github.com/rust-lang/libc) from 0.2.126 to 0.2.132.
- [Release notes](https://github.com/rust-lang/libc/releases)
- [Commits](https://github.com/rust-lang/libc/compare/0.2.126...0.2.132)

---
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-06 07:27:05 +00:00
Anton-4
3f3de74250
Merge pull request #3970 from roc-lang/dependabot/cargo/serde_json-1.0.85
Bump serde_json from 1.0.82 to 1.0.85
2022-09-06 09:26:35 +02:00
Richard Feldman
eac04dfbc7
Merge pull request #3957 from roc-lang/dev-backend-bitwise-logical
dev backend: bitwise logical operators
2022-09-05 20:28:56 -07:00
dependabot[bot]
646c0d3ffa
Bump serde_json from 1.0.82 to 1.0.85
Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.82 to 1.0.85.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](https://github.com/serde-rs/json/compare/v1.0.82...v1.0.85)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-09-05 14:02:45 +00:00
Folkert de Vries
92847fd7c6
Merge pull request #3965 from roc-lang/windows-dec-add
windows RocDec & Zig
2022-09-05 13:06:24 +02:00
Folkert de Vries
33ae4c2655
Merge branch 'main' into windows-surgical-dll
Signed-off-by: Folkert de Vries <folkert@folkertdev.nl>
2022-09-05 11:31:19 +02:00
Folkert
df7db18008
make test slighly different so it has a distinct hash 2022-09-04 19:49:11 +02:00