From 2af68937243a197e36a30cb47ca38d8f2e05b6bd Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Wed, 23 Sep 2020 00:19:02 -0700 Subject: [PATCH] Update expected test outputs with unfolded private type synonyms. This behavior was intentionally changed by the fix for #485. --- tests/issues/issue177.icry.stdout | 2 +- tests/regression/float.icry.stdout | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/issues/issue177.icry.stdout b/tests/issues/issue177.icry.stdout index d920524d8..2f727d965 100644 --- 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 index e9d538957..e9bc098e0 100644 --- 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 :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 :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