diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 15:08:14 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 15:08:14 +0200 |
| commit | ced2bb3b8d35d0e2faa21adeff04607a2174ae99 (patch) | |
| tree | 679e0463b3d88b6176130e1b27187610e254addc /testdata/Builtins.out | |
| parent | 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec (diff) | |
refactoring
Diffstat (limited to 'testdata/Builtins.out')
| -rw-r--r-- | testdata/Builtins.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index 96574724..2e7d6b11 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
| @@ -938,7 +938,7 @@ allSame | |||
| 938 | \(b :: _) (c :: _) -> case'List | 938 | \(b :: _) (c :: _) -> case'List |
| 939 | \_ -> _ :: _ | 939 | \_ -> _ :: _ |
| 940 | (_rhs 'Unit) | 940 | (_rhs 'Unit) |
| 941 | \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e))) | 941 | \(d :: _) (e :: _) -> _rhs ('T2 (b `'EqCTt` d) (allSame (d : e))) |
| 942 | c | 942 | c |
| 943 | a) | 943 | a) |
| 944 | :: forall (f :: _) . [f] -> Type | 944 | :: forall (f :: _) . [f] -> Type |