diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
commit | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (patch) | |
tree | 82ed1f4401c3cf2cd4910e5f2e62d0d3a8ac6904 /testdata/traceTest.out | |
parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) |
explicit lhs marks, first step
Diffstat (limited to 'testdata/traceTest.out')
-rw-r--r-- | testdata/traceTest.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out index 1284a26e..9c5545d5 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out | |||
@@ -1,12 +1,12 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ desugared source code | 2 | ------------ desugared source code |
3 | id = \(a :: _) -> _rhs a | 3 | id = _lhs id \(a :: _) -> _rhs a |
4 | 4 | ||
5 | data X (_ :: Type) (_ :: _a) :: Type where | 5 | data X (_ :: Type) (_ :: _a) :: Type where |
6 | 6 | ||
7 | 7 | ||
8 | x :: X \(a :: _) (b :: _) -> (a, b) | 8 | x :: X \(a :: _) (b :: _) -> (a, b) |
9 | x = _rhs undefined | 9 | x = _lhs x (_rhs undefined) |
10 | ------------ core code | 10 | ------------ core code |
11 | 'X :: forall a . a -> Type | 11 | 'X :: forall a . a -> Type |
12 | 'X = <<type constructor with 0 indices; constructors: >> | 12 | 'X = <<type constructor with 0 indices; constructors: >> |