language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 06:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Remove Nat from some compiler tests that use lists

Browse source
This commit is contained in:
Richard Feldman 2024-01-22 23:47:10 -05:00
parent 17ba3eddb4
commit 4a38d3a1af
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/test_mono/src/tests.rs
View file

@ -244,7 +244,7 @@ fn verify_procedures<'a>(
git add -u
git commit -S -m "update mono tests"
git push origin YOUR_BRANCH_NAME
"#
));
}
@ -975,7 +975,7 @@ fn rigids() {
r#"
app "test" provides [main] to "./platform"
swap : Nat, Nat, List a -> List a
swap : U64, U64, List a -> List a
swap = \i, j, list ->
when Pair (List.get list i) (List.get list j) is
Pair (Ok atI) (Ok atJ) ->
@ -2512,8 +2512,8 @@ fn issue_4772_weakened_monomorphic_destructure() {
#[mono_test]
fn weakening_avoids_overspecialization() {
// Without weakening of let-bindings, this program would force two specializations of
// `index` - to `Nat` and the default integer type, `I64`. The test is to ensure only one
// specialization, that of `Nat`, exists.
// `index` - to `U64` and the default integer type, `I64`. The test is to ensure only one
// specialization, that of `U64`, exists.
indoc!(
r#"
app "test" provides [main] to "./platform"