language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 20:28:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7
20509 commits 352 branches 5 tags 194 MiB
Commit graph

20509 commits

This branch
This branch
All branches
Author SHA1 Message Date
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 expects 
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
Anton-4
a8dda54a2b
simple signing workaround 
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
 2022-10-24 11:34:33 +02:00
Nick Gravgaard
6d02332b62
Change TUI platform to call view on initial model 
Signed-off-by: Nick Gravgaard <nick@nickgravgaard.com>
 2022-10-24 09:44:49 +01:00
Anton-4
0286524892
Merge pull request #4289 from cjduncana/dict-testing 
Add Dict module to the testing CI
 2022-10-24 09:12:07 +02:00
Ayaz Hafiz
14e0cd1b84
Address syntax error 2022-10-23 20:49:06 -05:00
Ayaz Hafiz
8ff74465b9
Format Decode.roc 2022-10-23 20:48:07 -05:00
Ayaz Hafiz
89def77f01
Use derived Eq impl for Dict and Set 2022-10-23 20:48:07 -05:00
Ayaz Hafiz
e75f3c3c79
Get rid of MemberImpl::Derived 
We don't need this anymore, since derived members become Impls during
canonicalization now!
 2022-10-23 20:48:07 -05:00
Ayaz Hafiz
1d885c4ab2
Support deriving Decode for opaques 2022-10-23 20:48:06 -05:00
Ayaz Hafiz
61ba59de07
Even more unneeded allocations 2022-10-23 20:48:06 -05:00
Ayaz Hafiz
e08b613047
Add Decode.mapResult 2022-10-23 20:48:06 -05:00