language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
19685 commits 373 branches 6 tags 224 MiB
Commit graph

2159 commits

Author SHA1 Message Date
Richard Feldman
e9f162c916
Merge pull request #4088 from roc-lang/dependabot/cargo/itertools-0.10.5 
Bump itertools from 0.10.3 to 0.10.5
 2022-09-21 12:20:57 -07:00
Ayaz
f4e77a9e38
Merge pull request #4090 from roc-lang/i4084 
Properly import builtin modules in platforms
 2022-09-21 14:01:01 -05:00
Ayaz
211c297230
Merge pull request #4041 from KilianVounckx/opaque-bool 
Opaque bool
 2022-09-21 11:15:41 -05:00
Ayaz Hafiz
c0fc2fdb29
Do not qualify builtin modules with package shorthand when loading 2022-09-21 09:46:40 -05:00
Folkert
107f4d3f6c
remove itertools dependency 2022-09-21 12:55:41 +02:00
Folkert de Vries
cc202a4cf9
Merge pull request #4082 from roc-lang/update-cli-platform-unreachables 
Support unification with uninhabited tag variants in more places
 2022-09-21 12:18:38 +02:00
dependabot[bot]
d8441704d6
Bump itertools from 0.10.3 to 0.10.5 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.3 to 0.10.5.
- [Release notes](https://github.com/rust-itertools/itertools/releases)
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/commits)

---
updated-dependencies:
- dependency-name: itertools
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-21 10:16:10 +00:00
Anton-4
34bc670ffd
Merge pull request #4061 from roc-lang/dependabot/cargo/js-sys-0.3.60 
Bump js-sys from 0.3.59 to 0.3.60
 2022-09-21 12:14:39 +02:00
Folkert de Vries
a74f5d9366
Merge pull request #4076 from roc-lang/collapse-void-2 
Unwrap layouts containing void layouts as newtypes
 2022-09-21 00:13:56 +02:00
Ayaz
362dadc7e9
Merge pull request #4073 from roc-lang/i4068 
Construct exhaustiveness branches with condition, not branch, variable
 2022-09-20 17:03:33 -05:00
Ayaz Hafiz
c430939432
Fix reporting tests 2022-09-20 15:51:04 -05:00
Ayaz Hafiz
18fe355863
Update repl expect 2022-09-20 15:26:55 -05:00
Ayaz Hafiz
0bcbc065c2
Update wasm-str tests 2022-09-20 14:53:46 -05:00
Ayaz Hafiz
d88452e3d2
Update parse tests 2022-09-20 14:45:52 -05:00
Ayaz Hafiz
fd7b4ec9fc
Turn off gen-dev test for now 2022-09-20 14:42:09 -05:00
Ayaz Hafiz
b72ee8a68e
Attempt bool true/false impl in dev backend 2022-09-20 14:42:09 -05:00
Ayaz Hafiz
e3c91e1d4d
Can tests 2022-09-20 14:42:09 -05:00
Ayaz Hafiz
baa86e283e
repl tests 2022-09-20 14:42:09 -05:00
Ayaz Hafiz
10dffe8691
Unused import 2022-09-20 14:42:09 -05:00
Ayaz Hafiz
3d4313efbf
Update reporting tests 2022-09-20 14:42:09 -05:00
Ayaz Hafiz
b3167ad49b
Clippy 2022-09-20 14:42:08 -05:00
Ayaz Hafiz
0abfca401a
Update mono tests 2022-09-20 14:42:08 -05:00
Ayaz Hafiz
447e1492e1
Work around symbol specializations not getting captured 2022-09-20 14:42:08 -05:00
Ayaz Hafiz
b797e9c0c8
Admit non-trivial holes 2022-09-20 14:42:08 -05:00
kilianv
222f0e8870
Fix typo 2022-09-20 14:42:08 -05:00
kilianv
08c238ff27
Generate new files in test_mono after changing to opaque bools 2022-09-20 14:42:05 -05:00
kilianv
49319a2ffe
Update Bool documentation to opaque types 2022-09-20 14:42:04 -05:00
kilianv
610c529ba8
Update roc files to use new opaque bools 2022-09-20 14:42:04 -05:00
kilianv
9717747a54
Update tests 
not all tests pass yet. Will look at them with Ayaz.
 2022-09-20 14:42:03 -05:00
kilianv
9a168ecba3
Change error reporting for bools 2022-09-20 14:42:02 -05:00
kilianv
6dbebd7834
Update Bool to be opaque 2022-09-20 14:42:01 -05:00
Ayaz Hafiz
412c73c54c
Add test cases for uninhabited variant collapsing with destructure patterns 
Closes #4080
 2022-09-20 14:22:40 -05:00
Ayaz Hafiz
f96c825aa4
Allow uninhabited type extension to happen on either unification side 2022-09-20 14:20:47 -05:00
Ayaz Hafiz
b0598ef817
Simplify unification with uninhabited tags to happen anytime tags are uninhabited 
I believe this is safe! No need to gate it behind a mode.
 2022-09-20 14:13:55 -05:00
Ayaz Hafiz
7f54c0fd94
FIx gen-wasm tests 2022-09-20 11:38:23 -05:00
Brian Hicks
74552f0bac
Merge pull request #4074 from roc-lang/dict-umentation 
document why Dict is the way it is
 2022-09-20 09:58:35 -05:00
Richard Feldman
a237c5c0fb
Merge pull request #4071 from roc-lang/cli-program 
Program.roc in CLI platform
 2022-09-20 07:11:38 -07:00
Anton-4
b1c237851d
Merge pull request #4078 from roc-lang/fix_benchmarks 
Fix benchmarks
 2022-09-20 16:06:43 +02:00
Ayaz Hafiz
77fbc0189e
Eliminate unnecessary branch in List.roc 2022-09-20 08:43:08 -05:00
Ayaz Hafiz
2f7020aa31
Eliminate voided branches only after resolving their bodies' specializations 2022-09-20 08:35:10 -05:00
Brian Hicks
9d6b27e23c
format references for automatic links 
Co-authored-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>
Signed-off-by: Brian Hicks <brian@brianthicks.com>
 2022-09-20 07:48:38 -05:00
Brian Hicks
c6235f8c76
grammar ✨ 
Co-authored-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>
Signed-off-by: Brian Hicks <brian@brianthicks.com>
 2022-09-20 07:48:11 -05:00
Anton-4
49f7ecf551
fixed benchmarks 2022-09-20 14:30:27 +02:00
Richard Feldman
b6157e76b8
Fix type mismatch in exit code 2022-09-19 21:12:48 -04:00
Richard Feldman
593bd02cb9
Make RocDict FFI-safe 2022-09-19 21:12:41 -04:00
Richard Feldman
aa6d29fbb1
Update CLI examples and tests to use Program 2022-09-19 20:06:29 -04:00
Ayaz
da75f55aea
Merge pull request #4069 from roc-lang/exhaustiveness-check-uninhabited 
Don't require pattern matching branches that are uninhabited
 2022-09-19 16:57:38 -05:00
Ayaz Hafiz
f41936d5e5
Unwrap layouts containing void layouts as newtypes 
Addresses the attempt to do so in https://github.com/roc-lang/roc/pull/3465

Co-authored-by: Folkert <folkert@folkertdev.nl>
 2022-09-19 16:50:49 -05:00
Folkert
639c1e5fa3
get rid of UnitWithArguments 2022-09-19 16:49:55 -05:00
Brian Hicks
3f1f90dce2
document why Dict is the way it is 2022-09-19 14:50:25 -05:00