Skip to content

Commit

Permalink
Update expected test outputs with unfolded private type synonyms.
Browse files Browse the repository at this point in the history
This behavior was intentionally changed by the fix for #485.
  • Loading branch information
Brian Huffman committed Sep 23, 2020
1 parent 13515f3 commit 2af6893
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion tests/issues/issue177.icry.stdout
Original file line number Diff line number Diff line change
Expand Up @@ -7,4 +7,4 @@ Loading module issue177
w : Byte
x : Word16
y : B::Word32
z : issue177C::Word64
z : [64]
4 changes: 2 additions & 2 deletions tests/regression/float.icry.stdout
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down

0 comments on commit 2af6893

Please sign in to comment.