Luke Boswell
344ffc5542
fix the formatting for CI
2022-10-25 19:28:49 +11:00
Luke Boswell
d4d654f850
add spaces to doc comments to format correctly when rendered
2022-10-25 19:24:32 +11:00
Anton-4
c7e46df57d
minor corrections
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-10-25 10:00:33 +02:00
Anton-4
d342815494
add space
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-10-25 10:00:09 +02:00
Luke Boswell
01da174c2f
Merge remote-tracking branch 'upstream/main' into std-docs-box-and-dict
2022-10-25 18:15:14 +11:00
Luke Boswell
3d2bdff0e1
adding more descriptions for Dict.roc
2022-10-25 18:09:00 +11:00
Luke Boswell
74a337d508
updated description for Boxing from Zulip discussion
2022-10-25 17:20:27 +11:00
Richard Feldman
f0b65048cd
Note that asking for help on Zulip is fastest
...
Signed-off-by: Richard Feldman <oss@rtfeldman.com>
2022-10-24 21:40:05 -04:00
Richard Feldman
9bb45f5856
Merge pull request #4381 from roc-lang/windows-rust-platforms
...
Windows rust platforms
2022-10-24 18:27:26 -07:00
Richard Feldman
0aa00611e3
Merge pull request #4305 from roc-lang/i4189
...
Multiple abilities bound to a type variable
2022-10-24 16:47:57 -07:00
Ayaz Hafiz
1f498b52d5
Better name solve test
2022-10-24 14:02:38 -05:00
Ayaz Hafiz
fc6f7d2613
Basic support for multi-ability docs
2022-10-24 14:00:46 -05:00
Ayaz Hafiz
1053c11907
Basic formatting of multi-abilities
2022-10-24 14:00:46 -05:00
Ayaz Hafiz
0642952d05
Remove some resolved todos
2022-10-24 14:00:46 -05:00
Ayaz Hafiz
66e75b8660
Simplify instantiation of bound able variables in non-delayed aliases
2022-10-24 14:00:46 -05:00
Ayaz Hafiz
3f5a86ded3
Update ability bindings
2022-10-24 14:00:46 -05:00
Ayaz Hafiz
0da72df5e9
Add ability slice to eq obligation checker
2022-10-24 14:00:46 -05:00
Ayaz Hafiz
2961d1a8be
Remove redundant reference
2022-10-24 14:00:45 -05:00
Ayaz Hafiz
b1a113e084
Simplify confusing error message
2022-10-24 14:00:45 -05:00
Ayaz Hafiz
c1ca64bbc9
Error messages when multiple ability bounds are missing or incomplete
2022-10-24 14:00:45 -05:00
Ayaz Hafiz
c0257302a9
Address clippy lints
2022-10-24 14:00:45 -05:00
Ayaz Hafiz
152400dea3
Add gen test for multiple ability bounds
2022-10-24 14:00:45 -05:00
Ayaz Hafiz
3bd10698cf
Allow rigid able to unify with flex able when rigid bounds are a superset
2022-10-24 14:00:45 -05:00
Ayaz Hafiz
0a96a93a67
Add test for inferring multiple ability bounds
2022-10-24 14:00:44 -05:00
Ayaz Hafiz
46b741e9dd
Correctly clone able vars across subs
2022-10-24 13:59:52 -05:00
Ayaz Hafiz
9c88534758
Obligation checking layers on extra abilities bound to a variable
2022-10-24 13:59:52 -05:00
Ayaz Hafiz
db7fe48d1c
Merge muliple abilities bound to flex var
2022-10-24 13:59:52 -05:00
Ayaz Hafiz
49e19d96e5
Print multiple abilities in error types
2022-10-24 13:59:52 -05:00
Ayaz Hafiz
94fc58a508
Pretty-print variables bound to multiple abilities
2022-10-24 13:59:52 -05:00
Ayaz Hafiz
4541b41f7b
Revert VecSet-related changes
2022-10-24 13:59:51 -05:00
Ayaz Hafiz
1e6181d2cb
New data structure for storing sorted abilities bound to a variable
2022-10-24 13:59:51 -05:00
Ayaz Hafiz
229548571b
Represent "able" variables with slices of abilities
2022-10-24 13:59:51 -05:00
Ayaz Hafiz
0f0678ce73
s/closure_names/symbol_names/g in subs
2022-10-24 13:59:51 -05:00
Ayaz Hafiz
2011ec97c3
Store multiple abilities as a VecSet
2022-10-24 13:59:51 -05:00
Ayaz Hafiz
603160dae3
Report errors for duplicate bound abilities
2022-10-24 13:59:50 -05:00
Ayaz Hafiz
231a72f2ee
Insert first ability correctly in the parser
2022-10-24 13:56:07 -05:00
Ayaz Hafiz
6bb97c92b9
Canonicalize multiple abilities bound to a type variable
2022-10-24 13:56:07 -05:00
Ayaz Hafiz
97dbac1631
Add tests for multiple abilities bound to a variable
2022-10-24 13:56:07 -05:00
Ayaz Hafiz
548a235c25
Support parsing multiple abilities in a clause
2022-10-24 13:56:06 -05:00
Richard Feldman
bdc565762b
Merge pull request #4383 from roc-lang/docs-updates
...
"Different names" tip in builtin docs
2022-10-24 11:39:29 -07:00
Ayaz
89f14e73a0
Merge pull request #4358 from roc-lang/derive-opaque-defs
...
Auto-derive ability implementations for opaques in canonicalization
2022-10-24 13:24:51 -05:00
Anton-4
3dac06935f
Merge pull request #4396 from roc-lang/extend-faq
...
add question to FAQ
2022-10-24 19:44:43 +02:00
Ayaz
ff9a9081ec
Merge pull request #4397 from roc-lang/i4389
...
Do not attempt to lookup functions in `expect`s
2022-10-24 11:21:10 -05:00
Ayaz Hafiz
5164994fb5
Do not attempt to lookup functions in expect
s
...
Functions are not useful to print in expect results, because they are
only printed opaquely as `<function>`. Moreover, their transformation to
closure sets during mono can be extremely lossy, up to and including the
elision of symbols for function closure symbols. As such, simply do not
attempt to lookup or print functions referenced in expects.
Closes #4389
2022-10-24 10:28:56 -05:00
Anton-4
a69f2a9f78
add question to FAQ
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-10-24 16:08:43 +02:00
Ayaz
50fac9cc9e
Merge pull request #4393 from roc-lang/simple-signing
...
simple signing workaround
2022-10-24 08:06:00 -05:00
Folkert de Vries
8fd2a33a7b
Merge pull request #4395 from keerthanak-tw/main
...
Add how to sign unsigned commits section
2022-10-24 14:39:38 +02:00
Anton-4
14710e1dc9
minor changes
...
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2022-10-24 13:47:40 +02:00
Keerthana Kasthuril
38409221b6
Add how to sign unsigned commits section
...
Signed-off-by: Keerthana Kasthuril <76804118+keerthanak-tw@users.noreply.github.com>
2022-10-24 17:01:34 +05:30
Folkert de Vries
e7bbef04e5
Merge pull request #4385 from nickgravgaard/main
...
Change TUI platform to call view on initial model
2022-10-24 12:29:53 +02:00