From 5f269dd628dcd390d3c74cd81b8c0d90402e6b47 Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Wed, 10 Feb 2021 14:50:01 -0800 Subject: [PATCH] Update tests outputs --- tests/issues/issue322.icry.stdout | 5 +++-- tests/issues/issue845.icry.stdout | 2 +- tests/regression/tc-errors.icry.stdout | 5 +++-- 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/tests/issues/issue322.icry.stdout b/tests/issues/issue322.icry.stdout index 09f12758..7f97bf05 100644 --- a/tests/issues/issue322.icry.stdout +++ b/tests/issues/issue322.icry.stdout @@ -1,4 +1,5 @@ Loading module Cryptol -[error] at issue322.icry:1:5--1:10: - Named and positional type applications may not be mixed. +Parse error at issue322.icry:1:4--1:19 + Explicit type applications can only be applied to named values. + Unexpected: (split`{a = [3]}) diff --git a/tests/issues/issue845.icry.stdout b/tests/issues/issue845.icry.stdout index 6adfc6ff..57f9291c 100644 --- a/tests/issues/issue845.icry.stdout +++ b/tests/issues/issue845.icry.stdout @@ -6,7 +6,7 @@ Loading module Main [warning] at issue845.cry:1:9--1:24: Assuming m to have a numeric type -[error] at issue845.cry:2:1--2:18: +[error] at issue845.cry:2:1--2:37: Failed to validate user-specified signature. in the definition of 'Main::rfrac', at issue845.cry:2:1--2:6, we need to show that diff --git a/tests/regression/tc-errors.icry.stdout b/tests/regression/tc-errors.icry.stdout index 4acecfce..2c5dc64f 100644 --- a/tests/regression/tc-errors.icry.stdout +++ b/tests/regression/tc-errors.icry.stdout @@ -33,8 +33,9 @@ Loading module Cryptol Parse error at tc-errors.icry:6:8, unexpected: , -[error] at tc-errors.icry:7:1--7:5: - Named and positional type applications may not be mixed. +Parse error at tc-errors.icry:7:1--7:10 + Explicit type applications can only be applied to named values. + Unexpected: take`{1} [error] at tc-errors.icry:8:1--8:5: Type mismatch: