diff options
Diffstat (limited to 'testdata/adhoc.reject.out')
| -rw-r--r-- | testdata/adhoc.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out index 511e62b1..6099ecf1 100644 --- a/testdata/adhoc.reject.out +++ b/testdata/adhoc.reject.out | |||
| @@ -5,8 +5,8 @@ x = one :: Vec 4 A | |||
| 5 | ------------ trace | 5 | ------------ trace |
| 6 | 'A :: [32mType[0m | 6 | 'A :: [32mType[0m |
| 7 | A :: [32m'A[0m | 7 | A :: [32m'A[0m |
| 8 | 'ACase :: [32m([32ma[0;32m :: 'A -> Type) -> [32m[32ma[0;32m [32mA[0;32m[0;32m -> ([32mb[0;32m :: 'A) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 8 | 'ACase :: [32mforall (a :: 'A -> Type) -> [32m[32ma[0;32m [32mA[0;32m[0;32m -> forall (b :: 'A) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 9 | match'A :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'A[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 9 | match'A :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32m'A[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 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: |
| 12 | x = one :: Vec 4 A | 12 | x = one :: Vec 4 A |