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
15512 commits 378 branches 6 tags 227 MiB
Commit graph

94 commits

Author SHA1 Message Date
Richard Feldman
9bc1e320dc
Fix --release warnings 2022-05-15 21:50:49 -04:00
Ayaz Hafiz
710a10a29c
Check for invalid cycles after type solving recursive defs 
Disallow cycles that pass through a non-function value. Since we
evaluate eagerly, having one such cycle means there is at least one path
in the program that (likely) has unbounded recursion. Of course we can't
be certain (halting problem), but it's very likely, and avoids stuff
like #1926. Also, mono (as it's done today) won't work if things in a
cycle aren't functions.

Closes #1926
 2022-05-11 14:57:01 -04:00
Richard Feldman
df7df4ccf8
Merge branch 'trunk' into mfonism/rename-num-float-type-to-frac 2022-05-08 20:54:33 -04:00
Ayaz Hafiz
da604e978e Use SpecializationId to mark specializations 2022-05-08 15:08:19 -04:00
Folkert
29a9564d36
and yet another result wrapper 2022-05-08 17:16:24 +02:00
Folkert
2e9477e011
remove another result wrapper 2022-05-08 17:16:13 +02:00
Mfon Eti-mfon
85c622b169
Update symbols definition 2022-05-08 15:54:34 +01:00
Ayaz
dd51479764
Merge pull request #3009 from rtfeldman/list-map-ownership 
List map ownership
 2022-05-07 19:59:15 -04:00
Folkert
ec8b2cd8b1
get rid of num_cpus in favor of std:🧵:available_parallelism 2022-05-07 15:11:18 +02:00
Folkert
35bf66f650
hook up the max_threads flag 2022-05-07 14:18:28 +02:00
Folkert
2066999908
get the threading info into file.rs 2022-05-07 14:01:34 +02:00
Folkert de Vries
201d09d9bf
Merge branch 'trunk' into list-map-ownership 2022-05-07 11:59:51 +02:00
Richard Feldman
281602d664
Merge pull request #3003 from rtfeldman/threading 
Explicit single vs multithreading for build functions
 2022-05-06 15:07:33 -04:00
Ayaz Hafiz
77a1f644a4
Thread error message information for requires 2022-05-06 12:06:27 -04:00
Ayaz Hafiz
e8fbda44fc
Revert "Revert "Thread through symbols_from_requires"" 
This reverts commit 8ac1dfac1a.
 2022-05-06 12:06:27 -04:00
Folkert
8c3a00f7aa
thread through an updatemodeids 2022-05-06 15:41:29 +02:00
Folkert
cfa331be02
handle sorting of unique lists 2022-05-06 15:28:56 +02:00
Richard Feldman
8ac1dfac1a
Revert "Thread through symbols_from_requires" 
This reverts commit 1421aebcd3.
 2022-05-05 16:19:34 -04:00
Richard Feldman
1421aebcd3
Thread through symbols_from_requires 2022-05-05 16:18:47 -04:00
Richard Feldman
9b1fa699dc
The journey of a thousand miles begins with one clip 2022-05-05 14:42:36 -04:00
Richard Feldman
dd460fb818
Use single-threaded builds in tests 2022-05-05 14:42:36 -04:00
Richard Feldman
739e249a44
Allow roc check on Package-Config.roc 2022-05-04 21:36:48 -04:00
Richard Feldman
dd1e8cc193
[Shatner yell] CLIPPYYYYYYYYYYY!!!!!!! 2022-05-02 21:18:30 -04:00
Richard Feldman
e6b05d463e
Make PRELUDE_TYPES a constant 2022-05-02 19:29:39 -04:00
Richard Feldman
7e0265adc2
Add an explicit scope around a lock 2022-05-02 10:28:08 -04:00
Ayaz
2ab0bc1226
Merge pull request #2982 from rtfeldman/more-debug-flags 
Add more debug flags
 2022-05-01 14:30:33 -04:00
Ayaz
84b3ef5fd7
Merge pull request #2978 from rtfeldman/scope-bitmask 
Scope bitmask
 2022-05-01 12:26:14 -04:00
ayazhafiz
37ba70472f Add more debug flags 2022-05-01 12:25:03 -04:00
Ayaz
3197cd97ce
Merge pull request #2977 from rtfeldman/debug_flags 
Factor bespoke debug variables into debug_flags crate
 2022-04-30 18:16:06 -04:00
Folkert
a5ec269a4d
clippy 2022-04-30 21:06:34 +02:00
Folkert
76754e4d2a
use &str instead of Ident in some key places 2022-04-30 20:43:12 +02:00
Folkert
8fe3e24c8b
step 4: new scope with passing reporting tests 2022-04-30 00:51:32 +02:00
Ayaz Hafiz
9964f86a3d
Factor bespoke debug variables into debug_flags crate 2022-04-29 17:45:55 -04:00
Ayaz Hafiz
83c6c3a17d
Remove Lowercase from Alias and Opaque 2022-04-29 11:36:31 -04:00
Ayaz Hafiz
452b882f12
Remove unused alias types 2022-04-29 11:04:15 -04:00
Ayaz Hafiz
c225515a1b
Get rid of variable name on DelayedAlias 2022-04-29 10:55:29 -04:00
Folkert de Vries
4074088a5e
Merge pull request #2971 from rtfeldman/no-mono-exhaustiveness 
No more exhaustiveness checking in mono, nor mono errors
 2022-04-29 09:18:50 +02:00
Ayaz Hafiz
89757dc31f Remove MonoProblem 2022-04-28 20:34:04 -04:00
Ayaz Hafiz
907cbdc3a7 Compile fix 2022-04-28 20:34:04 -04:00
Folkert
99340e314c
remove clone of scope.ident_ids 2022-04-28 23:27:46 +02:00
Ayaz
98a3523702
Merge pull request #2961 from rtfeldman/improved-identids 
Improved identids
 2022-04-27 10:11:06 -04:00
Folkert
c31b796938
more types! 2022-04-26 20:10:29 +02:00
Folkert
af6c3231f3
Improved IdentIds 2022-04-25 23:15:57 +02:00
Richard Feldman
85e7969c2d
Replace references to "global tag" with "tag" 2022-04-25 17:04:34 -04:00
Ayaz Hafiz
55706ae5c4
Remove other references to private tags in code 2022-04-25 11:50:00 -04:00
Ayaz Hafiz
1ed9cf551a
Remove private tags from Ast 2022-04-25 11:20:37 -04:00
Ayaz Hafiz
b6383f81ee
Numbers are opaques 2022-04-25 10:59:42 -04:00
Folkert de Vries
2cc8e95198
Merge pull request #2901 from rtfeldman/vec-map 
VecMap
 2022-04-21 09:16:38 +02:00
Folkert
a1c0cdaeb1
make multi-threaded the default again 2022-04-21 00:50:05 +02:00
Folkert
35b560f14d
remove debug code 2022-04-21 00:47:55 +02:00