Ayaz Hafiz
c7bd430026
Gen tests for derived tuple encoding
2023-03-22 11:40:55 -05:00
Ayaz Hafiz
0b4a45c70d
Derive encoding for tuples
2023-03-22 11:37:47 -05:00
Ayaz Hafiz
e5fcb05a2d
Implement derivation keys for tuple encoders
2023-03-22 11:19:47 -05:00
Ayaz Hafiz
a361c4cfc1
Add the tuple ability member to EncoderFormatting
2023-03-22 11:14:46 -05:00
Ayaz Hafiz
8a7d9f8f23
Better debugging when lambda set region is missing
2023-03-22 11:13:00 -05:00
Ayaz Hafiz
72c9b76f23
Gen Eq test for tuple
2023-03-22 10:55:15 -05:00
Ayaz Hafiz
143f39d273
Gen tests for derivation of tuple hash
2023-03-22 10:53:14 -05:00
Ayaz Hafiz
c32bc5f152
Offset tuple element indices correctly when importing
2023-03-22 10:52:31 -05:00
Ayaz Hafiz
8f7b6aaeaa
Implement hash derivation for tuple
2023-03-22 10:28:13 -05:00
Ayaz Hafiz
66fb2f476e
Pretty-print tuple access
2023-03-22 10:27:49 -05:00
Ayaz Hafiz
d9c7010104
Add derive-key tests for derived hash
2023-03-22 10:19:14 -05:00
Ayaz Hafiz
e6cac71ca5
Add support for hash key of tuples
2023-03-22 10:09:57 -05:00
Ayaz Hafiz
f4f9ae7a5d
Implement obligation checking of tuples for all abilities
2023-03-22 10:03:01 -05:00
Ayaz
63ef4a486f
Merge pull request #5173 from roc-lang/i5148
2023-03-22 08:59:39 -04:00
Ayaz
6b3f3ba1a1
Merge pull request #5167 from roc-lang/fix-closure-captures-recursive
...
Ensure that closures inside recursive closures capture correctly
2023-03-21 13:53:33 -04:00
Ayaz Hafiz
4c2f8f3566
Support tuples in the repl
...
Closes #5148
2023-03-21 13:53:07 -04:00
Anton-4
9742fc0f9e
Merge pull request #5132 from itmuckel/docs-links-in-headers
...
Add github style links to docs sections
2023-03-21 15:22:07 +01:00
Richard Feldman
2276c78d9f
Merge pull request #5093 from roc-lang/glue-getters-rtfeldman
...
Glue for functions and closures
2023-03-21 08:12:19 -04:00
Ayaz Hafiz
700d2d1b31
Check in mono golden
2023-03-21 07:18:12 -04:00
Anton-4
f11bf90d6d
values name change
2023-03-21 11:34:10 +01:00
Ayaz Hafiz
e8a29d2df4
Ensure that closures inside recursive closures capture correctly
...
With a code like
```
thenDo = \x, callback ->
callback x
f = \{} ->
code = 10u16
bf = \{} ->
thenDo code \_ -> bf {}
bf {}
```
The lambda `\_ -> bf {}` must capture `bf`. Previously, this would not
happen correctly, because we assumed that mutually recursive functions
(including singleton recursive functions, like `bf` here) cannot capture
themselves.
Of course, that premise does not hold in general. Instead, we should have
mutually recursive functions capture the closure (haha, get it) of
values captured by all functions constituting the mutual recursion.
Then, any nested closures can capture outer recursive closures' values
appropriately.
2023-03-20 17:44:59 -04:00
Anton-4
8da9af94f2
use latest basic-cli, better error messages
2023-03-20 20:06:36 +01:00
itmuckel
97f68974a9
Code Review Changes
2023-03-20 19:53:38 +01:00
itmuckel
cc70413e05
Add github style links to docs sections
2023-03-20 19:53:31 +01:00
Anton-4
6e0dc30797
fixes, build tar.br now
2023-03-20 16:32:54 +01:00
Anton-4
f619a35c7c
.rh and .rm adjustments, basic-cli nightly prep
2023-03-20 12:24:30 +01:00
Anton-4
3eda00cb62
Merge pull request #5144 from lukewilliamboswell/static-site
...
Add code file import feature for `static-site-gen` platform
2023-03-20 11:16:57 +01:00
Anton-4
9c0d2a2eb0
some style changes
2023-03-18 14:22:52 +01:00
Anton-4
c536c70238
Merge pull request #5159 from swork1/better-mobile-support
...
fix mobile support for button container
2023-03-18 12:37:22 +01:00
Brendan Hansknecht
04f46e7425
Merge pull request #5155 from swork1/builtin-dict-docs
...
add docs/tests to Dict builtin
2023-03-17 21:12:01 +00:00
Seth Workman
4756781f25
fix mobile support for button container
2023-03-17 15:27:13 -05:00
Seth Workman
29e0673308
update dict.txt
2023-03-17 11:33:39 -05:00
Seth Workman
6471ce8a72
Merge branch 'roc-lang:main' into copy-button-#5137
2023-03-17 11:16:18 -05:00
Seth Workman
deadd19de0
Merge branch 'roc-lang:main' into builtin-dict-docs
2023-03-17 11:02:57 -05:00
Seth Workman
fed541947a
add copy button to builtin docs
2023-03-17 08:51:53 -05:00
Seth Workman
dccb1be5b5
fix naming to be relevant to example
2023-03-17 08:36:50 -05:00
Seth Workman
fea1cfa57d
fix walkUntil test/example and formatting
2023-03-17 08:33:01 -05:00
Anton-4
1061b7e8c0
Merge branch 'main' of github.com:roc-lang/roc into glue-getters-rtfeldman
2023-03-17 12:02:35 +01:00
Folkert de Vries
bd3982241e
Merge pull request #5036 from roc-lang/tutorial_updates
...
tutorial: update to basic-cli 0.2.1, fix typos
2023-03-17 11:46:36 +01:00
Anton-4
f1b1aa6a7b
Merge branch 'main' of github.com:roc-lang/roc into glue-getters-rtfeldman
2023-03-17 11:34:29 +01:00
Seth Workman
f912c39a04
add docs/tests to Dict builtin
2023-03-16 22:44:50 -05:00
Brendan Hansknecht
ba804cc382
clippy
2023-03-16 12:25:52 -07:00
Brendan Hansknecht
5cb41cb81d
switch false test case to one that will repro the bug and enable valgrind for it
2023-03-16 12:12:28 -07:00
Brendan Hansknecht
2a6c82c937
fix bug where we don't decrement elements if the list is non-unique
2023-03-16 12:12:28 -07:00
Brendan Hansknecht
a955a4937c
misc list refcounting updates
2023-03-16 12:12:28 -07:00
Brendan Hansknecht
ce29c7e92f
fix bugs from recent changes and additions
2023-03-16 12:12:27 -07:00
Brendan Hansknecht
00a3d7b259
update mono tests
2023-03-15 16:44:02 -07:00
Brendan Hansknecht
48f17a8e2c
add Str.releaseExcessCapacity
2023-03-15 15:24:59 -07:00
Folkert
8b00e071ab
fix wrong field name in wasm helpers
2023-03-15 22:17:23 +01:00
Brendan Hansknecht
b8e42b05a2
misc cleanup
2023-03-15 13:25:45 -07:00
