From eea1e27245ecf50f8bb870407eece82950a2dd32 Mon Sep 17 00:00:00 2001 From: Brian Campbell Date: Fri, 15 Dec 2023 14:03:49 +0000 Subject: [PATCH] Update test error output --- test/typecheck/pass/bind_typ_var/v1.expect | 2 +- test/typecheck/pass/exist_synonym/v3.expect | 2 +- test/typecheck/pass/exist_synonym/v4.expect | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/test/typecheck/pass/bind_typ_var/v1.expect b/test/typecheck/pass/bind_typ_var/v1.expect index 7e98ab755..02a58a002 100644 --- a/test/typecheck/pass/bind_typ_var/v1.expect +++ b/test/typecheck/pass/bind_typ_var/v1.expect @@ -2,4 +2,4 @@ pass/bind_typ_var/v1.sail:9.11-29: 9 | let v as vector('len, _, _) = mk_vector ();  | ^----------------^ -  | Couldn't bind type vector('_v, bit) with vector('len, _, _) +  | Couldn't bind type vector('_#v, bit) with vector('len, _, _) diff --git a/test/typecheck/pass/exist_synonym/v3.expect b/test/typecheck/pass/exist_synonym/v3.expect index c6fccc49a..4aecd8c57 100644 --- a/test/typecheck/pass/exist_synonym/v3.expect +++ b/test/typecheck/pass/exist_synonym/v3.expect @@ -2,4 +2,4 @@ pass/exist_synonym/v3.sail:9.38-47: 9 |val test : forall 'n, 0 <= 'n <= 100. regno('n) -> unit  | ^-------^ -  | Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= 'n & 'n <= 100), (0 <= '_x & '_x <= 8), (0 <= '_x#0 & '_x#0 <= 8) +  | Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= 'n & 'n <= 100), (0 <= '_#x & '_#x <= 8), (0 <= '_#x#0 & '_#x#0 <= 8) diff --git a/test/typecheck/pass/exist_synonym/v4.expect b/test/typecheck/pass/exist_synonym/v4.expect index 172ed223c..f9711cd3c 100644 --- a/test/typecheck/pass/exist_synonym/v4.expect +++ b/test/typecheck/pass/exist_synonym/v4.expect @@ -2,4 +2,4 @@ pass/exist_synonym/v4.sail:9.35-44: 9 |val test : forall 'n, 0 <= 2 <= 4. regno('n) -> unit  | ^-------^ -  | Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= '_x & '_x <= 8), (0 <= '_x#0 & '_x#0 <= 8) +  | Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= '_#x & '_#x <= 8), (0 <= '_#x#0 & '_#x#0 <= 8)