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/data.out | |
| parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) | |
explicit lhs marks, first step
Diffstat (limited to 'testdata/data.out')
| -rw-r--r-- | testdata/data.out | 74 |
1 files changed, 42 insertions, 32 deletions
diff --git a/testdata/data.out b/testdata/data.out index 1d441619..d0e3b82f 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
| @@ -13,22 +13,26 @@ data Data2 :: Type where | |||
| 13 | Data24 :: Data2 | 13 | Data24 :: Data2 |
| 14 | 14 | ||
| 15 | x | 15 | x |
| 16 | = \(a :: _) -> case'Data2 | 16 | = _lhs |
| 17 | (\(_ :: _) -> _) | 17 | x |
| 18 | (\(_ :: _) -> _rhs undefined) | 18 | \(a :: _) -> case'Data2 |
| 19 | (\(b :: _) (_ :: _) -> _rhs b) | 19 | (\(_ :: _) -> _) |
| 20 | (\(c :: _) -> _rhs c) | 20 | (\(_ :: _) -> _rhs undefined) |
| 21 | (_rhs undefined) | 21 | (\(b :: _) (_ :: _) -> _rhs b) |
| 22 | a | 22 | (\(c :: _) -> _rhs c) |
| 23 | (_rhs undefined) | ||
| 24 | a | ||
| 23 | 25 | ||
| 24 | y | 26 | y |
| 25 | = \(a :: _) -> case'Data2 | 27 | = _lhs |
| 26 | (\(_ :: _) -> _) | 28 | y |
| 27 | (\(_ :: _) -> _rhs undefined) | 29 | \(a :: _) -> case'Data2 |
| 28 | (\(_ :: _) (b :: _) -> _rhs b) | 30 | (\(_ :: _) -> _) |
| 29 | (\(_ :: _) -> _rhs undefined) | 31 | (\(_ :: _) -> _rhs undefined) |
| 30 | (_rhs undefined) | 32 | (\(_ :: _) (b :: _) -> _rhs b) |
| 31 | a | 33 | (\(_ :: _) -> _rhs undefined) |
| 34 | (_rhs undefined) | ||
| 35 | a | ||
| 32 | 36 | ||
| 33 | data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where | 37 | data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where |
| 34 | Data51 :: forall a b c . a -> Data5 a b c | 38 | Data51 :: forall a b c . a -> Data5 a b c |
| @@ -36,28 +40,34 @@ data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where | |||
| 36 | Data53 :: forall g h i . Int -> g -> Float -> h -> i -> Data5 g h i | 40 | Data53 :: forall g h i . Int -> g -> Float -> h -> i -> Data5 g h i |
| 37 | 41 | ||
| 38 | a5 | 42 | a5 |
| 39 | = \(a :: _) -> case'Data5 | 43 | = _lhs |
| 40 | (\(_ :: _) -> _) | 44 | a5 |
| 41 | (\(b :: _) -> _rhs b) | 45 | \(a :: _) -> case'Data5 |
| 42 | (\(c :: _) (_ :: _) (_ :: _) -> _rhs c) | 46 | (\(_ :: _) -> _) |
| 43 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs undefined) | 47 | (\(b :: _) -> _rhs b) |
| 44 | a | 48 | (\(c :: _) (_ :: _) (_ :: _) -> _rhs c) |
| 49 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs undefined) | ||
| 50 | a | ||
| 45 | 51 | ||
| 46 | b5 | 52 | b5 |
| 47 | = \(a :: _) -> case'Data5 | 53 | = _lhs |
| 48 | (\(_ :: _) -> _) | 54 | b5 |
| 49 | (\(_ :: _) -> _rhs undefined) | 55 | \(a :: _) -> case'Data5 |
| 50 | (\(_ :: _) (b :: _) (_ :: _) -> _rhs b) | 56 | (\(_ :: _) -> _) |
| 51 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs undefined) | 57 | (\(_ :: _) -> _rhs undefined) |
| 52 | a | 58 | (\(_ :: _) (b :: _) (_ :: _) -> _rhs b) |
| 59 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs undefined) | ||
| 60 | a | ||
| 53 | 61 | ||
| 54 | c5 | 62 | c5 |
| 55 | = \(a :: _) -> case'Data5 | 63 | = _lhs |
| 56 | (\(_ :: _) -> _) | 64 | c5 |
| 57 | (\(_ :: _) -> _rhs undefined) | 65 | \(a :: _) -> case'Data5 |
| 58 | (\(_ :: _) (_ :: _) (b :: _) -> _rhs b) | 66 | (\(_ :: _) -> _) |
| 59 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs undefined) | 67 | (\(_ :: _) -> _rhs undefined) |
| 60 | a | 68 | (\(_ :: _) (_ :: _) (b :: _) -> _rhs b) |
| 69 | (\(_ :: _) (_ :: _) (_ :: _) (_ :: _) (_ :: _) -> _rhs undefined) | ||
| 70 | a | ||
| 61 | ------------ core code | 71 | ------------ core code |
| 62 | 'Data0 :: Type | 72 | 'Data0 :: Type |
| 63 | 'Data0 = <<type constructor with 0 indices; constructors: Data0>> | 73 | 'Data0 = <<type constructor with 0 indices; constructors: Data0>> |