Richard Feldman
1ffadb7102
Update string interpolation tests
2023-07-29 18:20:49 -04:00
Ayaz Hafiz
44c4797d9a
Parameterize program solving on a FunctionKind
...
This new flag determines whether we should introduce a new kind to
represent lambda sets, or whether lambdas should be erased. The latter
is not yet implemented.
2023-07-12 13:53:50 -05:00
Folkert
ef39bad7c6
auto clippy fixes
2023-07-10 18:27:08 +02:00
Kiryl Dziamura
6031c0cc9f
Fix desugar step for pizza operator
2023-07-04 10:16:20 +02:00
Kilian Vounckx
3bc8a33668
Add missing provides error message test
2023-06-27 20:52:53 +02:00
Ayaz Hafiz
6e5ee5562e
Update tests
2023-06-22 14:32:05 -05:00
Kilian Vounckx
c6d90e5c1d
Update typo error test
2023-06-17 15:40:42 +02:00
Fábio Beirão
47a78a8f24
Fix failing test due to Num.min now being suggested for Num.if
...
Contributes to #5533
2023-06-09 17:30:53 +02:00
Luke Boswell
092676c4b7
Merge remote-tracking branch 'remote/main' into remove-json
2023-06-07 15:38:01 +10:00
Ajai Nelson
2e5fef5231
Improve error messages involving ignored variables
...
Fix #3987
2023-06-06 19:46:15 -04:00
Luke Boswell
3a534727d5
fix test reporting
2023-06-04 18:19:43 +10:00
Agustin Zubiaga
23db4a5e87
Update tests to new record builder syntax
2023-05-17 11:47:34 -03:00
Luke Boswell
4d4cfcf981
merge remote/main and update mono tests
2023-05-15 16:51:56 +10:00
Agustin Zubiaga
f94004d137
Parse builders without backtracking from records
2023-05-13 20:05:42 -03:00
Agustin Zubiaga
c3bcb88c5b
Special record builder error when applying opaque types
2023-05-11 20:20:35 -03:00
Agustin Zubiaga
71a2990e21
Tip replacing <- with : for static values
2023-05-09 23:37:24 -03:00
Agustin Zubiaga
d2a57112fd
Unapplied record builder error
2023-05-08 20:16:38 -03:00
Agustin Zubiaga
6670fbb1ab
Multiple record builder error
2023-05-08 19:26:47 -03:00
Luke Boswell
4f22b0747f
mono and update Json.fromUtf8 and Json.toUtf8 to Json.json
2023-04-21 10:57:48 +10:00
Ayaz Hafiz
dc9c5b13db
Introduce unannotated function arguments to the env as appropriate
2023-04-20 16:16:40 -05:00
Ayaz Hafiz
8b42300933
Add additional tests
2023-04-20 10:11:29 -05:00
Ayaz Hafiz
6df0caa6ac
Handle function arity checking in nested closures
2023-04-20 10:10:52 -05:00
Ayaz Hafiz
b46392311e
Catch functions typed with too few arguments
...
Closes #5264
2023-04-20 10:10:50 -05:00
Ayaz Hafiz
3b885ccf66
Improve error message when opaque wrapping a function is applied directly
...
Closes #5094
2023-04-12 10:06:27 -05:00
Ayaz Hafiz
19c0ebc10f
Fix reporting tests
2023-04-10 16:31:00 -05:00
Richard Feldman
d391982c33
Apply tag union diffs to recursive tag unions
2023-03-26 23:19:50 -04:00
Richard Feldman
389ec09451
Show ellipses for tag payload slots of same types
2023-03-26 21:43:13 -04:00
Richard Feldman
3013b9e113
Fix reporting edge case where both unions are open
2023-03-26 14:50:27 -04:00
Richard Feldman
21e14589b0
Update tests
2023-03-26 11:49:45 -04:00
Ayaz
1891df77b8
Merge pull request #5188 from roc-lang/i5177
...
Make sure openness constraint goes under tuples
2023-03-25 15:52:09 -05:00
Ayaz Hafiz
1b2ee9ad30
Make sure openness constraint goes under tuples
...
Closes #5177
2023-03-24 14:13:14 -05:00
Ayaz Hafiz
f4f9ae7a5d
Implement obligation checking of tuples for all abilities
2023-03-22 10:03:01 -05:00
Ju Liu
dfeabc5933
Use 'by accident' instead of 'on accident'
2023-02-18 15:42:34 +00:00
Joshua Warner
5a6be05ead
implement mono / lowering for tuples
2023-02-07 18:54:50 -08:00
Ayaz Hafiz
009607c55a
Handle FunctionOrTagUnion types in exhaustiveness checking
...
We should treat FunctionOrTagUnion types as tag unions for the purposes
of exhautiveness checking.
Closes #4994
2023-02-01 22:03:10 -06:00
Joshua Warner
31a4eb2bfd
Fix parsing of tuple accessors after an identifier - e.g. myIdent.2
2023-01-30 21:12:01 -08:00
Ayaz Hafiz
572a666780
No Encode/Decode for Nat
2023-01-27 17:16:10 -06:00
Ayaz Hafiz
2f74d0b1b9
Do not permit inferred-open-in-output-position extension variables to grow
...
Closes #4852
Closes #4845
2023-01-16 10:54:38 -06:00
Ayaz Hafiz
b8712bcb30
Weaken records in let-bindings
...
This change also means we must update the interface of `Dict.empty` and
`Set.empty` from
```
Dict.empty : Dict k v
```
to
```
Dict.empty : {} -> Dict k v
```
2023-01-14 15:33:51 +01:00
Folkert de Vries
e3a213c0dc
Merge pull request #4882 from roc-lang/weakening-3
...
Begin weakening let-bindings to non-function, non-number expressions
2023-01-14 15:32:27 +01:00
Ayaz Hafiz
b2cdddbdfb
Weaken lists
2023-01-12 10:02:20 -06:00
Richard Feldman
29f61dcfec
Update some reporting snapshots
2023-01-11 23:59:43 -05:00
Joshua Warner
94070e8ba6
Improve parsing of scalar literals
...
* Unify parsing of string literals and scalar literals, to (e.g.) ensure escapes are handled uniformly. Notably, this makes unicode escapes valid in scalar literals.
* Add a variety of custom error messages about specific failure cases of parsing string/scalar literals. For example, if we're expecting a string (e.g. a package name in the header) and the user tried using single quotes, give a clear message about that.
* Fix formatting of unicode escapes (they previously used {}, now correctly use () to match roc strings)
2023-01-07 15:12:52 -08:00
Joshua Warner
0da50a612d
Be more lenient with required indentation in collections
...
... and also remove a bunch of now-dead errors that can't be triggered.
2023-01-01 17:49:51 -08:00
Folkert
92da3973e7
remove argument from load_and_typecheck
2022-12-29 16:50:19 +01:00
Lunarmagpie
f932bb66a0
Add function binding to error message
2022-12-23 11:07:57 -05:00
Lunarmagpie
3265a786a5
make changes suggested by folkertdev
2022-12-23 11:01:50 -05:00
Lunarmagpie
db9c00ec1e
update docs to better explain -> operator
2022-12-22 21:00:58 -05:00
Folkert
d97fd98a33
parse error for dbg/expect final expressions
2022-12-16 22:47:53 +01:00
Brendan Hansknecht
d81be27be0
update call to List.range in reporting test
2022-12-04 20:19:02 -08:00
