Update expected test outputs with unfolded private type synonyms.

This behavior was intentionally changed by the fix for #485.
GaloisInc · Sep 23, 2020 · 02df929 · 02df929
1 parent d7104a5
commit 02df929
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tests/issues/issue177.icry.stdout b/tests/issues/issue177.icry.stdout
@@ -7,4 +7,4 @@ Loading module issue177
 w : Byte
 x : Word16
 y : B::Word32
-z : issue177C::Word64
+z : [64]
diff --git a/tests/regression/float.icry.stdout b/tests/regression/float.icry.stdout
@@ -76,7 +76,7 @@ IEEE-754 floating point numbers.
         arising from
         use of expression fraction
         at <interactive>:1:1--1:6
-    • Reason: 5/1 cannot be represented in FloatTests::Small
+    • Reason: 5/1 cannot be represented in Float 3 2
 0x1.3p0
 0x2.0p-4
 0x2.0p-4
@@ -88,7 +88,7 @@ IEEE-754 floating point numbers.
         arising from
         use of literal or demoted expression
         at <interactive>:1:1--1:2
-    • Reason: 7 cannot be represented in FloatTests::Small
+    • Reason: 7 cannot be represented in Float 3 2
 "-- NaN------------------------------------------------------------------------"
 
     fpNaN : {e, p} (ValidFloat e p) => Float e p