From d192302c2f630d34d7b2ae45730db30383427cd1 Mon Sep 17 00:00:00 2001 From: Tim Nelson Date: Sun, 17 Mar 2024 11:16:15 -0400 Subject: [PATCH] fix typo, old error test --- forge/tests/error/main.rkt | 2 +- forge/tests/forge/other/ast-errors.frg | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/forge/tests/error/main.rkt b/forge/tests/error/main.rkt index 42c3a1c9..464d6b9c 100644 --- a/forge/tests/error/main.rkt +++ b/forge/tests/error/main.rkt @@ -142,7 +142,7 @@ (list "expr-in-comprehension-condition.frg" #rx"expected a formula") (list "non-expr-in-comprehension-domain.frg" #rx"expected a singleton or relational expression") - (list "arity-in-comprehension-domain.frg" #rx"variable domain needs arity = 1") + (list "arity-in-comprehension-domain.frg" #rx"expected a singleton or relational expression of arity 1") (list "override-wrong-arity.frg" #rx"must have same arity") (list "override-no-overlap.frg" #rx"will never override anything") diff --git a/forge/tests/forge/other/ast-errors.frg b/forge/tests/forge/other/ast-errors.frg index c27f17ab..6d5bbe88 100644 --- a/forge/tests/forge/other/ast-errors.frg +++ b/forge/tests/forge/other/ast-errors.frg @@ -144,7 +144,7 @@ test expect { -- However, shadowing by name is disallowed within a single construct -- Regression test: shadowing within a *single* comprehension or quantifier would cause Pardinus to crash. internal_comp_variable_name_shadowing: {some {x: Person, x: Person | x.age = x.age}} is forge_error - internal_quant_variable_name_shadowing: {some x: Person, x: Person | x.age = x.age} is sat forge_error + internal_quant_variable_name_shadowing: {some x: Person, x: Person | x.age = x.age} is forge_error --------------------------------------------------------------------