Commit graph

666 commits

Author SHA1 Message Date
Richard Feldman
2da41be29f
Merge remote-tracking branch 'origin/main' into abilities-syntax 2023-08-10 20:36:01 -04:00
Anton-4
6eb5362383
minor error improvement
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2023-08-02 17:01:57 +02:00
shamsartem
dbd1100a20
Merge branch 'main' into main 2023-08-01 14:02:34 +02:00
Richard Feldman
071138dd9f
Revise nested interpolation error message 2023-07-29 21:13:05 -04:00
Richard Feldman
1ffadb7102
Update string interpolation tests 2023-07-29 18:20:49 -04:00
Richard Feldman
009e6f911a
Update string interpolation error message 2023-07-29 18:12:56 -04:00
Ayaz Hafiz
dac4d842d8
Fix types 2023-07-17 09:52:14 -05:00
Ayaz Hafiz
6014370b91
Initial support for erasure in tests 2023-07-12 13:53:51 -05: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
shamsartem
5fd7ff3986
Merge branch 'main' into main 2023-07-12 08:28:21 +02:00
Folkert
ef39bad7c6
auto clippy fixes 2023-07-10 18:27:08 +02:00
Artsiom Shamsutdzinau
a806ea1a5b
improve error message for <| operator non-existence 2023-07-07 17:44:39 +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
Kilian Vounckx
bf2c01554f
Give better error messages when provides is missing in header 2023-06-27 20:12:02 +02:00
Ayaz Hafiz
6e5ee5562e
Update tests 2023-06-22 14:32:05 -05:00
Anton-4
199a85a7dd
remove pending-snap file 2023-06-17 15:46:28 +02:00
Kilian Vounckx
c6d90e5c1d
Update typo error test 2023-06-17 15:40:42 +02:00
Bryce Miller
0132df9b5a
merge main 2023-06-10 15:04:25 -04: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
7328ecc3e7
remove accidental addition 2023-06-08 19:30:53 +10:00
Bryce Miller
e463ccf4a6
merge main 2023-06-07 20:36:54 -04: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
Bryce Miller
29561372de
merge main 2023-06-05 20:21:44 -04:00
Bryce Miller
cb08225bf0
| -> where 2023-06-05 20:19:00 -04:00
Fábio Beirão
3482bb0108
Adjust the conditional imports to the fact that wasm doesn't use https for packages 2023-06-05 10:50:06 +02:00
Fábio Beirão
f1a581f5c5
Apply clippy suggestions 2023-06-04 15:37:41 +02:00
Fábio Beirão
7e3190553c
Run cargo fmt --all 2023-06-04 14:20:30 +02:00
Luke Boswell
3a534727d5
fix test reporting 2023-06-04 18:19:43 +10:00
Fábio Beirão
ab320e161b
Add dependency on byte-unit (4.0.19) to be able to print bytes in human readable formats
Contributes to #5487
2023-06-02 17:48:43 +02:00
Fábio Beirão
200449511c
Apply textual review suggestions
Contributes to #5487
2023-06-02 17:24:10 +02:00
Fábio Beirão
0a0045675b
Add nice error message for Problem::InvalidUrl(UrlProblem::DownloadTooBig)
Contributes to #5487
2023-06-02 12:39:42 +02:00
Fábio Beirão
bf22a2520e
Add nice error message for Problem::InvalidUrl(UrlProblem::MisleadingCharacter)
Contributes to #5487
2023-06-02 12:25:37 +02:00
Fábio Beirão
3ba96709fa
Add nice error message for Problem::InvalidUrl(UrlProblem::MissingHttps)
Contributes to #5487
2023-06-02 12:11:13 +02:00
Fábio Beirão
b1321659c5
Add nice error message for Problem::InvalidUrl(UrlProblem::MissingHash)
Contributes to #5487
2023-06-02 12:05:22 +02:00
Fábio Beirão
8cd09b5210
Add nice error message for Problem::InvalidUrl(UrlProblem::InvalidFragment)
Contributes to #5487
2023-06-02 11:55:18 +02:00
Fábio Beirão
bab52edba4
Add nice error message for Problem::InvalidUrl(UrlProblem::MissingTarExt)
Contributes to #5487
2023-06-02 11:40:39 +02:00
Fábio Beirão
389a714f0e
Add nice error message for Problem::InvalidUrl(UrlProblem::InvalidExtensionSuffix)
Contributes to #5487
2023-06-02 11:40:38 +02:00
Fábio Beirão
449c58cc23
Add nice error message for Problem::HttpErr
Contributes to #5487
2023-06-02 11:40:37 +02:00
Fábio Beirão
9a75542a11
Add nice error message for Problem::FsExtraErr
Contributes to #5487
2023-06-02 11:40:36 +02:00
Fábio Beirão
1080269aaa
Add nice error message for Problem::IoErr
Contributes to #5487
2023-06-02 11:40:36 +02:00
Fábio Beirão
d4d26a545e
Add nice error message for Problem::InvalidContentHash
Contributes to #5487
2023-06-02 11:40:35 +02:00
Fábio Beirão
5306570a86
Remove the url_problem_intro_x functions
This approach did not scale to other error messages
Contributes to #5487
2023-06-02 11:40:34 +02:00
Fábio Beirão
281b044ed8
Add nice error message for Problem::MultipleEncodings
Contributes to #5487
2023-06-02 11:40:33 +02:00
Fábio Beirão
c5269e24b8
Add friendly error message for Problem::UnsupportedEncoding
Contributes to #5487
2023-06-02 11:40:33 +02:00
Fábio Beirão
273b7c07c1
Initial plumbing to be able to show https errors
Related to #5487
2023-06-02 11:40:32 +02:00
Bryce Miller
e514d0cb83
Define and use IMPLEMENTS const in roc_parse::keyword 2023-05-29 07:21:27 -04:00
Bryce Miller
9640fcb6d4
Fix reporting tests 2023-05-28 13:07:48 -04:00
Bryce Miller
edf969809e
alias_in_has_clause -> alias_in_implements_clause 2023-05-26 23:14:30 -04:00