From ca4968ff3dcd7ffd86441092073e32b5f97e4ecb Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Fri, 5 Jul 2019 09:37:45 -0700 Subject: [PATCH] Fix test. The error message changed, but is still valid. We should really have only one way to say this, I made a ticket: #633 --- tests/issues/issue582.icry.stdout | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/tests/issues/issue582.icry.stdout b/tests/issues/issue582.icry.stdout index 54b7d5640..a28ea2ede 100644 --- a/tests/issues/issue582.icry.stdout +++ b/tests/issues/issue582.icry.stdout @@ -1,19 +1,19 @@ Loading module Cryptol [error] at :1:1--1:18: - `inf` is not finite. + Expected a finite type, but found `inf`. [error] at :1:1--1:18: - `inf` is not finite. + Expected a finite type, but found `inf`. [error] at :1:1--1:16: Unsolvable constraint: 0 >= 1 [error] at :1:1--1:18: - `inf` is not finite. + Expected a finite type, but found `inf`. [error] at :1:1--1:18: - `inf` is not finite. + Expected a finite type, but found `inf`. [error] at :1:1--1:16: Unsolvable constraint: 0 >= 1 @@ -28,15 +28,15 @@ Loading module Main the following constraints hold: • fin j arising from - use of partial type function /^ + use of partial type function (/^) at ./issue582.cry:1:7--1:21 • fin i arising from - use of partial type function /^ + use of partial type function (/^) at ./issue582.cry:1:7--1:21 • j >= 1 arising from - use of partial type function /^ + use of partial type function (/^) at ./issue582.cry:1:7--1:21 [error] at ./issue582.cry:5:1--5:11: Failed to validate user-specified signature. @@ -46,13 +46,13 @@ Loading module Main the following constraints hold: • fin j arising from - use of partial type function %^ + use of partial type function (%^) at ./issue582.cry:4:7--4:21 • fin i arising from - use of partial type function %^ + use of partial type function (%^) at ./issue582.cry:4:7--4:21 • j >= 1 arising from - use of partial type function %^ + use of partial type function (%^) at ./issue582.cry:4:7--4:21