Commit Graph

27176 Commits

Author SHA1 Message Date
CrepeGoat
2a0fc0a030
Fix typo in website pages 2023-12-02 21:15:23 -07:00
CrepeGoat
1d86ad494f
fixed typos in website pages 2023-12-02 20:40:59 -07:00
Ayaz
d545360e5f
Merge pull request #3210 from roc-lang/jaredly-patch-1
add a note about the Eq ability to the section on function equality
2023-12-02 21:33:31 -06:00
Ayaz
0955efac5f
Merge pull request #6160 from CrepeGoat/patch-2
Update Decode.roc
2023-12-02 21:02:46 -06:00
Ayaz
9e6933a16f
Merge branch 'main' into jaredly-patch-1
Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>
2023-12-02 20:16:49 -06:00
Brendan Hansknecht
6dddb7b348
Merge pull request #6158 from roc-lang/expect-seamless-slice
Support seamless slice in expects
2023-12-02 17:37:35 -08:00
Becker A
14e04d65cf
Update Decode.roc
fixed typo

Signed-off-by: Becker A. <awqatty.b@gmail.com>
2023-12-02 18:33:17 -07:00
Brendan Hansknecht
5dd0bdebc9
support seamless slice in expects 2023-12-02 15:57:53 -08:00
Richard Feldman
66fa633fde
Merge pull request #6140 from roc-lang/required-checks-fix
create single final job for required checks
2023-12-02 14:16:19 -05:00
Brendan Hansknecht
d98276404c
Merge pull request #6098 from horriblename/feat-download-progress
Add simple download progress tracker
2023-12-02 09:19:30 -08:00
Anton-4
d21df40829
Merge pull request #6153 from roc-lang/tutorial-app-name-update
Update tutorial executable naming section
2023-12-02 18:07:38 +01:00
Anton-4
82632cfae6
Update tutorial executable naming
Fixes issue raised [here](https://github.com/roc-lang/roc/issues/5501#issuecomment-1837186378).
I also simplified the language a bit for non-native English speakers.

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-02 17:06:40 +01:00
Anton-4
c9ea55947b
re-enable all jobs
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-02 15:38:29 +01:00
Anton-4
c9e6e074ed
Merge pull request #6152 from roc-lang/link-to-examples-repo
link to examples repo
2023-12-02 15:00:37 +01:00
Anton-4
5685189dcf
link to examples repo
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-02 14:13:23 +01:00
Anton-4
f3a35d25e6
more robust if
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-02 14:06:32 +01:00
Anton-4
7200b95437
slightly different if
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-02 13:53:23 +01:00
Brendan Hansknecht
edaa600274
Merge branch 'main' into feat-download-progress 2023-12-01 22:03:02 -08:00
Brendan Hansknecht
e65f14fa49
Merge pull request #6090 from Gungy2/5830
Add `log` function to `Dec`
2023-12-01 22:02:35 -08:00
Richard Feldman
a557957415
Merge pull request #6145 from roc-lang/improve-str-docs
Fix Str.walkUtf8 docs
2023-12-01 21:53:12 -05:00
Richard Feldman
421f8d9c5c
Fix Str.walkUtf8 docs 2023-12-01 20:49:58 -05:00
Brendan Hansknecht
738098bfd0
Merge branch 'main' into 5830 2023-12-01 16:37:33 -08:00
Anton-4
14cc1544e8
Merge pull request #6141 from CrepeGoat/patch-1
Update README.md
2023-12-01 20:30:07 +01:00
Anton-4
7ddc5b3391
add needs
https://stackoverflow.com/questions/66343052/github-actions-or-operator-for-needs-clause

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-01 20:00:36 +01:00
Becker A
243f53620e
Update README.md
fixed (what I assume is) a typo

Signed-off-by: Becker A. <awqatty.b@gmail.com>
2023-12-01 12:00:30 -07:00
Anton-4
d1803c1b5a
single-finish-job
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-01 19:55:19 +01:00
Ching Pei Yang
7290e5fcce
Merge branch 'main' into feat-download-progress 2023-12-01 19:53:02 +01:00
Ching Pei Yang
6f3588186c
Print download progress to stderr instead 2023-12-01 19:48:36 +01:00
Richard Feldman
3b44a33a9c
Merge pull request #6136 from roc-lang/revert-nix-changes
Revert "Merge pull request #6113 from JRMurr/nix-build-file-sets"
2023-12-01 13:12:52 -05:00
Anton-4
590140f182
Revert "Merge pull request #6113 from JRMurr/nix-build-file-sets"
This reverts commit f7841f0d1c, reversing
changes made to b4506a4dac.
2023-12-01 18:48:12 +01:00
Anton-4
dc37b7a31d
Merge pull request #6132 from roc-lang/use-basic-cli-7
use latest basic-cli
2023-12-01 16:37:04 +01:00
Anton-4
f7841f0d1c
Merge pull request #6113 from JRMurr/nix-build-file-sets
Use nix file set API to reduce how often we will need to rebuild
2023-12-01 15:57:15 +01:00
Anton-4
b4506a4dac
Merge pull request #6095 from CrepeGoat/patch-1
Fixed `roc format --stdin --stdout` to format output
2023-12-01 15:27:05 +01:00
Anton-4
cc8966e37d
Update ingested_file_bytes test
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-12-01 12:49:31 +01:00
Anton-4
a050933955
use latest basic-cli 2023-12-01 12:33:09 +01:00
Ayaz
a56d7adc17
Merge pull request #6128 from roc-lang/debug-auto-opaque
Make sure late specializations of opaques inherit Inspect as needed
2023-12-01 00:42:11 -06:00
Ayaz Hafiz
a53da2bc24
Make sure late specializations of opaques inherit Inspect as needed
A "late specialization" of a type is an ability specialization that
is not visible or needed until after type-specialization; i.e. during
monomorphization.

The `Inspect.toInspector` ability is special-cased for opaques that do
not claim or explicitly implement `Inspect`. In such cases, they are
treated as structural types, and given the immediate specialization of
`Inpect.inspectOpaque`.

However, prior to this commit, that special-casing would only be applied
during early specialiation (i.e. specializations visible during
generalized type inference). This commit applies the special case to
late specialization as well - the specialization decision for an opaque
type is always the specialization of the opaque type in the late case,
but now, when we go to look up the ambient lambda set of the
specialization, if it does not exist and corresponds to
`Inspect.toInspector`, we fall back to the immediate.

One concern I have here is that in a case like

```
Op := {}

x =
    dbg (@Op {})
```

the specialization of `Inspect.toInspector` for `Op` should be known
early. Indeed, the program

```
Op := {}

x =
    Inspect.toInspector (@Op {}) |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
```

Compiles fine without this change. This makes me suspect there is an
issue with the implementation of `dbg`'s desugaring. If possible, this
should be addressed sooner rather than later.

Closes #6127
2023-11-30 22:25:08 -06:00
Luke Boswell
7d2b8a509d
Merge pull request #6126 from roc-lang/github-link
Add github link to website
2023-12-01 13:45:10 +11:00
Luke Boswell
dc0b5eeab2
add github link to website 2023-12-01 13:38:45 +11:00
Richard Feldman
9f60e6027c
Merge pull request #6125 from roc-lang/add-drew-lazzeri
Add @asteroidb612 to sponsors
2023-11-30 20:10:18 -05:00
Richard Feldman
91886ce8a0
Add @asteroidb612 to sponsors - thank you so much! ❤️ 2023-11-30 20:07:45 -05:00
Richard Feldman
4798760229
Merge pull request #6124 from roc-lang/prevent-spellcheck
Add spellcheck attribute for REPL
2023-11-30 19:41:59 -05:00
Richard Feldman
25acbfaf7e
Merge pull request #6123 from roc-lang/fix-css
Fix css for .color-white class
2023-11-30 19:41:21 -05:00
Luke Boswell
de5847a875
add spellcheck attribute for REPL 2023-12-01 11:25:58 +11:00
Luke Boswell
16834a47ff
fix css error color 2023-12-01 11:06:34 +11:00
Brendan Hansknecht
02d97bccec
Merge pull request #6116 from roc-lang/dbg-with-inspect
Dbg with inspect
2023-11-30 12:38:04 -08:00
Luke Boswell
996ff79f19
Merge pull request #6122 from ducdetronquito/patch-1
Tutorial - Fix broken examples link
2023-12-01 07:26:02 +11:00
ducdetronquito
92952a3b8f
Tutorial - Fix broken examples link
Signed-off-by: ducdetronquito <ducdetronquito@users.noreply.github.com>
2023-11-30 21:03:38 +01:00
Ching Pei Yang
f2f58b062d
Remove unneeded println arg 2023-11-30 16:17:38 +01:00
Brendan Hansknecht
9f1f0610d1
disable flaky glue test for now 2023-11-29 23:17:11 -08:00