From 6d541a0cd14cbda6905774322c3f96db0015ab15 Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Sun, 22 Dec 2024 22:43:35 +0100 Subject: [PATCH] Fix more things. --- tests/issue1783.fut | 7 ++++--- tests/records-error4.fut | 2 +- tests/records-error7.fut | 2 +- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/tests/issue1783.fut b/tests/issue1783.fut index b585962c07..0b8e197910 100644 --- a/tests/issue1783.fut +++ b/tests/issue1783.fut @@ -1,8 +1,9 @@ -- == --- error: cannot match +-- error: constructor arguments -type surface = #asphere {curvature: f64} - | #sphere {curvature: f64} +type surface = + #asphere {curvature: f64} + | #sphere {curvature: f64} entry sag (surf: surface) : f64 = match surf diff --git a/tests/records-error4.fut b/tests/records-error4.fut index 7463fe7637..c21797bbc1 100644 --- a/tests/records-error4.fut +++ b/tests/records-error4.fut @@ -1,7 +1,7 @@ -- A record value must not have more fields than its corresponding -- type. -- == --- error: Unshared fields +-- error: unshared fields def main () = let r: {a: i32} = {a = 0, b = 0} diff --git a/tests/records-error7.fut b/tests/records-error7.fut index 3d98d992cd..122d539878 100644 --- a/tests/records-error7.fut +++ b/tests/records-error7.fut @@ -1,5 +1,5 @@ -- Specific error message on record field mismatches. -- == --- error: Unshared fields: c, d. +-- error: unshared fields: c, d. def f (v: {a: i32, b: i32, c: i32}) : {a: i32, b: i32, d: i32} = v