From 9737f863a66b29fdca74ec04f7c75c77f7528d3f Mon Sep 17 00:00:00 2001 From: Guillaume ALLAIS Date: Sat, 23 May 2020 13:25:19 +0100 Subject: [PATCH] [ typo ] in test coverage007 --- tests/idris2/coverage007/eq.idr | 2 +- tests/idris2/coverage007/expected | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/idris2/coverage007/eq.idr b/tests/idris2/coverage007/eq.idr index 833f77a19..8058eb305 100644 --- a/tests/idris2/coverage007/eq.idr +++ b/tests/idris2/coverage007/eq.idr @@ -27,4 +27,4 @@ badeq : (x : Nat) -> (y : Nat) -> (S (S x) = S y) -> Nat badeq x y p impossible badeqL : (xs : List a) -> (ys : List a) -> (x :: xs = x :: y :: ys) -> Nat -badeql xs ys p impossible +badeqL xs ys p impossible diff --git a/tests/idris2/coverage007/expected b/tests/idris2/coverage007/expected index c140a4253..0223f4751 100644 --- a/tests/idris2/coverage007/expected +++ b/tests/idris2/coverage007/expected @@ -1,3 +1,3 @@ 1/1: Building eq (eq.idr) eq.idr:27:1--29:1:badeq x y p is not a valid impossible case -eq.idr:30:1--31:1:No type declaration for Main.badeql +eq.idr:30:1--31:1:badeqL xs ys p is not a valid impossible case