From 22af290eae80388b93d33aaa6493c76dbd86259c Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Mon, 6 Dec 2021 16:41:35 -0800 Subject: [PATCH] Update test output --- tests/issues/T146.icry.stdout | 8 ++++---- tests/issues/issue1024.icry.stdout | 12 ++++++------ tests/issues/issue103.icry.stdout | 2 +- tests/issues/issue226.icry.stdout | 2 +- tests/issues/issue290v2.icry.stdout | 4 ++-- tests/issues/issue723.icry.stdout | 4 ++-- tests/regression/safety.icry.stdout | 2 +- tests/regression/tc-errors.icry.stdout | 8 ++++---- 8 files changed, 21 insertions(+), 21 deletions(-) diff --git a/tests/issues/T146.icry.stdout b/tests/issues/T146.icry.stdout index 3bdd0b554..b2e23786e 100644 --- a/tests/issues/T146.icry.stdout +++ b/tests/issues/T146.icry.stdout @@ -4,15 +4,15 @@ Loading module Main [error] at T146.cry:1:18--6:10: The type ?a is not sufficiently polymorphic. - It cannot depend on quantified variables: fv`912 + It cannot depend on quantified variables: fv`902 When checking type of field 'v0' where ?a is type argument 'fv' of 'Main::ec_v1' at T146.cry:4:19--4:24 - fv`912 is signature variable 'fv' at T146.cry:11:10--11:12 + fv`902 is signature variable 'fv' at T146.cry:11:10--11:12 [error] at T146.cry:5:19--5:24: The type ?b is not sufficiently polymorphic. - It cannot depend on quantified variables: fv`912 + It cannot depend on quantified variables: fv`902 When checking signature variable 'fv' where ?b is type argument 'fv' of 'Main::ec_v2' at T146.cry:5:19--5:24 - fv`912 is signature variable 'fv' at T146.cry:11:10--11:12 + fv`902 is signature variable 'fv' at T146.cry:11:10--11:12 diff --git a/tests/issues/issue1024.icry.stdout b/tests/issues/issue1024.icry.stdout index 71a37184e..cacee8313 100644 --- a/tests/issues/issue1024.icry.stdout +++ b/tests/issues/issue1024.icry.stdout @@ -13,20 +13,20 @@ Loading module Main Unused name: g [error] at issue1024a.cry:1:6--1:11: - Illegal kind assigned to type variable: f`909 + Illegal kind assigned to type variable: f`899 Unexpected: # -> * where - f`909 is signature variable 'f' at issue1024a.cry:1:12--1:24 + f`899 is signature variable 'f' at issue1024a.cry:1:12--1:24 [error] at issue1024a.cry:2:6--2:13: - Illegal kind assigned to type variable: f`910 + Illegal kind assigned to type variable: f`900 Unexpected: Prop where - f`910 is signature variable 'f' at issue1024a.cry:2:14--2:24 + f`900 is signature variable 'f' at issue1024a.cry:2:14--2:24 [error] at issue1024a.cry:4:13--4:49: - Illegal kind assigned to type variable: f`912 + Illegal kind assigned to type variable: f`902 Unexpected: # -> * where - f`912 is signature variable 'f' at issue1024a.cry:4:22--4:32 + f`902 is signature variable 'f' at issue1024a.cry:4:22--4:32 Loading module Cryptol Loading module Main 0xffff diff --git a/tests/issues/issue103.icry.stdout b/tests/issues/issue103.icry.stdout index effdc3da5..3aa4b7dd4 100644 --- a/tests/issues/issue103.icry.stdout +++ b/tests/issues/issue103.icry.stdout @@ -2,7 +2,7 @@ Loading module Cryptol Run-time error: undefined -- Backtrace -- -Cryptol::error called at Cryptol:1043:13--1043:18 +Cryptol::error called at Cryptol:1033:13--1033:18 Cryptol::undefined called at issue103.icry:1:9--1:18 Using exhaustive testing. Testing... ERROR for the following inputs: diff --git a/tests/issues/issue226.icry.stdout b/tests/issues/issue226.icry.stdout index 6752753b0..79e54a3b4 100644 --- a/tests/issues/issue226.icry.stdout +++ b/tests/issues/issue226.icry.stdout @@ -193,7 +193,7 @@ Symbols roundAway : {a} (Round a) => a -> Integer roundToEven : {a} (Round a) => a -> Integer sborrow : {n} (fin n, n >= 1) => [n] -> [n] -> Bit - scanl : {n, b, a} (b -> a -> b) -> b -> [n]a -> [1 + n]b + scanl : {n, a, b} (a -> b -> a) -> a -> [n]b -> [1 + n]a scanr : {n, a, b} (fin n) => (a -> b -> b) -> b -> [n]a -> [1 + n]b scarry : {n} (fin n, n >= 1) => [n] -> [n] -> Bit sext : {m, n} (fin m, m >= n, n >= 1) => [n] -> [m] diff --git a/tests/issues/issue290v2.icry.stdout b/tests/issues/issue290v2.icry.stdout index acf1d7522..a11988baa 100644 --- a/tests/issues/issue290v2.icry.stdout +++ b/tests/issues/issue290v2.icry.stdout @@ -4,9 +4,9 @@ Loading module Main [error] at issue290v2.cry:2:1--2:19: Unsolved constraints: - • n`909 == 1 + • n`899 == 1 arising from checking a pattern: type of 1st argument of Main::minMax at issue290v2.cry:2:8--2:11 where - n`909 is signature variable 'n' at issue290v2.cry:1:11--1:12 + n`899 is signature variable 'n' at issue290v2.cry:1:11--1:12 diff --git a/tests/issues/issue723.icry.stdout b/tests/issues/issue723.icry.stdout index 49332bac7..bbf06f633 100644 --- a/tests/issues/issue723.icry.stdout +++ b/tests/issues/issue723.icry.stdout @@ -10,9 +10,9 @@ Loading module Main assuming • fin k the following constraints hold: - • k == n`909 + • k == n`899 arising from matching types at issue723.cry:7:17--7:19 where - n`909 is signature variable 'n' at issue723.cry:1:6--1:7 + n`899 is signature variable 'n' at issue723.cry:1:6--1:7 diff --git a/tests/regression/safety.icry.stdout b/tests/regression/safety.icry.stdout index 05731e84b..1805f17a3 100644 --- a/tests/regression/safety.icry.stdout +++ b/tests/regression/safety.icry.stdout @@ -3,7 +3,7 @@ Counterexample (\x -> assert x "asdf" "asdf") False ~> ERROR Run-time error: asdf -- Backtrace -- -Cryptol::error called at Cryptol:1051:41--1051:46 +Cryptol::error called at Cryptol:1041:41--1041:46 Cryptol::assert called at safety.icry:3:14--3:20 ::it called at safety.icry:3:7--3:37 Counterexample diff --git a/tests/regression/tc-errors.icry.stdout b/tests/regression/tc-errors.icry.stdout index 93ecff11a..39928dd37 100644 --- a/tests/regression/tc-errors.icry.stdout +++ b/tests/regression/tc-errors.icry.stdout @@ -83,19 +83,19 @@ Loading module Main [error] at tc-errors-5.cry:2:5--2:7: Inferred type is not sufficiently polymorphic. - Quantified variable: a`909 + Quantified variable: a`899 cannot match type: [0]?a When checking the type of 'Main::f' where ?a is type of sequence member at tc-errors-5.cry:2:5--2:7 - a`909 is signature variable 'a' at tc-errors-5.cry:1:6--1:7 + a`899 is signature variable 'a' at tc-errors-5.cry:1:6--1:7 Loading module Cryptol Loading module Main [error] at tc-errors-6.cry:4:7--4:8: The type ?a is not sufficiently polymorphic. - It cannot depend on quantified variables: b`913 + It cannot depend on quantified variables: b`903 When checking the type of 'g' where ?a is the type of 'x' at tc-errors-6.cry:1:3--1:4 - b`913 is signature variable 'b' at tc-errors-6.cry:3:8--3:9 + b`903 is signature variable 'b' at tc-errors-6.cry:3:8--3:9