diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 16:40:07 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-02 16:45:18 +0200 |
| commit | 2fe36db8e0c4197fb4dd55c4de3fc15e038744a2 (patch) | |
| tree | 62f0636f0fb3da4b0890343ab818e91c2abfc214 /testdata/Material.out | |
| parent | 35d5c201f7540d857956fd9459ef73706304a641 (diff) | |
use (:) instead of Cons everywhere
Diffstat (limited to 'testdata/Material.out')
| -rw-r--r-- | testdata/Material.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/Material.out b/testdata/Material.out index c4d3447c..998117ca 100644 --- a/testdata/Material.out +++ b/testdata/Material.out | |||
| @@ -105,7 +105,7 @@ data DepthFunction :: Type where | |||
| 105 | D_Lequal :: DepthFunction | 105 | D_Lequal :: DepthFunction |
| 106 | data StageAttrs :: Type where | 106 | data StageAttrs :: Type where |
| 107 | StageAttrs | 107 | StageAttrs |
| 108 | :: Maybe (HList ('Cons Blending' ('Cons Blending' 'Nil))) | 108 | :: Maybe (HList (Blending' : Blending' : 'Nil)) |
| 109 | -> RGBGen | 109 | -> RGBGen |
| 110 | -> AlphaGen | 110 | -> AlphaGen |
| 111 | -> TCGen | 111 | -> TCGen |