From 059074fe145982b89b5d78c80eba1629ff6337a9 Mon Sep 17 00:00:00 2001 From: Guillaume ALLAIS Date: Mon, 15 Feb 2021 09:56:48 +0000 Subject: [PATCH] [ test ] fix test suite output --- tests/idris2/perf005/expected | 16 ++++++++++------ tests/idris2/perror001/expected | 6 ++++-- tests/idris2/perror002/expected | 7 +++++-- tests/idris2/perror003/expected | 14 ++++++++++---- tests/idris2/perror004/expected | 6 ++++-- tests/idris2/perror005/expected | 7 +++++-- tests/idris2/perror006/expected | 7 +++++-- 7 files changed, 43 insertions(+), 20 deletions(-) diff --git a/tests/idris2/perf005/expected b/tests/idris2/perf005/expected index c7bde1fc5..bc396d653 100644 --- a/tests/idris2/perf005/expected +++ b/tests/idris2/perf005/expected @@ -15,23 +15,27 @@ Lambda.idr:62:3--88:9 Error: Couldn't parse declaration. Bad1.idr:3:1--3:2 - | + 1 | module Bad1 + 2 | 3 | data Bad = BadDCon (x : Nat) - | ^ + ^ 1/1: Building Bad2 (Bad2.idr) Error: Expected 'case', 'if', 'do', application or operator expression. Bad2.idr:3:13--3:14 - | + 1 | module Bad2 + 2 | 3 | badReturn : (whatever : Int) - | ^ + ^ 1/1: Building Bad3 (Bad3.idr) Error: Couldn't parse declaration. Bad3.idr:4:1--4:2 - | + 1 | module Bad3 + 2 | + 3 | badExpr : () 4 | badExpr (whatever : ()) - | ^ + ^ diff --git a/tests/idris2/perror001/expected b/tests/idris2/perror001/expected index 9bac3551b..ea25d1cef 100644 --- a/tests/idris2/perror001/expected +++ b/tests/idris2/perror001/expected @@ -2,7 +2,9 @@ Error: Bracket is not properly closed. PError.idr:4:7--4:8 - | + 1 | foo : Int -> Int + 2 | foo x = x + 3 | 4 | bar : (Int -> Int - | ^ + ^ diff --git a/tests/idris2/perror002/expected b/tests/idris2/perror002/expected index 87a7c6e9d..2fdf0fcbf 100644 --- a/tests/idris2/perror002/expected +++ b/tests/idris2/perror002/expected @@ -2,7 +2,10 @@ Error: Bracket is not properly closed. PError.idr:5:23--5:24 - | + 1 | foo : Int -> Int + 2 | foo x = x + 3 | + 4 | bar : Int -> Int 5 | bar x = let y = 42 in (y + x - | ^ + ^ diff --git a/tests/idris2/perror003/expected b/tests/idris2/perror003/expected index fe41cd68a..15f3bae24 100644 --- a/tests/idris2/perror003/expected +++ b/tests/idris2/perror003/expected @@ -2,15 +2,21 @@ Error: Bracket is not properly closed. PError.idr:5:17--5:18 - | + 1 | foo : Int -> Int + 2 | foo x = x + 3 | + 4 | bar : Int -> Int 5 | bar x = let y = (42 in y + x - | ^ + ^ 1/1: Building PError2 (PError2.idr) Error: Bracket is not properly closed. PError2.idr:5:18--5:19 - | + 1 | foo : Int -> Int + 2 | foo x = x + 3 | + 4 | bar : Int -> Int 5 | bar x = let y := (42 in y + x - | ^ + ^ diff --git a/tests/idris2/perror004/expected b/tests/idris2/perror004/expected index c7313e817..278c7eb34 100644 --- a/tests/idris2/perror004/expected +++ b/tests/idris2/perror004/expected @@ -2,7 +2,9 @@ Error: Wrong number of 'with' arguments. PError.idr:4:33--4:34 - | + 1 | foo : Nat -> Nat -> Bool + 2 | foo x y with (x == y) + 3 | foo x y | True with (y == x) 4 | foo x y | True | False | 10 = x - | ^ + ^ diff --git a/tests/idris2/perror005/expected b/tests/idris2/perror005/expected index 93537d390..a5225854e 100644 --- a/tests/idris2/perror005/expected +++ b/tests/idris2/perror005/expected @@ -2,7 +2,10 @@ Error: Expected 'in'. PError.idr:7:1--7:2 - | + 3 | + 4 | bar : Int -> Int + 5 | bar x = let y = 42 + 6 | 7 | baz : Int -> Int - | ^ + ^ diff --git a/tests/idris2/perror006/expected b/tests/idris2/perror006/expected index eeb6b3b57..6dcdfb6ee 100644 --- a/tests/idris2/perror006/expected +++ b/tests/idris2/perror006/expected @@ -2,7 +2,10 @@ Error: Expected 'else'. PError.idr:7:1--7:2 - | + 3 | + 4 | bar : Int -> Int + 5 | bar x = if x == 95 then 0 + 6 | 7 | baz : Int -> Int - | ^ + ^