diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
commit | 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec (patch) | |
tree | 79931726bcef4f09d556d588e00cd917f43b86e3 /testdata/adhoc.reject.out | |
parent | 05521f428c8805a693b8ad4fa5dd139eaf562362 (diff) |
refactoring
Diffstat (limited to 'testdata/adhoc.reject.out')
-rw-r--r-- | testdata/adhoc.reject.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out index 8bfe623e..36501d29 100644 --- a/testdata/adhoc.reject.out +++ b/testdata/adhoc.reject.out | |||
@@ -5,7 +5,7 @@ x = one :: Vec 4 A | |||
5 | ------------ trace | 5 | ------------ trace |
6 | 'A :: Type | 6 | 'A :: Type |
7 | A :: A | 7 | A :: A |
8 | 'ACase :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b | 8 | case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b |
9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b | 9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b |
10 | !type error: no instance of 'Component on ??? | 10 | !type error: no instance of 'Component on ??? |
11 | in testdata/adhoc.reject.lc:4:5: | 11 | in testdata/adhoc.reject.lc:4:5: |