language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 07:41:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
14998 commits 378 branches 6 tags 227 MiB
Commit graph

14 commits

Author SHA1 Message Date
Richard Feldman
85e7969c2d
Replace references to "global tag" with "tag" 2022-04-25 17:04:34 -04:00
Ayaz Hafiz
cf8409dfaa
Remove private tag variants 2022-04-25 11:38:54 -04:00
Ayaz Hafiz
b6383f81ee
Numbers are opaques 2022-04-25 10:59:42 -04:00
Ayaz Hafiz
15a040ec87
Basic type inference and solving for abilities 
Note that is still pretty limited. We only permit opaque types to
implement abilities, abilities cannot have type arguments, and also no
other functions may depend on abilities
 2022-04-12 16:18:07 -04:00
ayazhafiz
059c324268 Error reporting for type mismatches involving opaques 2022-02-27 00:10:12 -05:00
ayazhafiz
8dc92ccd97 Second pass 2022-02-06 15:04:12 -05:00
Folkert
fbd26c598e provide target info to number alignment function 2022-01-26 17:19:53 +01:00
Folkert
3d1035a11f fix bug with lists and * type variables 2021-11-27 16:57:50 +01:00
Folkert
48368f4fba fix imports 2021-11-26 22:33:10 +01:00
Folkert
a3b3f5e970 Merge remote-tracking branch 'origin/trunk' into layout-soa 2021-11-26 21:41:25 +01:00
Folkert
6c1f3eedb7 dict and set layouts 2021-11-26 21:39:36 +01:00
Folkert
047514bf39 flesh out FunctionLayout and LambdaSet 2021-11-26 20:55:12 +01:00
Folkert
891c879439 most of the conversion 2021-11-25 23:27:59 +01:00
Folkert
b8eed51611 first attempt at layout soa 2021-11-25 22:09:20 +01:00