diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 17:52:01 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 17:52:01 +0200 |
| commit | 438e4a1b062a73b667adf0fd94167dcc311929d3 (patch) | |
| tree | f2bed41f845106c51d36f048a0e23d5f27064fa2 /testdata/traceTest.out | |
| parent | 769c7ac09e66bcae5ca34009734b5e184ce2e0f0 (diff) | |
more list syntax in pretty print
Diffstat (limited to 'testdata/traceTest.out')
| -rw-r--r-- | testdata/traceTest.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out index ef065db6..fe085529 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | id = \(a :: _) -> _rhs a | 2 | id = \(a :: _) -> _rhs a |
| 3 | data X (_ :: Type) (_ :: _a) :: Type where | 3 | data X (_ :: Type) (_ :: _a) :: Type where |
| 4 | 4 | ||
| 5 | x = _rhs undefined :: X \(a :: _) (b :: _) -> HList (a : b : 'Nil) | 5 | x = _rhs undefined :: X \(a :: _) (b :: _) -> HList (a : b : '[]) |
| 6 | main is not found | 6 | main is not found |
| 7 | ------------ trace | 7 | ------------ trace |
| 8 | id :: forall a . a -> a | 8 | id :: forall a . a -> a |
| @@ -32,9 +32,9 @@ testdata/traceTest.lc 10:17-10:24 | |||
| 32 | testdata/traceTest.lc 10:19-10:20 | 32 | testdata/traceTest.lc 10:19-10:20 |
| 33 | _e | 33 | _e |
| 34 | testdata/traceTest.lc 10:19-10:23 | 34 | testdata/traceTest.lc 10:19-10:23 |
| 35 | List Type | 35 | [Type] |
| 36 | testdata/traceTest.lc 10:22-10:23 | 36 | testdata/traceTest.lc 10:22-10:23 |
| 37 | _c | List Type | 37 | _c | [Type] |
| 38 | testdata/traceTest.lc 11:1-11:2 | 38 | testdata/traceTest.lc 11:1-11:2 |
| 39 | X (Type -> Type -> Type) \(a :: Type) (b :: Type) -> (a, b) | 39 | X (Type -> Type -> Type) \(a :: Type) (b :: Type) -> (a, b) |
| 40 | testdata/traceTest.lc 11:5-11:14 | 40 | testdata/traceTest.lc 11:5-11:14 |