diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 19:13:34 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 19:13:34 +0200 |
commit | 90e336391673ac1cf9ff582e98e35faf89a8f09d (patch) | |
tree | 0b7a14dbfc5734c07c2ae4ed34cb679fecd10d3f /testdata/language-features/adt/gadt04.reject.out | |
parent | 1a7544763729938e7009ead1e375e9bbf413afb0 (diff) |
improve pretty print layout & show desugared source code in .out files
Diffstat (limited to 'testdata/language-features/adt/gadt04.reject.out')
-rw-r--r-- | testdata/language-features/adt/gadt04.reject.out | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out index 70903666..22338d9b 100644 --- a/testdata/language-features/adt/gadt04.reject.out +++ b/testdata/language-features/adt/gadt04.reject.out | |||
@@ -7,8 +7,13 @@ and at testdata/language-features/adt/gadt04.reject.lc:3:3: | |||
7 | ------------ trace | 7 | ------------ trace |
8 | 'M :: [32mType -> String -> Type[0m | 8 | 'M :: [32mType -> String -> Type[0m |
9 | Value :: [32mforall a . [32ma[0;32m -> forall (b :: String) . M [32ma[0;32m [32mb[0;32m[0m | 9 | Value :: [32mforall a . [32ma[0;32m -> forall (b :: String) . M [32ma[0;32m [32mb[0;32m[0m |
10 | 'MCase :: [32mforall (a :: forall b (c :: String) -> M [32mb[0;32m [32mc[0;32m -> Type) -> (forall d . forall (e :: [32md[0;32m) -> forall (f :: String) . [32m[32m[32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m [32m[32mf[0;32m[0;32m[0;32m [32m('Value [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) -> forall g (h :: String) . forall (i :: M [32mg[0;32m [32mh[0;32m) -> [32m[32m[32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m [32m[32mh[0;32m[0;32m[0;32m [32m[32mi[0;32m[0;32m[0;32m[0m | 10 | 'MCase |
11 | match'M :: [32mforall (a :: Type -> Type) -> (forall b (c :: String) -> [32m[32ma[0;32m [32m(M [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> forall d -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m[0m | 11 | :: [32mforall (a :: forall b (c :: String) -> M [32mb[0;32m [32mc[0;32m -> Type) |
12 | -> (forall d . forall (e :: [32md[0;32m) -> forall (f :: String) . [32m[32m[32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m [32m[32mf[0;32m[0;32m[0;32m [32m('Value [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) | ||
13 | -> forall g (h :: String) . forall (i :: M [32mg[0;32m [32mh[0;32m) -> [32m[32m[32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m [32m[32mh[0;32m[0;32m[0;32m [32m[32mi[0;32m[0;32m[0;32m[0m | ||
14 | match'M | ||
15 | :: [32mforall (a :: Type -> Type) | ||
16 | -> (forall b (c :: String) -> [32m[32ma[0;32m [32m(M [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> forall d -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m[0m | ||
12 | 'M2 :: [32mType -> String -> Type[0m | 17 | 'M2 :: [32mType -> String -> Type[0m |
13 | Value :: [32mforall a . [32ma[0;32m -> forall (b :: String) . M2 [32ma[0;32m [32mb[0;32m[0m | 18 | Value :: [32mforall a . [32ma[0;32m -> forall (b :: String) . M2 [32ma[0;32m [32mb[0;32m[0m |
14 | !already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: | 19 | !already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: |