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/language-features/basic-list/listcomp05.out | |
parent | 2fe36db8e0c4197fb4dd55c4de3fc15e038744a2 (diff) |
use [] instead of Nil in pretty print
Diffstat (limited to 'testdata/language-features/basic-list/listcomp05.out')
-rw-r--r-- | testdata/language-features/basic-list/listcomp05.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out index a1b49e8d..53238d6c 100644 --- a/testdata/language-features/basic-list/listcomp05.out +++ b/testdata/language-features/basic-list/listcomp05.out | |||
@@ -2,8 +2,8 @@ | |||
2 | value | 2 | value |
3 | = _rhs | 3 | = _rhs |
4 | (concatMap | 4 | (concatMap |
5 | \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : Nil | 5 | \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : [] |
6 | (HNil : HNil : Nil)) | 6 | (HNil : HNil : [])) |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
9 | value :: List () | 9 | value :: List () |