support 128-bit literals

This commit is contained in:
Folkert 2023-02-26 15:11:49 +01:00
parent 9cb2c993f1
commit f1fa014524
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 37 additions and 17 deletions

View file

@ -19,11 +19,11 @@ fn nat_alias() {
assert_evals_to!(
indoc!(
r#"
i : Num.Nat
i = 1
i : Num.Nat
i = 1
i
"#
i
"#
),
1,
usize
@ -31,16 +31,16 @@ fn nat_alias() {
}
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm"))]
#[cfg(any(feature = "gen-llvm", feature = "gen-wasm", feature = "gen-dev"))]
fn i128_signed_int_alias() {
assert_evals_to!(
indoc!(
r#"
i : I128
i = 128
i : I128
i = 128
i
"#
i
"#
),
128,
i128
@ -71,11 +71,11 @@ fn i32_signed_int_alias() {
assert_evals_to!(
indoc!(
r#"
i : I32
i = 32
i : I32
i = 32
i
"#
i
"#
),
32,
i32