diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 17:52:01 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 17:52:01 +0200 |
| commit | 438e4a1b062a73b667adf0fd94167dcc311929d3 (patch) | |
| tree | f2bed41f845106c51d36f048a0e23d5f27064fa2 /testdata/framebuffer02.reject.out | |
| parent | 769c7ac09e66bcae5ca34009734b5e184ce2e0f0 (diff) | |
more list syntax in pretty print
Diffstat (limited to 'testdata/framebuffer02.reject.out')
| -rw-r--r-- | testdata/framebuffer02.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/framebuffer02.reject.out b/testdata/framebuffer02.reject.out index b733b615..1899ff29 100644 --- a/testdata/framebuffer02.reject.out +++ b/testdata/framebuffer02.reject.out | |||
| @@ -21,7 +21,7 @@ in testdata/framebuffer02.reject.lc:2:17: | |||
| 21 | ) | 21 | ) |
| 22 | ------------ tooltips | 22 | ------------ tooltips |
| 23 | testdata/framebuffer02.reject.lc 2:17-2:28 | 23 | testdata/framebuffer02.reject.lc 2:17-2:28 |
| 24 | forall (a :: List Type) | 24 | forall (a :: [Type]) |
| 25 | . sameLayerCounts a | 25 | . sameLayerCounts a |
| 26 | => HList a | 26 | => HList a |
| 27 | -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a) | 27 | -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a) |
| @@ -36,7 +36,7 @@ testdata/framebuffer02.reject.lc 2:17-5:30 | |||
| 36 | (Image 1 ('Color (VecScalar 4 Float))) | 36 | (Image 1 ('Color (VecScalar 4 Float))) |
| 37 | (: | 37 | (: |
| 38 | (Image 2 ('Color (VecScalar 4 Float))) | 38 | (Image 2 ('Color (VecScalar 4 Float))) |
| 39 | (: (Image 1 ('Color (VecScalar 1 Float))) 'Nil)))) | 39 | (: (Image 1 ('Color (VecScalar 1 Float))) '[])))) |
| 40 | testdata/framebuffer02.reject.lc 2:29-5:30 | 40 | testdata/framebuffer02.reject.lc 2:29-5:30 |
| 41 | (Image 1 ('Color (VecScalar 4 Float)), Image | 41 | (Image 1 ('Color (VecScalar 4 Float)), Image |
| 42 | 2 | 42 | 2 |