Fix more things.

diku-dk · Dec 22, 2024 · 6d541a0 · 6d541a0
1 parent 845e340
commit 6d541a0
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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