language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-17 18:40:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
18743 commits 361 branches 5 tags 208 MiB
Commit graph

62 commits

Author SHA1 Message Date
Ayaz Hafiz
1e1c44264f
Make sure to use result from inserting into subs, rather than uninit buffer 2022-08-15 11:11:33 -05:00
Richard Feldman
7e12bcff1d
Rename variant_var to tag_union_var 2022-08-15 11:11:32 -05:00
Ayaz Hafiz
aa5e1e6a27
Build derive keys for derivable records 2022-08-15 11:11:30 -05:00
Ross Smyth
80f14f61df
Add safe layout reprs and safety comments about layout 2022-08-13 03:49:12 -04:00
Richard Feldman
97e2900bf5
s/rtfeldman/roc-lang/g in links to GitHub repos 2022-08-12 15:24:09 -04:00
Ayaz Hafiz
b69051c90e
Print rigid optional types correctly 2022-08-10 20:24:19 -07:00
Ayaz Hafiz
81bb889e93
Add RigidOptional record field variant 2022-08-10 20:24:18 -07:00
Anton-4
6a15a7b41b
changed Cargo versions from 0.1.0 to 0.0.1 2022-08-03 11:41:19 +02:00
Folkert de Vries
a00cb58660
Merge pull request #3679 from rtfeldman/i3669 
Choose recursion var when merging arbitrary variables, when possible
 2022-08-02 22:09:50 +02:00
Ayaz
fa14146054
Merge pull request #3531 from rtfeldman/decode 
Very basic Decode.roc in the standard library
 2022-08-02 14:26:28 -05:00
Folkert de Vries
86a1a0f401
Merge pull request #3643 from rtfeldman/disjoint-able-variable-specialization 
Disjoint able variable specialization algorithm
 2022-08-02 20:31:47 +02:00
Ayaz Hafiz
6536a69c5b
Remove stray panic 2022-08-02 08:21:53 -05:00
Folkert de Vries
5061a67534
Merge pull request #3642 from rtfeldman/can-abilities6 
Syntactic abilities: Part 6 - eager lambda set specialization, and fix ability let-generalization
 2022-08-01 23:57:56 +02:00
Ayaz Hafiz
b72c8705e5
Add an AbilityResolver trait for abilities stores and views 2022-08-01 08:09:24 -05:00
Ayaz Hafiz
b87f09115c
Report opaques as opaques, not aliases 
Closes #3313
Closes #3654
 2022-08-01 08:02:56 -05:00
Ayaz Hafiz
985c43b15b
Don't panic when weird things get into a record 
Closes #3648
 2022-07-31 19:43:18 -05:00
Ayaz Hafiz
02d5d0ec92
Allow naming type variables with a basis hint 
I think this makes it easier to read type variables when they come from
flex/rigid vars with pre-existing names, just give them a number suffix
to differentiate them.
 2022-07-29 15:32:44 -04:00
Ayaz Hafiz
5f115685e4
Make sure to name closure variables correctly 2022-07-29 14:18:47 -04:00
Ayaz Hafiz
403b2b14b7
Add remove_dependent_unspecialized_lambda_sets to UlsOfVar 2022-07-29 08:43:18 -04:00
Ayaz Hafiz
e2454f497f
Store declared implementations, both custom and derived, in abilities store 2022-07-25 09:09:01 -04:00
Ayaz Hafiz
5ad04dcd2c
Emit runtime error when tag unions have an error type 
Closes #3266
 2022-07-22 15:46:09 -04:00
Richard Feldman
3972664e48
Rename Category::Float to Category::Frac 2022-07-20 10:49:05 -04:00
Ayaz Hafiz
e672ce9ebd
First pass at canonicalizing and reporting syntactic abilities 2022-07-18 17:55:01 -04:00
Richard Feldman
c859ce0b23
Use Opaque over Alias 2022-07-18 17:55:00 -04:00
Folkert de Vries
ca38ec4eb5
Merge pull request #3541 from rtfeldman/rocasync 
Changes to get roc-async working
 2022-07-18 19:22:07 +02:00
Ayaz Hafiz
c98ba441cf
Properly handle immediate derivations 2022-07-15 10:38:11 -04:00
Ayaz Hafiz
e91247a64d
Store ability member lambda sets in storage subs 2022-07-15 10:38:11 -04:00
Ayaz Hafiz
52d3f9721f
Add function to extract ability member's lambda sets at regions 2022-07-15 10:38:11 -04:00
Ayaz Hafiz
759134885b
Explain pushing/popping types on region labelling stack 2022-07-15 10:38:10 -04:00
Ayaz Hafiz
5d70a8dbe1
Even more dead code 2022-07-14 16:16:30 -04:00
Ayaz Hafiz
e2326efd0b
Include real_var when checking occurs 
The real_var can have occurs that aren't represented by the type
variables, especially in the presence of recursive checks.
 2022-07-14 12:26:34 -04:00
Ayaz Hafiz
76f7843c93
Enforce some simplifications 2022-07-13 08:47:40 -04:00
Ayaz Hafiz
9826253785
Deriving string encoders works 2022-07-13 08:47:37 -04:00
Ayaz Hafiz
f481f6da6c
Don't require subs exporting types to be mutable 2022-07-13 08:47:35 -04:00
Ayaz Hafiz
8393778159
Typo 2022-07-12 21:15:33 -04:00
ayazhafiz
888c480a8b
Move solved_types and builtin_aliases to ast 2022-07-10 19:50:10 -04:00
ayazhafiz
699c4d7fff
Move Solved to roc_solve 2022-07-10 19:42:41 -04:00
Folkert de Vries
f1aae6f480
Merge pull request #3476 from rtfeldman/i3469 
Remove more builtins code
 2022-07-10 23:06:50 +02:00
Ayaz Hafiz
c211ec9790
Don't include DelayedAlias in illegal cycle checks 2022-07-10 13:53:41 -04:00
Ayaz Hafiz
bd5b62f7e5
Remove SolvedType to_type 2022-07-10 10:48:18 -04:00
Ayaz
7b308d9efe
Merge pull request #3404 from rtfeldman/ambient-lset-specialization 
The ambient lambda set specialization algorithm
 2022-07-09 17:23:27 -05:00
Folkert
41768bfa97
new approach for defining our builtins 2022-07-08 13:46:34 +02:00
Ayaz Hafiz
194d92ceea
Remove duplicate definition 2022-07-06 13:12:18 -04:00
Ayaz Hafiz
0b427646e4
Continued progress on new lambda set compaction algorithm 2022-07-06 13:08:57 -04:00
Ayaz Hafiz
5534577a90
Embed new lambda set specialization algorithm 2022-07-06 13:08:56 -04:00
Ayaz Hafiz
918e808aff
Link ambient functions of alias lambda set variables 2022-07-06 13:04:30 -04:00
Ayaz Hafiz
5d74a376af
Attach ambient function vars to lambda sets 2022-07-06 13:04:29 -04:00
ayazhafiz
24b605a369
Wrap int properly 2022-07-05 23:16:59 -04:00
ayazhafiz
4a214fe75b
Write parens 2022-07-05 22:39:31 -04:00
ayazhafiz
e3ead18e8f
Unused var 2022-07-05 22:28:04 -04:00