From 8f2e602cada9141b653802cf1084b9bdfd6e0d06 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Fri, 13 May 2016 22:48:03 +0200 Subject: refactoring & fix build --- testdata/language-features/guard/guard01.out | 8 ++++---- testdata/language-features/guard/guard02.reject.out | 12 ++++++------ testdata/language-features/guard/guard03.out | 16 ++++++++-------- testdata/language-features/guard/guard04.out | 12 ++++++------ testdata/language-features/guard/guard05.reject.out | 12 ++++++------ testdata/language-features/guard/guard06.out | 4 ++-- testdata/language-features/guard/guard07.out | 16 ++++++++-------- testdata/language-features/guard/guard08.out | 16 ++++++++-------- testdata/language-features/guard/guard09.out | 16 ++++++++-------- testdata/language-features/guard/guard10.reject.out | 4 ++-- testdata/language-features/guard/guard11.out | 12 ++++++------ testdata/language-features/guard/guard12.reject.out | 8 ++++---- testdata/language-features/guard/guard13.out | 12 ++++++------ testdata/language-features/guard/guard14.out | 14 +++++++------- testdata/language-features/guard/guard15.out | 14 +++++++------- testdata/language-features/guard/guard16.out | 16 ++++++++-------- 16 files changed, 96 insertions(+), 96 deletions(-) (limited to 'testdata/language-features/guard') diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out index 45729a6c..79091e71 100644 --- a/testdata/language-features/guard/guard01.out +++ b/testdata/language-features/guard/guard01.out @@ -5,11 +5,11 @@ value = _lhs value (case'Bool (\(_ :: _) -> _) (_rhs undefined) (_rhs ()) True) value :: () value = _rhs () ------------ tooltips -guard01.lc 1:1-1:6 +1:1-1:6 () -guard01.lc 1:9-1:13 +1:9-1:13 Bool -guard01.lc 1:9-1:18 +1:9-1:18 () -guard01.lc 1:16-1:18 +1:16-1:18 () \ No newline at end of file diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out index 9b6a2e7a..8b40594b 100644 --- a/testdata/language-features/guard/guard02.reject.out +++ b/testdata/language-features/guard/guard02.reject.out @@ -2,7 +2,7 @@ type error: can not unify String with () -in guard02.reject.lc:2:12: +in ./testdata/language-features/guard/guard02.reject.lc:2:12: | True = () ^^ ------------ trace @@ -10,15 +10,15 @@ in guard02.reject.lc:2:12: String with () -in guard02.reject.lc:2:12: +in ./testdata/language-features/guard/guard02.reject.lc:2:12: | True = () ^^ ------------ tooltips -guard02.reject.lc 2:12-2:14 +2:12-2:14 () -guard02.reject.lc 3:5-3:10 +3:5-3:10 Bool -guard02.reject.lc 3:5-3:15 +3:5-3:15 String -guard02.reject.lc 3:13-3:15 +3:13-3:15 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out index 7885a6f1..4560a41e 100644 --- a/testdata/language-features/guard/guard03.out +++ b/testdata/language-features/guard/guard03.out @@ -12,19 +12,19 @@ value value :: String value = _rhs "True" ------------ tooltips -guard03.lc 1:1-1:6 +1:1-1:6 String -guard03.lc 2:5-2:9 +2:5-2:9 Bool -guard03.lc 2:5-3:20 +2:5-3:20 String -guard03.lc 2:12-2:18 +2:12-2:18 String -guard03.lc 2:12-3:20 +2:12-3:20 Bool -> String -guard03.lc 3:5-3:10 +3:5-3:10 Bool -guard03.lc 3:5-3:20 +3:5-3:20 String -guard03.lc 3:13-3:20 +3:13-3:20 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out index ca03fda8..012104a0 100644 --- a/testdata/language-features/guard/guard04.out +++ b/testdata/language-features/guard/guard04.out @@ -6,15 +6,15 @@ value value :: String value = _rhs "True" ------------ tooltips -guard04.lc 1:1-1:6 +1:1-1:6 String -guard04.lc 2:5-2:9 +2:5-2:9 Bool -guard04.lc 2:5-3:24 +2:5-3:24 String -guard04.lc 2:12-2:18 +2:12-2:18 String -guard04.lc 2:12-3:24 +2:12-3:24 Bool -> String -guard04.lc 3:17-3:24 +3:17-3:24 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index 4bd522c3..e424e7d1 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out @@ -1,24 +1,24 @@ type error: can not unify - 'Internals.lc:63:6: + <>/Internals.lc:63:6: data Bool = False | True ^^^^ with () -in guard05.reject.lc:1:9: +in ./testdata/language-features/guard/guard05.reject.lc:1:9: value | () = "wrong" ^^ ------------ trace !type error: can not unify - 'Internals.lc:63:6: + <>/Internals.lc:63:6: data Bool = False | True ^^^^ with () -in guard05.reject.lc:1:9: +in ./testdata/language-features/guard/guard05.reject.lc:1:9: value | () = "wrong" ^^ ------------ tooltips -guard05.reject.lc 1:9-1:11 +1:9-1:11 () -guard05.reject.lc 1:14-1:21 +1:14-1:21 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out index a3a9c465..861f0958 100644 --- a/testdata/language-features/guard/guard06.out +++ b/testdata/language-features/guard/guard06.out @@ -5,7 +5,7 @@ value = _lhs value (_rhs ()) value :: () value = _rhs () ------------ tooltips -guard06.lc 1:1-1:6 +1:1-1:6 () -guard06.lc 1:21-1:23 +1:21-1:23 () \ No newline at end of file diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out index 5aa760b0..9798e8fb 100644 --- a/testdata/language-features/guard/guard07.out +++ b/testdata/language-features/guard/guard07.out @@ -12,19 +12,19 @@ value value :: String value = _rhs "True" ------------ tooltips -guard07.lc 1:1-1:6 +1:1-1:6 String -guard07.lc 1:7-1:11 +1:7-1:11 Bool -guard07.lc 1:7-2:20 +1:7-2:20 String -guard07.lc 1:12-1:18 +1:12-1:18 String -guard07.lc 1:12-2:20 +1:12-2:20 Bool -> String -guard07.lc 2:7-2:12 +2:7-2:12 Bool -guard07.lc 2:7-2:20 +2:7-2:20 String -guard07.lc 2:13-2:20 +2:13-2:20 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index 1a4835fa..420591e9 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out @@ -12,19 +12,19 @@ value value :: String value = _rhs "True" ------------ tooltips -guard08.lc 1:1-1:6 +1:1-1:6 String -guard08.lc 1:7-1:11 +1:7-1:11 Bool -guard08.lc 1:7-1:32 +1:7-1:32 String -guard08.lc 1:12-1:18 +1:12-1:18 String -guard08.lc 1:12-1:32 +1:12-1:32 Bool -> String -guard08.lc 1:19-1:24 +1:19-1:24 Bool -guard08.lc 1:19-1:32 +1:19-1:32 String -guard08.lc 1:25-1:32 +1:25-1:32 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out index bb429584..fd7ab9c5 100644 --- a/testdata/language-features/guard/guard09.out +++ b/testdata/language-features/guard/guard09.out @@ -12,19 +12,19 @@ value value :: String value = _rhs "True" ------------ tooltips -guard09.lc 1:1-1:6 +1:1-1:6 String -guard09.lc 1:7-1:11 +1:7-1:11 Bool -guard09.lc 1:7-2:16 +1:7-2:16 String -guard09.lc 1:12-1:18 +1:12-1:18 String -guard09.lc 1:12-2:16 +1:12-2:16 Bool -> String -guard09.lc 2:3-2:8 +2:3-2:8 Bool -guard09.lc 2:3-2:16 +2:3-2:16 String -guard09.lc 2:9-2:16 +2:9-2:16 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard10.reject.out b/testdata/language-features/guard/guard10.reject.out index 54362d2a..75235ae7 100644 --- a/testdata/language-features/guard/guard10.reject.out +++ b/testdata/language-features/guard/guard10.reject.out @@ -1,3 +1,3 @@ -testdata/language-features/guard/guard10.reject.lc:2:1: +./testdata/language-features/guard/guard10.reject.lc:2:1: unexpected '|' -expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", ''', backquoted ident, end of input, expression, lambda, lhs, literal, lowercase ident, operator definition, pattern, rest of expression, symbols, typed ident, or uppercase ident +expecting "class", "data", "infix", "infixl", "infixr", "instance", "type", ''', backquoted ident, end of input, expression, lambda, lhs, literal, lowercase ident, operator definition, pattern, rest of expression, symbols, typed ident, or uppercase ident \ No newline at end of file diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out index 5331cf7a..0d6c951d 100644 --- a/testdata/language-features/guard/guard11.out +++ b/testdata/language-features/guard/guard11.out @@ -8,15 +8,15 @@ fun fun :: Bool -> String fun = \a -> case'Bool (\_ -> 'String) (_rhs "False") (_rhs "True") a ------------ tooltips -guard11.lc 1:1-1:4 +1:1-1:4 Bool -> String -guard11.lc 2:5-2:6 +2:5-2:6 _b -guard11.lc 2:5-3:24 +2:5-3:24 String -guard11.lc 2:9-2:15 +2:9-2:15 String -guard11.lc 2:9-3:24 +2:9-3:24 Bool -> String -guard11.lc 3:17-3:24 +3:17-3:24 String \ No newline at end of file diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out index 62e7ef65..c6c21a4f 100644 --- a/testdata/language-features/guard/guard12.reject.out +++ b/testdata/language-features/guard/guard12.reject.out @@ -2,7 +2,7 @@ type error: can not unify Char with () -in guard12.reject.lc:1:13: +in ./testdata/language-features/guard/guard12.reject.lc:1:13: fun x | x = () | otherwise = 'a' ^^ ------------ trace @@ -10,11 +10,11 @@ fun x | x = () | otherwise = 'a' Char with () -in guard12.reject.lc:1:13: +in ./testdata/language-features/guard/guard12.reject.lc:1:13: fun x | x = () | otherwise = 'a' ^^ ------------ tooltips -guard12.reject.lc 1:13-1:15 +1:13-1:15 () -guard12.reject.lc 1:30-1:33 +1:30-1:33 Char \ No newline at end of file diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out index 9926ad37..2d379878 100644 --- a/testdata/language-features/guard/guard13.out +++ b/testdata/language-features/guard/guard13.out @@ -5,15 +5,15 @@ fun = _lhs fun \(a :: _) -> case'Bool (\(_ :: _) -> _) (_rhs ()) (_rhs ()) a fun :: Bool -> () fun = \a -> case'Bool (\_ -> ' ()) (_rhs ()) (_rhs ()) a ------------ tooltips -guard13.lc 1:1-1:4 +1:1-1:4 Bool -> () -guard13.lc 1:7-1:8 +1:7-1:8 _b -guard13.lc 1:7-1:24 +1:7-1:24 () -guard13.lc 1:9-1:11 +1:9-1:11 () -guard13.lc 1:9-1:24 +1:9-1:24 Bool -> () -guard13.lc 1:22-1:24 +1:22-1:24 () \ No newline at end of file diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out index 800e6870..86d74f1b 100644 --- a/testdata/language-features/guard/guard14.out +++ b/testdata/language-features/guard/guard14.out @@ -9,17 +9,17 @@ value value :: () value = _rhs () ------------ tooltips -guard14.lc 1:1-1:6 +1:1-1:6 () -guard14.lc 1:17-1:21 +1:17-1:21 Bool -guard14.lc 1:17-2:31 +1:17-2:31 () -guard14.lc 1:24-1:26 +1:24-1:26 () -guard14.lc 1:24-2:31 +1:24-2:31 Bool -> () -guard14.lc 2:29-2:31 +2:29-2:31 () -guard14.lc 3:12-3:14 +3:12-3:14 () \ No newline at end of file diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out index 316411db..05dbbba2 100644 --- a/testdata/language-features/guard/guard15.out +++ b/testdata/language-features/guard/guard15.out @@ -9,17 +9,17 @@ value value :: () value = _rhs () ------------ tooltips -guard15.lc 1:1-1:6 +1:1-1:6 () -guard15.lc 1:9-1:11 +1:9-1:11 () -guard15.lc 2:13-2:17 +2:13-2:17 Bool -guard15.lc 2:13-3:27 +2:13-3:27 () -guard15.lc 2:20-2:22 +2:20-2:22 () -guard15.lc 2:20-3:27 +2:20-3:27 Bool -> () -guard15.lc 3:25-3:27 +3:25-3:27 () \ No newline at end of file diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index d616cb60..8b637dbf 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out @@ -16,19 +16,19 @@ value = \a b c -> _rhs (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1))) ------------ tooltips -guard16.lc 1:1-1:6 +1:1-1:6 forall a . (Eq a, Num a) => () -guard16.lc 1:9-3:10 +1:9-3:10 () -guard16.lc 1:14-1:15 +1:14-1:15 _b -guard16.lc 2:7-2:11 +2:7-2:11 Bool -guard16.lc 2:7-3:10 +2:7-3:10 () -guard16.lc 2:15-2:17 +2:15-2:17 () -guard16.lc 2:15-3:10 +2:15-3:10 Bool -> () -guard16.lc 3:8-3:10 +3:8-3:10 () | () \ No newline at end of file -- cgit v1.2.3