diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 17:26:25 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 17:26:25 +0200 |
commit | 769c7ac09e66bcae5ca34009734b5e184ce2e0f0 (patch) | |
tree | 773a90e94001381db6b7d9b5cbd8570a8f74a656 /testdata/zip01.out | |
parent | 2fe36db8e0c4197fb4dd55c4de3fc15e038744a2 (diff) |
use [] instead of Nil in pretty print
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r-- | testdata/zip01.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index b14eadeb..cb886f64 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -2,10 +2,10 @@ | |||
2 | zip2 | 2 | zip2 |
3 | = (\(a :: _) (b :: _) -> 'ListCase | 3 | = (\(a :: _) (b :: _) -> 'ListCase |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | (_rhs Nil) | 5 | (_rhs []) |
6 | \(c :: _) (d :: _) -> 'ListCase | 6 | \(c :: _) (d :: _) -> 'ListCase |
7 | \_ -> _ :: _ | 7 | \_ -> _ :: _ |
8 | (_rhs Nil) | 8 | (_rhs []) |
9 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f) | 9 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f) |
10 | b | 10 | b |
11 | a) | 11 | a) |