summaryrefslogtreecommitdiff
path: root/testdata
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-02 17:26:25 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-02 17:26:25 +0200
commit769c7ac09e66bcae5ca34009734b5e184ce2e0f0 (patch)
tree773a90e94001381db6b7d9b5cbd8570a8f74a656 /testdata
parent2fe36db8e0c4197fb4dd55c4de3fc15e038744a2 (diff)
use [] instead of Nil in pretty print
Diffstat (limited to 'testdata')
-rw-r--r--testdata/Builtins.out6
-rw-r--r--testdata/Internals.out6
-rw-r--r--testdata/Material.out6
-rw-r--r--testdata/Prelude.out24
-rw-r--r--testdata/SampleMaterial.out406
-rw-r--r--testdata/language-features/basic-list/list01.out6
-rw-r--r--testdata/language-features/basic-list/list02.out6
-rw-r--r--testdata/language-features/basic-list/list08.out2
-rw-r--r--testdata/language-features/basic-list/list09.out2
-rw-r--r--testdata/language-features/basic-list/list11.out2
-rw-r--r--testdata/language-features/basic-list/list12.out2
-rw-r--r--testdata/language-features/basic-list/list13.out2
-rw-r--r--testdata/language-features/basic-list/listcomp01.out2
-rw-r--r--testdata/language-features/basic-list/listcomp02.out4
-rw-r--r--testdata/language-features/basic-list/listcomp03.out4
-rw-r--r--testdata/language-features/basic-list/listcomp04.out4
-rw-r--r--testdata/language-features/basic-list/listcomp05.out4
-rw-r--r--testdata/language-features/basic-list/listcomp06.out12
-rw-r--r--testdata/language-features/basic-list/listcomp07.out18
-rw-r--r--testdata/language-features/basic-list/listcomp09.out3
-rw-r--r--testdata/language-features/basic-values/typesyn01.out2
-rw-r--r--testdata/language-features/basic-values/typesyn02.out2
-rw-r--r--testdata/language-features/module/TypeSyn01Mod.out2
-rw-r--r--testdata/language-features/pattern/uncovered.out32
-rw-r--r--testdata/performance/Material.out6
-rw-r--r--testdata/performance/SampleMaterial.out406
-rw-r--r--testdata/zip01.out4
27 files changed, 487 insertions, 488 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index a9ac34e1..85fa9d7f 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -662,11 +662,11 @@ foldr
662 (_rhs b) 662 (_rhs b)
663 \(d :: _) (e :: _) -> _rhs (a d (foldr a b e)) 663 \(d :: _) (e :: _) -> _rhs (a d (foldr a b e))
664 c 664 c
665concat = _rhs (foldr ++ Nil) 665concat = _rhs (foldr ++ [])
666map 666map
667 = \(a :: _) (b :: _) -> 'ListCase 667 = \(a :: _) (b :: _) -> 'ListCase
668 \_ -> _ :: _ 668 \_ -> _ :: _
669 (_rhs Nil) 669 (_rhs [])
670 \(c :: _) (d :: _) -> _rhs (a c : map a d) 670 \(c :: _) (d :: _) -> _rhs (a c : map a d)
671 b 671 b
672concatMap 672concatMap
@@ -7108,7 +7108,7 @@ Uncovered pattern(s) at testdata/Builtins.lc:201:1:
7108head (x: _) = x 7108head (x: _) = x
7109^^^^ 7109^^^^
7110Missing case(s): 7110Missing case(s):
7111 head Nil 7111 head []
7112Uncovered pattern(s) at testdata/Builtins.lc:340:1: 7112Uncovered pattern(s) at testdata/Builtins.lc:340:1:
7113swizzscalar (V2 x y) Sx = x 7113swizzscalar (V2 x y) Sx = x
7114swizzscalar (V2 x y) Sy = y 7114swizzscalar (V2 x y) Sy = y
diff --git a/testdata/Internals.out b/testdata/Internals.out
index b2e7246e..8d522708 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -192,13 +192,13 @@ negate
192 :: forall v . Eq v => v -> v -> Bool 192 :: forall v . Eq v => v -> v -> Bool
193infix 4 == 193infix 4 ==
194data List (_ :: Type) :: Type where 194data List (_ :: Type) :: Type where
195 Nil :: List _a 195 [] :: List _a
196 (:) :: _a -> List _a -> List _a 196 (:) :: _a -> List _a -> List _a
197infixr 5 : 197infixr 5 :
198data HList :: List Type -> Type where 198data HList :: List Type -> Type where
199 HNil :: HList 'Nil 199 HNil :: HList 'Nil
200 HCons :: forall (a :: _) (b :: _) . a -> HList b -> HList (a : b) 200 HCons :: forall (a :: _) (b :: _) . a -> HList b -> HList (a : b)
201hlistNilCase :: forall (a :: _) -> a -> HList Nil -> a 201hlistNilCase :: forall (a :: _) -> a -> HList [] -> a
202hlistConsCase 202hlistConsCase
203 :: forall a (b :: List Type) 203 :: forall a (b :: List Type)
204 . forall (c :: _) -> (a -> HList b -> c) -> HList (a : b) -> c 204 . forall (c :: _) -> (a -> HList b -> c) -> HList (a : b) -> c
@@ -288,7 +288,7 @@ negate :: forall a . Num a => a -> a
288'Eq :: Type -> Type 288'Eq :: Type -> Type
289== :: forall a . Eq a => a -> a -> Bool 289== :: forall a . Eq a => a -> a -> Bool
290'List :: Type -> Type 290'List :: Type -> Type
291Nil :: forall a . List a 291[] :: forall a . List a
292(:) :: forall a . a -> List a -> List a 292(:) :: forall a . a -> List a -> List a
293'ListCase 293'ListCase
294 :: forall a 294 :: forall a
diff --git a/testdata/Material.out b/testdata/Material.out
index 998117ca..2a1525b4 100644
--- a/testdata/Material.out
+++ b/testdata/Material.out
@@ -174,7 +174,7 @@ defaultStageAttrs
174 RGB_Undefined 174 RGB_Undefined
175 A_Identity 175 A_Identity
176 TG_Undefined 176 TG_Undefined
177 Nil 177 []
178 ST_WhiteImage 178 ST_WhiteImage
179 True 179 True
180 D_Lequal 180 D_Lequal
@@ -275,10 +275,10 @@ defaultCommonAttrs
275 False 275 False
276 False 276 False
277 CT_FrontSided 277 CT_FrontSided
278 Nil 278 []
279 False 279 False
280 False 280 False
281 Nil 281 []
282 False) 282 False)
283 :: CommonAttrs 283 :: CommonAttrs
284main is not found 284main is not found
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 3f3db079..fdd8ce6b 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -33,10 +33,10 @@ pi = _rhs 3.141592653589793
33zip 33zip
34 = (\(a :: _) (b :: _) -> 'ListCase 34 = (\(a :: _) (b :: _) -> 'ListCase
35 \_ -> _ :: _ 35 \_ -> _ :: _
36 (_rhs Nil) 36 (_rhs [])
37 \(c :: _) (d :: _) -> 'ListCase 37 \(c :: _) (d :: _) -> 'ListCase
38 \_ -> _ :: _ 38 \_ -> _ :: _
39 (_rhs Nil) 39 (_rhs [])
40 \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip d f) 40 \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip d f)
41 b 41 b
42 a) 42 a)
@@ -44,7 +44,7 @@ zip
44unzip 44unzip
45 = (\(a :: _) -> 'ListCase 45 = (\(a :: _) -> 'ListCase
46 \_ -> _ :: _ 46 \_ -> _ :: _
47 (_rhs (HCons Nil (HCons Nil HNil))) 47 (_rhs (HCons [] (HCons [] HNil)))
48 \(b :: _) (c :: _) -> hlistConsCase 48 \(b :: _) (c :: _) -> hlistConsCase
49 (_ :: _) 49 (_ :: _)
50 \(d :: _) (e :: _) -> hlistConsCase 50 \(d :: _) (e :: _) -> hlistConsCase
@@ -82,7 +82,7 @@ unzip
82filter 82filter
83 = \(a :: _) (b :: _) -> 'ListCase 83 = \(a :: _) (b :: _) -> 'ListCase
84 \_ -> _ :: _ 84 \_ -> _ :: _
85 (_rhs Nil) 85 (_rhs [])
86 \(c :: _) (d :: _) -> _rhs 86 \(c :: _) (d :: _) -> _rhs
87 ((\(e :: _) -> 'BoolCase \_ -> _ :: _ (filter a d) (c : filter a d) e) (a c)) 87 ((\(e :: _) -> 'BoolCase \_ -> _ :: _ (filter a d) (c : filter a d) e) (a c))
88 b 88 b
@@ -107,7 +107,7 @@ foldr1
107split 107split
108 = \(a :: _) -> 'ListCase 108 = \(a :: _) -> 'ListCase
109 \_ -> _ :: _ 109 \_ -> _ :: _
110 (_rhs (HCons Nil (HCons Nil HNil))) 110 (_rhs (HCons [] (HCons [] HNil)))
111 \(b :: _) (c :: _) -> _rhs 111 \(b :: _) (c :: _) -> _rhs
112 \(d := _rhs (split c)) 112 \(d := _rhs (split c))
113 (e 113 (e
@@ -151,10 +151,10 @@ mergeBy
151sortBy 151sortBy
152 = \(a :: _) (b :: _) -> 'ListCase 152 = \(a :: _) (b :: _) -> 'ListCase
153 \_ -> _ :: _ 153 \_ -> _ :: _
154 (_rhs Nil) 154 (_rhs [])
155 \(c :: _) (d :: _) -> 'ListCase 155 \(c :: _) (d :: _) -> 'ListCase
156 \_ -> _ :: _ 156 \_ -> _ :: _
157 (_rhs (c : Nil)) 157 (_rhs (c : []))
158 \_ -> \_ -> _rhs (uncurry (mergeBy a) ((sortBy a *** sortBy a) (split b))) 158 \_ -> \_ -> _rhs (uncurry (mergeBy a) ((sortBy a *** sortBy a) (split b)))
159 d 159 d
160 b 160 b
@@ -452,7 +452,7 @@ fromTo
452 = (\(a :: _) (b :: _) -> 'BoolCase 452 = (\(a :: _) (b :: _) -> 'BoolCase
453 \_ -> _ :: _ 453 \_ -> _ :: _
454 (_rhs (a : fromTo (a + fromInt 1) b)) 454 (_rhs (a : fromTo (a + fromInt 1) b))
455 (_rhs Nil) 455 (_rhs [])
456 (a > b)) 456 (a > b))
457 :: Float -> Float -> List Float 457 :: Float -> Float -> List Float
458!! 458!!
@@ -3535,19 +3535,19 @@ Uncovered pattern(s) at testdata/Prelude.lc:50:1:
3535tail (_: xs) = xs 3535tail (_: xs) = xs
3536^^^^ 3536^^^^
3537Missing case(s): 3537Missing case(s):
3538 tail Nil 3538 tail []
3539Uncovered pattern(s) at testdata/Prelude.lc:58:1: 3539Uncovered pattern(s) at testdata/Prelude.lc:58:1:
3540foldr1 f (x: xs) = foldr f x xs 3540foldr1 f (x: xs) = foldr f x xs
3541^^^^^^ 3541^^^^^^
3542Missing case(s): 3542Missing case(s):
3543 foldr1 _ Nil 3543 foldr1 _ []
3544Uncovered pattern(s) at testdata/Prelude.lc:137:1: 3544Uncovered pattern(s) at testdata/Prelude.lc:137:1:
3545project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) 3545project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)
3546project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(isKeyC s a xs)) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts))) 3546project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(isKeyC s a xs)) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)))
3547Missing case(s): 3547Missing case(s):
3548 project _ Nil _ _ _ 3548 project _ [] _ _ _
3549Uncovered pattern(s) at testdata/Prelude.lc:388:10: 3549Uncovered pattern(s) at testdata/Prelude.lc:388:10:
3550(x : _) !! 0 = x 3550(x : _) !! 0 = x
3551(_ : xs) !! n = xs !! (n-1) 3551(_ : xs) !! n = xs !! (n-1)
3552Missing case(s): 3552Missing case(s):
3553 !! Nil _ \ No newline at end of file 3553 !! [] _ \ No newline at end of file
diff --git a/testdata/SampleMaterial.out b/testdata/SampleMaterial.out
index 9f1d4319..d76fc5b4 100644
--- a/testdata/SampleMaterial.out
+++ b/testdata/SampleMaterial.out
@@ -12,7 +12,7 @@ sampleMaterial
12 False 12 False
13 False 13 False
14 CT_FrontSided 14 CT_FrontSided
15 Nil 15 []
16 False 16 False
17 False 17 False
18 (StageAttrs 18 (StageAttrs
@@ -20,7 +20,7 @@ sampleMaterial
20 RGB_IdentityLighting 20 RGB_IdentityLighting
21 A_Identity 21 A_Identity
22 TG_Base 22 TG_Base
23 Nil 23 []
24 (ST_Map "textures/gothic_block/blocks11b") 24 (ST_Map "textures/gothic_block/blocks11b")
25 True 25 True
26 D_Lequal 26 D_Lequal
@@ -32,14 +32,14 @@ sampleMaterial
32 RGB_IdentityLighting 32 RGB_IdentityLighting
33 A_Identity 33 A_Identity
34 TG_Lightmap 34 TG_Lightmap
35 Nil 35 []
36 ST_Lightmap 36 ST_Lightmap
37 True 37 True
38 D_Lequal 38 D_Lequal
39 Nothing 39 Nothing
40 False 40 False
41 "Tex_3226210144" 41 "Tex_3226210144"
42 : Nil) 42 : [])
43 False) 43 False)
44 HNil) 44 HNil)
45 : HCons 45 : HCons
@@ -53,7 +53,7 @@ sampleMaterial
53 False 53 False
54 False 54 False
55 CT_FrontSided 55 CT_FrontSided
56 Nil 56 []
57 False 57 False
58 False 58 False
59 (StageAttrs 59 (StageAttrs
@@ -61,7 +61,7 @@ sampleMaterial
61 RGB_IdentityLighting 61 RGB_IdentityLighting
62 A_Identity 62 A_Identity
63 TG_Base 63 TG_Base
64 Nil 64 []
65 (ST_Map "textures/gothic_block/blocks15") 65 (ST_Map "textures/gothic_block/blocks15")
66 True 66 True
67 D_Lequal 67 D_Lequal
@@ -73,14 +73,14 @@ sampleMaterial
73 RGB_IdentityLighting 73 RGB_IdentityLighting
74 A_Identity 74 A_Identity
75 TG_Lightmap 75 TG_Lightmap
76 Nil 76 []
77 ST_Lightmap 77 ST_Lightmap
78 True 78 True
79 D_Lequal 79 D_Lequal
80 Nothing 80 Nothing
81 False 81 False
82 "Tex_3226210144" 82 "Tex_3226210144"
83 : Nil) 83 : [])
84 False) 84 False)
85 HNil) 85 HNil)
86 : HCons 86 : HCons
@@ -94,7 +94,7 @@ sampleMaterial
94 False 94 False
95 False 95 False
96 CT_FrontSided 96 CT_FrontSided
97 Nil 97 []
98 False 98 False
99 False 99 False
100 (StageAttrs 100 (StageAttrs
@@ -102,7 +102,7 @@ sampleMaterial
102 RGB_IdentityLighting 102 RGB_IdentityLighting
103 A_Identity 103 A_Identity
104 TG_Base 104 TG_Base
105 Nil 105 []
106 (ST_Map "textures/gothic_block/blocks18b") 106 (ST_Map "textures/gothic_block/blocks18b")
107 True 107 True
108 D_Lequal 108 D_Lequal
@@ -114,14 +114,14 @@ sampleMaterial
114 RGB_IdentityLighting 114 RGB_IdentityLighting
115 A_Identity 115 A_Identity
116 TG_Lightmap 116 TG_Lightmap
117 Nil 117 []
118 ST_Lightmap 118 ST_Lightmap
119 True 119 True
120 D_Lequal 120 D_Lequal
121 Nothing 121 Nothing
122 False 122 False
123 "Tex_3226210144" 123 "Tex_3226210144"
124 : Nil) 124 : [])
125 False) 125 False)
126 HNil) 126 HNil)
127 : HCons 127 : HCons
@@ -135,7 +135,7 @@ sampleMaterial
135 False 135 False
136 False 136 False
137 CT_FrontSided 137 CT_FrontSided
138 Nil 138 []
139 False 139 False
140 False 140 False
141 (StageAttrs 141 (StageAttrs
@@ -143,7 +143,7 @@ sampleMaterial
143 RGB_IdentityLighting 143 RGB_IdentityLighting
144 A_Identity 144 A_Identity
145 TG_Base 145 TG_Base
146 Nil 146 []
147 (ST_Map "textures/gothic_block/blocks18c_3") 147 (ST_Map "textures/gothic_block/blocks18c_3")
148 True 148 True
149 D_Lequal 149 D_Lequal
@@ -155,14 +155,14 @@ sampleMaterial
155 RGB_IdentityLighting 155 RGB_IdentityLighting
156 A_Identity 156 A_Identity
157 TG_Lightmap 157 TG_Lightmap
158 Nil 158 []
159 ST_Lightmap 159 ST_Lightmap
160 True 160 True
161 D_Lequal 161 D_Lequal
162 Nothing 162 Nothing
163 False 163 False
164 "Tex_3226210144" 164 "Tex_3226210144"
165 : Nil) 165 : [])
166 False) 166 False)
167 HNil) 167 HNil)
168 : HCons 168 : HCons
@@ -176,7 +176,7 @@ sampleMaterial
176 False 176 False
177 False 177 False
178 CT_FrontSided 178 CT_FrontSided
179 Nil 179 []
180 False 180 False
181 False 181 False
182 (StageAttrs 182 (StageAttrs
@@ -184,7 +184,7 @@ sampleMaterial
184 RGB_Identity 184 RGB_Identity
185 A_Identity 185 A_Identity
186 TG_Base 186 TG_Base
187 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 1.6 : TM_Scale 4.0 4.0 : Nil) 187 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 1.6 : TM_Scale 4.0 4.0 : [])
188 (ST_Map "textures/sfx/firegorre.tga") 188 (ST_Map "textures/sfx/firegorre.tga")
189 True 189 True
190 D_Lequal 190 D_Lequal
@@ -196,7 +196,7 @@ sampleMaterial
196 RGB_Identity 196 RGB_Identity
197 A_Identity 197 A_Identity
198 TG_Base 198 TG_Base
199 Nil 199 []
200 (ST_Map "textures/gothic_block/demon_block15fx.tga") 200 (ST_Map "textures/gothic_block/demon_block15fx.tga")
201 False 201 False
202 D_Lequal 202 D_Lequal
@@ -208,14 +208,14 @@ sampleMaterial
208 RGB_Identity 208 RGB_Identity
209 A_Identity 209 A_Identity
210 TG_Lightmap 210 TG_Lightmap
211 Nil 211 []
212 ST_Lightmap 212 ST_Lightmap
213 False 213 False
214 D_Lequal 214 D_Lequal
215 Nothing 215 Nothing
216 False 216 False
217 "Tex_2065974340" 217 "Tex_2065974340"
218 : Nil) 218 : [])
219 False) 219 False)
220 HNil) 220 HNil)
221 : HCons 221 : HCons
@@ -229,7 +229,7 @@ sampleMaterial
229 False 229 False
230 False 230 False
231 CT_FrontSided 231 CT_FrontSided
232 Nil 232 []
233 False 233 False
234 False 234 False
235 (StageAttrs 235 (StageAttrs
@@ -237,7 +237,7 @@ sampleMaterial
237 RGB_IdentityLighting 237 RGB_IdentityLighting
238 A_Identity 238 A_Identity
239 TG_Base 239 TG_Base
240 Nil 240 []
241 (ST_Map "textures/gothic_block/killblock") 241 (ST_Map "textures/gothic_block/killblock")
242 True 242 True
243 D_Lequal 243 D_Lequal
@@ -249,14 +249,14 @@ sampleMaterial
249 RGB_IdentityLighting 249 RGB_IdentityLighting
250 A_Identity 250 A_Identity
251 TG_Lightmap 251 TG_Lightmap
252 Nil 252 []
253 ST_Lightmap 253 ST_Lightmap
254 True 254 True
255 D_Lequal 255 D_Lequal
256 Nothing 256 Nothing
257 False 257 False
258 "Tex_3226210144" 258 "Tex_3226210144"
259 : Nil) 259 : [])
260 False) 260 False)
261 HNil) 261 HNil)
262 : HCons 262 : HCons
@@ -270,7 +270,7 @@ sampleMaterial
270 False 270 False
271 False 271 False
272 CT_FrontSided 272 CT_FrontSided
273 Nil 273 []
274 False 274 False
275 False 275 False
276 (StageAttrs 276 (StageAttrs
@@ -278,7 +278,7 @@ sampleMaterial
278 RGB_IdentityLighting 278 RGB_IdentityLighting
279 A_Identity 279 A_Identity
280 TG_Base 280 TG_Base
281 Nil 281 []
282 (ST_Map "textures/gothic_block/killblock_i") 282 (ST_Map "textures/gothic_block/killblock_i")
283 True 283 True
284 D_Lequal 284 D_Lequal
@@ -290,14 +290,14 @@ sampleMaterial
290 RGB_IdentityLighting 290 RGB_IdentityLighting
291 A_Identity 291 A_Identity
292 TG_Lightmap 292 TG_Lightmap
293 Nil 293 []
294 ST_Lightmap 294 ST_Lightmap
295 True 295 True
296 D_Lequal 296 D_Lequal
297 Nothing 297 Nothing
298 False 298 False
299 "Tex_3226210144" 299 "Tex_3226210144"
300 : Nil) 300 : [])
301 False) 301 False)
302 HNil) 302 HNil)
303 : HCons 303 : HCons
@@ -311,7 +311,7 @@ sampleMaterial
311 False 311 False
312 False 312 False
313 CT_FrontSided 313 CT_FrontSided
314 Nil 314 []
315 False 315 False
316 False 316 False
317 (StageAttrs 317 (StageAttrs
@@ -319,7 +319,7 @@ sampleMaterial
319 RGB_IdentityLighting 319 RGB_IdentityLighting
320 A_Identity 320 A_Identity
321 TG_Base 321 TG_Base
322 Nil 322 []
323 (ST_Map "textures/gothic_block/killblock_i4") 323 (ST_Map "textures/gothic_block/killblock_i4")
324 True 324 True
325 D_Lequal 325 D_Lequal
@@ -331,14 +331,14 @@ sampleMaterial
331 RGB_IdentityLighting 331 RGB_IdentityLighting
332 A_Identity 332 A_Identity
333 TG_Lightmap 333 TG_Lightmap
334 Nil 334 []
335 ST_Lightmap 335 ST_Lightmap
336 True 336 True
337 D_Lequal 337 D_Lequal
338 Nothing 338 Nothing
339 False 339 False
340 "Tex_3226210144" 340 "Tex_3226210144"
341 : Nil) 341 : [])
342 False) 342 False)
343 HNil) 343 HNil)
344 : HCons 344 : HCons
@@ -352,7 +352,7 @@ sampleMaterial
352 False 352 False
353 False 353 False
354 CT_FrontSided 354 CT_FrontSided
355 Nil 355 []
356 False 356 False
357 False 357 False
358 (StageAttrs 358 (StageAttrs
@@ -360,7 +360,7 @@ sampleMaterial
360 RGB_IdentityLighting 360 RGB_IdentityLighting
361 A_Identity 361 A_Identity
362 TG_Base 362 TG_Base
363 Nil 363 []
364 (ST_Map "textures/gothic_door/km_arena1archfinalc_mid") 364 (ST_Map "textures/gothic_door/km_arena1archfinalc_mid")
365 True 365 True
366 D_Lequal 366 D_Lequal
@@ -372,14 +372,14 @@ sampleMaterial
372 RGB_IdentityLighting 372 RGB_IdentityLighting
373 A_Identity 373 A_Identity
374 TG_Lightmap 374 TG_Lightmap
375 Nil 375 []
376 ST_Lightmap 376 ST_Lightmap
377 True 377 True
378 D_Lequal 378 D_Lequal
379 Nothing 379 Nothing
380 False 380 False
381 "Tex_3226210144" 381 "Tex_3226210144"
382 : Nil) 382 : [])
383 False) 383 False)
384 HNil) 384 HNil)
385 : HCons 385 : HCons
@@ -393,7 +393,7 @@ sampleMaterial
393 False 393 False
394 False 394 False
395 CT_FrontSided 395 CT_FrontSided
396 Nil 396 []
397 False 397 False
398 False 398 False
399 (StageAttrs 399 (StageAttrs
@@ -401,7 +401,7 @@ sampleMaterial
401 RGB_IdentityLighting 401 RGB_IdentityLighting
402 A_Identity 402 A_Identity
403 TG_Base 403 TG_Base
404 Nil 404 []
405 (ST_Map "textures/gothic_door/km_arena1archfinalc_top") 405 (ST_Map "textures/gothic_door/km_arena1archfinalc_top")
406 True 406 True
407 D_Lequal 407 D_Lequal
@@ -413,14 +413,14 @@ sampleMaterial
413 RGB_IdentityLighting 413 RGB_IdentityLighting
414 A_Identity 414 A_Identity
415 TG_Lightmap 415 TG_Lightmap
416 Nil 416 []
417 ST_Lightmap 417 ST_Lightmap
418 True 418 True
419 D_Lequal 419 D_Lequal
420 Nothing 420 Nothing
421 False 421 False
422 "Tex_3226210144" 422 "Tex_3226210144"
423 : Nil) 423 : [])
424 False) 424 False)
425 HNil) 425 HNil)
426 : HCons 426 : HCons
@@ -434,7 +434,7 @@ sampleMaterial
434 False 434 False
435 False 435 False
436 CT_FrontSided 436 CT_FrontSided
437 Nil 437 []
438 False 438 False
439 False 439 False
440 (StageAttrs 440 (StageAttrs
@@ -442,7 +442,7 @@ sampleMaterial
442 RGB_IdentityLighting 442 RGB_IdentityLighting
443 A_Identity 443 A_Identity
444 TG_Base 444 TG_Base
445 Nil 445 []
446 (ST_Map "textures/gothic_door/km_arena1archfinald_bot") 446 (ST_Map "textures/gothic_door/km_arena1archfinald_bot")
447 True 447 True
448 D_Lequal 448 D_Lequal
@@ -454,14 +454,14 @@ sampleMaterial
454 RGB_IdentityLighting 454 RGB_IdentityLighting
455 A_Identity 455 A_Identity
456 TG_Lightmap 456 TG_Lightmap
457 Nil 457 []
458 ST_Lightmap 458 ST_Lightmap
459 True 459 True
460 D_Lequal 460 D_Lequal
461 Nothing 461 Nothing
462 False 462 False
463 "Tex_3226210144" 463 "Tex_3226210144"
464 : Nil) 464 : [])
465 False) 465 False)
466 HNil) 466 HNil)
467 : HCons 467 : HCons
@@ -475,7 +475,7 @@ sampleMaterial
475 False 475 False
476 False 476 False
477 CT_FrontSided 477 CT_FrontSided
478 Nil 478 []
479 False 479 False
480 False 480 False
481 (StageAttrs 481 (StageAttrs
@@ -483,7 +483,7 @@ sampleMaterial
483 RGB_IdentityLighting 483 RGB_IdentityLighting
484 A_Identity 484 A_Identity
485 TG_Base 485 TG_Base
486 Nil 486 []
487 (ST_Map "textures/gothic_door/km_arena1archfinald_mid") 487 (ST_Map "textures/gothic_door/km_arena1archfinald_mid")
488 True 488 True
489 D_Lequal 489 D_Lequal
@@ -495,14 +495,14 @@ sampleMaterial
495 RGB_IdentityLighting 495 RGB_IdentityLighting
496 A_Identity 496 A_Identity
497 TG_Lightmap 497 TG_Lightmap
498 Nil 498 []
499 ST_Lightmap 499 ST_Lightmap
500 True 500 True
501 D_Lequal 501 D_Lequal
502 Nothing 502 Nothing
503 False 503 False
504 "Tex_3226210144" 504 "Tex_3226210144"
505 : Nil) 505 : [])
506 False) 506 False)
507 HNil) 507 HNil)
508 : HCons 508 : HCons
@@ -516,7 +516,7 @@ sampleMaterial
516 False 516 False
517 False 517 False
518 CT_FrontSided 518 CT_FrontSided
519 Nil 519 []
520 False 520 False
521 False 521 False
522 (StageAttrs 522 (StageAttrs
@@ -524,7 +524,7 @@ sampleMaterial
524 RGB_IdentityLighting 524 RGB_IdentityLighting
525 A_Identity 525 A_Identity
526 TG_Base 526 TG_Base
527 Nil 527 []
528 (ST_Map "textures/gothic_door/skull_door_a") 528 (ST_Map "textures/gothic_door/skull_door_a")
529 True 529 True
530 D_Lequal 530 D_Lequal
@@ -536,14 +536,14 @@ sampleMaterial
536 RGB_IdentityLighting 536 RGB_IdentityLighting
537 A_Identity 537 A_Identity
538 TG_Lightmap 538 TG_Lightmap
539 Nil 539 []
540 ST_Lightmap 540 ST_Lightmap
541 True 541 True
542 D_Lequal 542 D_Lequal
543 Nothing 543 Nothing
544 False 544 False
545 "Tex_3226210144" 545 "Tex_3226210144"
546 : Nil) 546 : [])
547 False) 547 False)
548 HNil) 548 HNil)
549 : HCons 549 : HCons
@@ -557,7 +557,7 @@ sampleMaterial
557 False 557 False
558 False 558 False
559 CT_FrontSided 559 CT_FrontSided
560 Nil 560 []
561 False 561 False
562 False 562 False
563 (StageAttrs 563 (StageAttrs
@@ -565,7 +565,7 @@ sampleMaterial
565 RGB_IdentityLighting 565 RGB_IdentityLighting
566 A_Identity 566 A_Identity
567 TG_Base 567 TG_Base
568 Nil 568 []
569 (ST_Map "textures/gothic_door/skull_door_b") 569 (ST_Map "textures/gothic_door/skull_door_b")
570 True 570 True
571 D_Lequal 571 D_Lequal
@@ -577,14 +577,14 @@ sampleMaterial
577 RGB_IdentityLighting 577 RGB_IdentityLighting
578 A_Identity 578 A_Identity
579 TG_Lightmap 579 TG_Lightmap
580 Nil 580 []
581 ST_Lightmap 581 ST_Lightmap
582 True 582 True
583 D_Lequal 583 D_Lequal
584 Nothing 584 Nothing
585 False 585 False
586 "Tex_3226210144" 586 "Tex_3226210144"
587 : Nil) 587 : [])
588 False) 588 False)
589 HNil) 589 HNil)
590 : HCons 590 : HCons
@@ -598,7 +598,7 @@ sampleMaterial
598 False 598 False
599 False 599 False
600 CT_FrontSided 600 CT_FrontSided
601 Nil 601 []
602 False 602 False
603 False 603 False
604 (StageAttrs 604 (StageAttrs
@@ -606,7 +606,7 @@ sampleMaterial
606 RGB_IdentityLighting 606 RGB_IdentityLighting
607 A_Identity 607 A_Identity
608 TG_Base 608 TG_Base
609 Nil 609 []
610 (ST_Map "textures/gothic_door/skull_door_c") 610 (ST_Map "textures/gothic_door/skull_door_c")
611 True 611 True
612 D_Lequal 612 D_Lequal
@@ -618,14 +618,14 @@ sampleMaterial
618 RGB_IdentityLighting 618 RGB_IdentityLighting
619 A_Identity 619 A_Identity
620 TG_Lightmap 620 TG_Lightmap
621 Nil 621 []
622 ST_Lightmap 622 ST_Lightmap
623 True 623 True
624 D_Lequal 624 D_Lequal
625 Nothing 625 Nothing
626 False 626 False
627 "Tex_3226210144" 627 "Tex_3226210144"
628 : Nil) 628 : [])
629 False) 629 False)
630 HNil) 630 HNil)
631 : HCons 631 : HCons
@@ -639,7 +639,7 @@ sampleMaterial
639 False 639 False
640 False 640 False
641 CT_FrontSided 641 CT_FrontSided
642 Nil 642 []
643 False 643 False
644 False 644 False
645 (StageAttrs 645 (StageAttrs
@@ -647,7 +647,7 @@ sampleMaterial
647 RGB_IdentityLighting 647 RGB_IdentityLighting
648 A_Identity 648 A_Identity
649 TG_Base 649 TG_Base
650 Nil 650 []
651 (ST_Map "textures/gothic_door/skull_door_d") 651 (ST_Map "textures/gothic_door/skull_door_d")
652 True 652 True
653 D_Lequal 653 D_Lequal
@@ -659,14 +659,14 @@ sampleMaterial
659 RGB_IdentityLighting 659 RGB_IdentityLighting
660 A_Identity 660 A_Identity
661 TG_Lightmap 661 TG_Lightmap
662 Nil 662 []
663 ST_Lightmap 663 ST_Lightmap
664 True 664 True
665 D_Lequal 665 D_Lequal
666 Nothing 666 Nothing
667 False 667 False
668 "Tex_3226210144" 668 "Tex_3226210144"
669 : Nil) 669 : [])
670 False) 670 False)
671 HNil) 671 HNil)
672 : HCons 672 : HCons
@@ -680,7 +680,7 @@ sampleMaterial
680 False 680 False
681 False 681 False
682 CT_FrontSided 682 CT_FrontSided
683 Nil 683 []
684 False 684 False
685 False 685 False
686 (StageAttrs 686 (StageAttrs
@@ -688,7 +688,7 @@ sampleMaterial
688 RGB_IdentityLighting 688 RGB_IdentityLighting
689 A_Identity 689 A_Identity
690 TG_Base 690 TG_Base
691 Nil 691 []
692 (ST_Map "textures/gothic_door/skull_door_e") 692 (ST_Map "textures/gothic_door/skull_door_e")
693 True 693 True
694 D_Lequal 694 D_Lequal
@@ -700,14 +700,14 @@ sampleMaterial
700 RGB_IdentityLighting 700 RGB_IdentityLighting
701 A_Identity 701 A_Identity
702 TG_Lightmap 702 TG_Lightmap
703 Nil 703 []
704 ST_Lightmap 704 ST_Lightmap
705 True 705 True
706 D_Lequal 706 D_Lequal
707 Nothing 707 Nothing
708 False 708 False
709 "Tex_3226210144" 709 "Tex_3226210144"
710 : Nil) 710 : [])
711 False) 711 False)
712 HNil) 712 HNil)
713 : HCons 713 : HCons
@@ -721,7 +721,7 @@ sampleMaterial
721 False 721 False
722 False 722 False
723 CT_FrontSided 723 CT_FrontSided
724 Nil 724 []
725 False 725 False
726 False 726 False
727 (StageAttrs 727 (StageAttrs
@@ -729,7 +729,7 @@ sampleMaterial
729 RGB_IdentityLighting 729 RGB_IdentityLighting
730 A_Identity 730 A_Identity
731 TG_Base 731 TG_Base
732 Nil 732 []
733 (ST_Map "textures/gothic_door/skull_door_f") 733 (ST_Map "textures/gothic_door/skull_door_f")
734 True 734 True
735 D_Lequal 735 D_Lequal
@@ -741,14 +741,14 @@ sampleMaterial
741 RGB_IdentityLighting 741 RGB_IdentityLighting
742 A_Identity 742 A_Identity
743 TG_Lightmap 743 TG_Lightmap
744 Nil 744 []
745 ST_Lightmap 745 ST_Lightmap
746 True 746 True
747 D_Lequal 747 D_Lequal
748 Nothing 748 Nothing
749 False 749 False
750 "Tex_3226210144" 750 "Tex_3226210144"
751 : Nil) 751 : [])
752 False) 752 False)
753 HNil) 753 HNil)
754 : HCons 754 : HCons
@@ -762,7 +762,7 @@ sampleMaterial
762 False 762 False
763 False 763 False
764 CT_FrontSided 764 CT_FrontSided
765 Nil 765 []
766 False 766 False
767 False 767 False
768 (StageAttrs 768 (StageAttrs
@@ -770,7 +770,7 @@ sampleMaterial
770 RGB_IdentityLighting 770 RGB_IdentityLighting
771 A_Identity 771 A_Identity
772 TG_Base 772 TG_Base
773 Nil 773 []
774 (ST_Map "textures/gothic_door/skullarch_a") 774 (ST_Map "textures/gothic_door/skullarch_a")
775 True 775 True
776 D_Lequal 776 D_Lequal
@@ -782,14 +782,14 @@ sampleMaterial
782 RGB_IdentityLighting 782 RGB_IdentityLighting
783 A_Identity 783 A_Identity
784 TG_Lightmap 784 TG_Lightmap
785 Nil 785 []
786 ST_Lightmap 786 ST_Lightmap
787 True 787 True
788 D_Lequal 788 D_Lequal
789 Nothing 789 Nothing
790 False 790 False
791 "Tex_3226210144" 791 "Tex_3226210144"
792 : Nil) 792 : [])
793 False) 793 False)
794 HNil) 794 HNil)
795 : HCons 795 : HCons
@@ -803,7 +803,7 @@ sampleMaterial
803 False 803 False
804 False 804 False
805 CT_FrontSided 805 CT_FrontSided
806 Nil 806 []
807 False 807 False
808 False 808 False
809 (StageAttrs 809 (StageAttrs
@@ -811,7 +811,7 @@ sampleMaterial
811 RGB_Identity 811 RGB_Identity
812 A_Identity 812 A_Identity
813 TG_Base 813 TG_Base
814 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 5.6 : TM_Scale 1.5 1.5 : Nil) 814 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 5.6 : TM_Scale 1.5 1.5 : [])
815 (ST_Map "textures/sfx/firegorre.tga") 815 (ST_Map "textures/sfx/firegorre.tga")
816 True 816 True
817 D_Lequal 817 D_Lequal
@@ -823,7 +823,7 @@ sampleMaterial
823 RGB_Identity 823 RGB_Identity
824 A_Identity 824 A_Identity
825 TG_Base 825 TG_Base
826 Nil 826 []
827 (ST_Map "textures/gothic_door/skullarch_b.tga") 827 (ST_Map "textures/gothic_door/skullarch_b.tga")
828 False 828 False
829 D_Lequal 829 D_Lequal
@@ -835,14 +835,14 @@ sampleMaterial
835 RGB_Identity 835 RGB_Identity
836 A_Identity 836 A_Identity
837 TG_Lightmap 837 TG_Lightmap
838 Nil 838 []
839 ST_Lightmap 839 ST_Lightmap
840 False 840 False
841 D_Lequal 841 D_Lequal
842 Nothing 842 Nothing
843 False 843 False
844 "Tex_1196599720" 844 "Tex_1196599720"
845 : Nil) 845 : [])
846 False) 846 False)
847 HNil) 847 HNil)
848 : HCons 848 : HCons
@@ -856,7 +856,7 @@ sampleMaterial
856 False 856 False
857 False 857 False
858 CT_FrontSided 858 CT_FrontSided
859 Nil 859 []
860 False 860 False
861 False 861 False
862 (StageAttrs 862 (StageAttrs
@@ -864,7 +864,7 @@ sampleMaterial
864 RGB_IdentityLighting 864 RGB_IdentityLighting
865 A_Identity 865 A_Identity
866 TG_Base 866 TG_Base
867 Nil 867 []
868 (ST_Map "textures/gothic_door/skullarch_c") 868 (ST_Map "textures/gothic_door/skullarch_c")
869 True 869 True
870 D_Lequal 870 D_Lequal
@@ -876,14 +876,14 @@ sampleMaterial
876 RGB_IdentityLighting 876 RGB_IdentityLighting
877 A_Identity 877 A_Identity
878 TG_Lightmap 878 TG_Lightmap
879 Nil 879 []
880 ST_Lightmap 880 ST_Lightmap
881 True 881 True
882 D_Lequal 882 D_Lequal
883 Nothing 883 Nothing
884 False 884 False
885 "Tex_3226210144" 885 "Tex_3226210144"
886 : Nil) 886 : [])
887 False) 887 False)
888 HNil) 888 HNil)
889 : HCons 889 : HCons
@@ -897,7 +897,7 @@ sampleMaterial
897 False 897 False
898 False 898 False
899 CT_FrontSided 899 CT_FrontSided
900 Nil 900 []
901 False 901 False
902 False 902 False
903 (StageAttrs 903 (StageAttrs
@@ -905,7 +905,7 @@ sampleMaterial
905 RGB_IdentityLighting 905 RGB_IdentityLighting
906 A_Identity 906 A_Identity
907 TG_Base 907 TG_Base
908 Nil 908 []
909 (ST_Map "textures/gothic_door/xian_tourneyarch_inside2") 909 (ST_Map "textures/gothic_door/xian_tourneyarch_inside2")
910 True 910 True
911 D_Lequal 911 D_Lequal
@@ -917,14 +917,14 @@ sampleMaterial
917 RGB_IdentityLighting 917 RGB_IdentityLighting
918 A_Identity 918 A_Identity
919 TG_Lightmap 919 TG_Lightmap
920 Nil 920 []
921 ST_Lightmap 921 ST_Lightmap
922 True 922 True
923 D_Lequal 923 D_Lequal
924 Nothing 924 Nothing
925 False 925 False
926 "Tex_3226210144" 926 "Tex_3226210144"
927 : Nil) 927 : [])
928 False) 928 False)
929 HNil) 929 HNil)
930 : HCons 930 : HCons
@@ -938,7 +938,7 @@ sampleMaterial
938 False 938 False
939 False 939 False
940 CT_FrontSided 940 CT_FrontSided
941 Nil 941 []
942 False 942 False
943 False 943 False
944 (StageAttrs 944 (StageAttrs
@@ -946,7 +946,7 @@ sampleMaterial
946 RGB_IdentityLighting 946 RGB_IdentityLighting
947 A_Identity 947 A_Identity
948 TG_Base 948 TG_Base
949 Nil 949 []
950 (ST_Map "textures/gothic_floor/blocks17floor2") 950 (ST_Map "textures/gothic_floor/blocks17floor2")
951 True 951 True
952 D_Lequal 952 D_Lequal
@@ -958,14 +958,14 @@ sampleMaterial
958 RGB_IdentityLighting 958 RGB_IdentityLighting
959 A_Identity 959 A_Identity
960 TG_Lightmap 960 TG_Lightmap
961 Nil 961 []
962 ST_Lightmap 962 ST_Lightmap
963 True 963 True
964 D_Lequal 964 D_Lequal
965 Nothing 965 Nothing
966 False 966 False
967 "Tex_3226210144" 967 "Tex_3226210144"
968 : Nil) 968 : [])
969 False) 969 False)
970 HNil) 970 HNil)
971 : HCons 971 : HCons
@@ -979,7 +979,7 @@ sampleMaterial
979 False 979 False
980 False 980 False
981 CT_FrontSided 981 CT_FrontSided
982 Nil 982 []
983 False 983 False
984 False 984 False
985 (StageAttrs 985 (StageAttrs
@@ -987,7 +987,7 @@ sampleMaterial
987 RGB_IdentityLighting 987 RGB_IdentityLighting
988 A_Identity 988 A_Identity
989 TG_Base 989 TG_Base
990 Nil 990 []
991 (ST_Map "textures/gothic_floor/largerblock3b") 991 (ST_Map "textures/gothic_floor/largerblock3b")
992 True 992 True
993 D_Lequal 993 D_Lequal
@@ -999,14 +999,14 @@ sampleMaterial
999 RGB_IdentityLighting 999 RGB_IdentityLighting
1000 A_Identity 1000 A_Identity
1001 TG_Lightmap 1001 TG_Lightmap
1002 Nil 1002 []
1003 ST_Lightmap 1003 ST_Lightmap
1004 True 1004 True
1005 D_Lequal 1005 D_Lequal
1006 Nothing 1006 Nothing
1007 False 1007 False
1008 "Tex_3226210144" 1008 "Tex_3226210144"
1009 : Nil) 1009 : [])
1010 False) 1010 False)
1011 HNil) 1011 HNil)
1012 : HCons 1012 : HCons
@@ -1020,7 +1020,7 @@ sampleMaterial
1020 False 1020 False
1021 False 1021 False
1022 CT_FrontSided 1022 CT_FrontSided
1023 Nil 1023 []
1024 False 1024 False
1025 False 1025 False
1026 (StageAttrs 1026 (StageAttrs
@@ -1028,7 +1028,7 @@ sampleMaterial
1028 RGB_IdentityLighting 1028 RGB_IdentityLighting
1029 A_Identity 1029 A_Identity
1030 TG_Base 1030 TG_Base
1031 Nil 1031 []
1032 (ST_Map "textures/gothic_floor/metalbridge06") 1032 (ST_Map "textures/gothic_floor/metalbridge06")
1033 True 1033 True
1034 D_Lequal 1034 D_Lequal
@@ -1040,14 +1040,14 @@ sampleMaterial
1040 RGB_IdentityLighting 1040 RGB_IdentityLighting
1041 A_Identity 1041 A_Identity
1042 TG_Lightmap 1042 TG_Lightmap
1043 Nil 1043 []
1044 ST_Lightmap 1044 ST_Lightmap
1045 True 1045 True
1046 D_Lequal 1046 D_Lequal
1047 Nothing 1047 Nothing
1048 False 1048 False
1049 "Tex_3226210144" 1049 "Tex_3226210144"
1050 : Nil) 1050 : [])
1051 False) 1051 False)
1052 HNil) 1052 HNil)
1053 : HCons 1053 : HCons
@@ -1061,7 +1061,7 @@ sampleMaterial
1061 False 1061 False
1062 False 1062 False
1063 CT_FrontSided 1063 CT_FrontSided
1064 Nil 1064 []
1065 False 1065 False
1066 False 1066 False
1067 (StageAttrs 1067 (StageAttrs
@@ -1069,7 +1069,7 @@ sampleMaterial
1069 RGB_IdentityLighting 1069 RGB_IdentityLighting
1070 A_Identity 1070 A_Identity
1071 TG_Base 1071 TG_Base
1072 Nil 1072 []
1073 (ST_Map "textures/gothic_floor/metalbridge06broke") 1073 (ST_Map "textures/gothic_floor/metalbridge06broke")
1074 True 1074 True
1075 D_Lequal 1075 D_Lequal
@@ -1081,14 +1081,14 @@ sampleMaterial
1081 RGB_IdentityLighting 1081 RGB_IdentityLighting
1082 A_Identity 1082 A_Identity
1083 TG_Lightmap 1083 TG_Lightmap
1084 Nil 1084 []
1085 ST_Lightmap 1085 ST_Lightmap
1086 True 1086 True
1087 D_Lequal 1087 D_Lequal
1088 Nothing 1088 Nothing
1089 False 1089 False
1090 "Tex_3226210144" 1090 "Tex_3226210144"
1091 : Nil) 1091 : [])
1092 False) 1092 False)
1093 HNil) 1093 HNil)
1094 : HCons 1094 : HCons
@@ -1102,7 +1102,7 @@ sampleMaterial
1102 False 1102 False
1103 False 1103 False
1104 CT_FrontSided 1104 CT_FrontSided
1105 Nil 1105 []
1106 False 1106 False
1107 False 1107 False
1108 (StageAttrs 1108 (StageAttrs
@@ -1110,7 +1110,7 @@ sampleMaterial
1110 RGB_IdentityLighting 1110 RGB_IdentityLighting
1111 A_Identity 1111 A_Identity
1112 TG_Base 1112 TG_Base
1113 Nil 1113 []
1114 (ST_Map "textures/gothic_floor/xstairtop4") 1114 (ST_Map "textures/gothic_floor/xstairtop4")
1115 True 1115 True
1116 D_Lequal 1116 D_Lequal
@@ -1122,14 +1122,14 @@ sampleMaterial
1122 RGB_IdentityLighting 1122 RGB_IdentityLighting
1123 A_Identity 1123 A_Identity
1124 TG_Lightmap 1124 TG_Lightmap
1125 Nil 1125 []
1126 ST_Lightmap 1126 ST_Lightmap
1127 True 1127 True
1128 D_Lequal 1128 D_Lequal
1129 Nothing 1129 Nothing
1130 False 1130 False
1131 "Tex_3226210144" 1131 "Tex_3226210144"
1132 : Nil) 1132 : [])
1133 False) 1133 False)
1134 HNil) 1134 HNil)
1135 : HCons 1135 : HCons
@@ -1143,7 +1143,7 @@ sampleMaterial
1143 False 1143 False
1144 False 1144 False
1145 CT_FrontSided 1145 CT_FrontSided
1146 Nil 1146 []
1147 False 1147 False
1148 False 1148 False
1149 (StageAttrs 1149 (StageAttrs
@@ -1151,7 +1151,7 @@ sampleMaterial
1151 RGB_IdentityLighting 1151 RGB_IdentityLighting
1152 A_Identity 1152 A_Identity
1153 TG_Base 1153 TG_Base
1154 Nil 1154 []
1155 (ST_Map "textures/gothic_floor/xstepborder3") 1155 (ST_Map "textures/gothic_floor/xstepborder3")
1156 True 1156 True
1157 D_Lequal 1157 D_Lequal
@@ -1163,14 +1163,14 @@ sampleMaterial
1163 RGB_IdentityLighting 1163 RGB_IdentityLighting
1164 A_Identity 1164 A_Identity
1165 TG_Lightmap 1165 TG_Lightmap
1166 Nil 1166 []
1167 ST_Lightmap 1167 ST_Lightmap
1168 True 1168 True
1169 D_Lequal 1169 D_Lequal
1170 Nothing 1170 Nothing
1171 False 1171 False
1172 "Tex_3226210144" 1172 "Tex_3226210144"
1173 : Nil) 1173 : [])
1174 False) 1174 False)
1175 HNil) 1175 HNil)
1176 : HCons 1176 : HCons
@@ -1184,7 +1184,7 @@ sampleMaterial
1184 False 1184 False
1185 False 1185 False
1186 CT_FrontSided 1186 CT_FrontSided
1187 Nil 1187 []
1188 False 1188 False
1189 False 1189 False
1190 (StageAttrs 1190 (StageAttrs
@@ -1192,7 +1192,7 @@ sampleMaterial
1192 RGB_IdentityLighting 1192 RGB_IdentityLighting
1193 A_Identity 1193 A_Identity
1194 TG_Base 1194 TG_Base
1195 Nil 1195 []
1196 (ST_Map "textures/gothic_trim/baseboard04") 1196 (ST_Map "textures/gothic_trim/baseboard04")
1197 True 1197 True
1198 D_Lequal 1198 D_Lequal
@@ -1204,14 +1204,14 @@ sampleMaterial
1204 RGB_IdentityLighting 1204 RGB_IdentityLighting
1205 A_Identity 1205 A_Identity
1206 TG_Lightmap 1206 TG_Lightmap
1207 Nil 1207 []
1208 ST_Lightmap 1208 ST_Lightmap
1209 True 1209 True
1210 D_Lequal 1210 D_Lequal
1211 Nothing 1211 Nothing
1212 False 1212 False
1213 "Tex_3226210144" 1213 "Tex_3226210144"
1214 : Nil) 1214 : [])
1215 False) 1215 False)
1216 HNil) 1216 HNil)
1217 : HCons 1217 : HCons
@@ -1225,7 +1225,7 @@ sampleMaterial
1225 False 1225 False
1226 False 1226 False
1227 CT_FrontSided 1227 CT_FrontSided
1228 Nil 1228 []
1229 False 1229 False
1230 False 1230 False
1231 (StageAttrs 1231 (StageAttrs
@@ -1233,7 +1233,7 @@ sampleMaterial
1233 RGB_IdentityLighting 1233 RGB_IdentityLighting
1234 A_Identity 1234 A_Identity
1235 TG_Base 1235 TG_Base
1236 Nil 1236 []
1237 (ST_Map "textures/gothic_trim/baseboard09_c3") 1237 (ST_Map "textures/gothic_trim/baseboard09_c3")
1238 True 1238 True
1239 D_Lequal 1239 D_Lequal
@@ -1245,14 +1245,14 @@ sampleMaterial
1245 RGB_IdentityLighting 1245 RGB_IdentityLighting
1246 A_Identity 1246 A_Identity
1247 TG_Lightmap 1247 TG_Lightmap
1248 Nil 1248 []
1249 ST_Lightmap 1249 ST_Lightmap
1250 True 1250 True
1251 D_Lequal 1251 D_Lequal
1252 Nothing 1252 Nothing
1253 False 1253 False
1254 "Tex_3226210144" 1254 "Tex_3226210144"
1255 : Nil) 1255 : [])
1256 False) 1256 False)
1257 HNil) 1257 HNil)
1258 : HCons 1258 : HCons
@@ -1266,7 +1266,7 @@ sampleMaterial
1266 False 1266 False
1267 False 1267 False
1268 CT_FrontSided 1268 CT_FrontSided
1269 Nil 1269 []
1270 False 1270 False
1271 False 1271 False
1272 (StageAttrs 1272 (StageAttrs
@@ -1274,7 +1274,7 @@ sampleMaterial
1274 RGB_IdentityLighting 1274 RGB_IdentityLighting
1275 A_Identity 1275 A_Identity
1276 TG_Base 1276 TG_Base
1277 Nil 1277 []
1278 (ST_Map "textures/gothic_trim/baseboard09_e") 1278 (ST_Map "textures/gothic_trim/baseboard09_e")
1279 True 1279 True
1280 D_Lequal 1280 D_Lequal
@@ -1286,14 +1286,14 @@ sampleMaterial
1286 RGB_IdentityLighting 1286 RGB_IdentityLighting
1287 A_Identity 1287 A_Identity
1288 TG_Lightmap 1288 TG_Lightmap
1289 Nil 1289 []
1290 ST_Lightmap 1290 ST_Lightmap
1291 True 1291 True
1292 D_Lequal 1292 D_Lequal
1293 Nothing 1293 Nothing
1294 False 1294 False
1295 "Tex_3226210144" 1295 "Tex_3226210144"
1296 : Nil) 1296 : [])
1297 False) 1297 False)
1298 HNil) 1298 HNil)
1299 : HCons 1299 : HCons
@@ -1307,7 +1307,7 @@ sampleMaterial
1307 False 1307 False
1308 False 1308 False
1309 CT_FrontSided 1309 CT_FrontSided
1310 Nil 1310 []
1311 False 1311 False
1312 False 1312 False
1313 (StageAttrs 1313 (StageAttrs
@@ -1315,7 +1315,7 @@ sampleMaterial
1315 RGB_IdentityLighting 1315 RGB_IdentityLighting
1316 A_Identity 1316 A_Identity
1317 TG_Base 1317 TG_Base
1318 Nil 1318 []
1319 (ST_Map "textures/gothic_trim/baseboard09_e2") 1319 (ST_Map "textures/gothic_trim/baseboard09_e2")
1320 True 1320 True
1321 D_Lequal 1321 D_Lequal
@@ -1327,14 +1327,14 @@ sampleMaterial
1327 RGB_IdentityLighting 1327 RGB_IdentityLighting
1328 A_Identity 1328 A_Identity
1329 TG_Lightmap 1329 TG_Lightmap
1330 Nil 1330 []
1331 ST_Lightmap 1331 ST_Lightmap
1332 True 1332 True
1333 D_Lequal 1333 D_Lequal
1334 Nothing 1334 Nothing
1335 False 1335 False
1336 "Tex_3226210144" 1336 "Tex_3226210144"
1337 : Nil) 1337 : [])
1338 False) 1338 False)
1339 HNil) 1339 HNil)
1340 : HCons 1340 : HCons
@@ -1348,7 +1348,7 @@ sampleMaterial
1348 False 1348 False
1349 False 1349 False
1350 CT_FrontSided 1350 CT_FrontSided
1351 Nil 1351 []
1352 False 1352 False
1353 False 1353 False
1354 (StageAttrs 1354 (StageAttrs
@@ -1356,7 +1356,7 @@ sampleMaterial
1356 RGB_IdentityLighting 1356 RGB_IdentityLighting
1357 A_Identity 1357 A_Identity
1358 TG_Base 1358 TG_Base
1359 Nil 1359 []
1360 (ST_Map "textures/gothic_trim/baseboard09_l2") 1360 (ST_Map "textures/gothic_trim/baseboard09_l2")
1361 True 1361 True
1362 D_Lequal 1362 D_Lequal
@@ -1368,14 +1368,14 @@ sampleMaterial
1368 RGB_IdentityLighting 1368 RGB_IdentityLighting
1369 A_Identity 1369 A_Identity
1370 TG_Lightmap 1370 TG_Lightmap
1371 Nil 1371 []
1372 ST_Lightmap 1372 ST_Lightmap
1373 True 1373 True
1374 D_Lequal 1374 D_Lequal
1375 Nothing 1375 Nothing
1376 False 1376 False
1377 "Tex_3226210144" 1377 "Tex_3226210144"
1378 : Nil) 1378 : [])
1379 False) 1379 False)
1380 HNil) 1380 HNil)
1381 : HCons 1381 : HCons
@@ -1389,7 +1389,7 @@ sampleMaterial
1389 False 1389 False
1390 False 1390 False
1391 CT_FrontSided 1391 CT_FrontSided
1392 Nil 1392 []
1393 False 1393 False
1394 False 1394 False
1395 (StageAttrs 1395 (StageAttrs
@@ -1397,7 +1397,7 @@ sampleMaterial
1397 RGB_IdentityLighting 1397 RGB_IdentityLighting
1398 A_Identity 1398 A_Identity
1399 TG_Base 1399 TG_Base
1400 Nil 1400 []
1401 (ST_Map "textures/gothic_trim/baseboard09_o3") 1401 (ST_Map "textures/gothic_trim/baseboard09_o3")
1402 True 1402 True
1403 D_Lequal 1403 D_Lequal
@@ -1409,14 +1409,14 @@ sampleMaterial
1409 RGB_IdentityLighting 1409 RGB_IdentityLighting
1410 A_Identity 1410 A_Identity
1411 TG_Lightmap 1411 TG_Lightmap
1412 Nil 1412 []
1413 ST_Lightmap 1413 ST_Lightmap
1414 True 1414 True
1415 D_Lequal 1415 D_Lequal
1416 Nothing 1416 Nothing
1417 False 1417 False
1418 "Tex_3226210144" 1418 "Tex_3226210144"
1419 : Nil) 1419 : [])
1420 False) 1420 False)
1421 HNil) 1421 HNil)
1422 : HCons 1422 : HCons
@@ -1430,7 +1430,7 @@ sampleMaterial
1430 False 1430 False
1431 False 1431 False
1432 CT_FrontSided 1432 CT_FrontSided
1433 Nil 1433 []
1434 False 1434 False
1435 False 1435 False
1436 (StageAttrs 1436 (StageAttrs
@@ -1438,7 +1438,7 @@ sampleMaterial
1438 RGB_IdentityLighting 1438 RGB_IdentityLighting
1439 A_Identity 1439 A_Identity
1440 TG_Base 1440 TG_Base
1441 Nil 1441 []
1442 (ST_Map "textures/gothic_trim/km_arena1tower4") 1442 (ST_Map "textures/gothic_trim/km_arena1tower4")
1443 True 1443 True
1444 D_Lequal 1444 D_Lequal
@@ -1450,14 +1450,14 @@ sampleMaterial
1450 RGB_IdentityLighting 1450 RGB_IdentityLighting
1451 A_Identity 1451 A_Identity
1452 TG_Lightmap 1452 TG_Lightmap
1453 Nil 1453 []
1454 ST_Lightmap 1454 ST_Lightmap
1455 True 1455 True
1456 D_Lequal 1456 D_Lequal
1457 Nothing 1457 Nothing
1458 False 1458 False
1459 "Tex_3226210144" 1459 "Tex_3226210144"
1460 : Nil) 1460 : [])
1461 False) 1461 False)
1462 HNil) 1462 HNil)
1463 : HCons 1463 : HCons
@@ -1471,7 +1471,7 @@ sampleMaterial
1471 False 1471 False
1472 False 1472 False
1473 CT_FrontSided 1473 CT_FrontSided
1474 Nil 1474 []
1475 False 1475 False
1476 False 1476 False
1477 (StageAttrs 1477 (StageAttrs
@@ -1479,7 +1479,7 @@ sampleMaterial
1479 RGB_IdentityLighting 1479 RGB_IdentityLighting
1480 A_Identity 1480 A_Identity
1481 TG_Base 1481 TG_Base
1482 Nil 1482 []
1483 (ST_Map "textures/gothic_trim/km_arena1tower4_a") 1483 (ST_Map "textures/gothic_trim/km_arena1tower4_a")
1484 True 1484 True
1485 D_Lequal 1485 D_Lequal
@@ -1491,14 +1491,14 @@ sampleMaterial
1491 RGB_IdentityLighting 1491 RGB_IdentityLighting
1492 A_Identity 1492 A_Identity
1493 TG_Lightmap 1493 TG_Lightmap
1494 Nil 1494 []
1495 ST_Lightmap 1495 ST_Lightmap
1496 True 1496 True
1497 D_Lequal 1497 D_Lequal
1498 Nothing 1498 Nothing
1499 False 1499 False
1500 "Tex_3226210144" 1500 "Tex_3226210144"
1501 : Nil) 1501 : [])
1502 False) 1502 False)
1503 HNil) 1503 HNil)
1504 : HCons 1504 : HCons
@@ -1512,7 +1512,7 @@ sampleMaterial
1512 False 1512 False
1513 False 1513 False
1514 CT_FrontSided 1514 CT_FrontSided
1515 Nil 1515 []
1516 False 1516 False
1517 False 1517 False
1518 (StageAttrs 1518 (StageAttrs
@@ -1520,7 +1520,7 @@ sampleMaterial
1520 RGB_IdentityLighting 1520 RGB_IdentityLighting
1521 A_Identity 1521 A_Identity
1522 TG_Base 1522 TG_Base
1523 Nil 1523 []
1524 (ST_Map "textures/gothic_trim/metaldemonkillblock") 1524 (ST_Map "textures/gothic_trim/metaldemonkillblock")
1525 True 1525 True
1526 D_Lequal 1526 D_Lequal
@@ -1532,14 +1532,14 @@ sampleMaterial
1532 RGB_IdentityLighting 1532 RGB_IdentityLighting
1533 A_Identity 1533 A_Identity
1534 TG_Lightmap 1534 TG_Lightmap
1535 Nil 1535 []
1536 ST_Lightmap 1536 ST_Lightmap
1537 True 1537 True
1538 D_Lequal 1538 D_Lequal
1539 Nothing 1539 Nothing
1540 False 1540 False
1541 "Tex_3226210144" 1541 "Tex_3226210144"
1542 : Nil) 1542 : [])
1543 False) 1543 False)
1544 HNil) 1544 HNil)
1545 : HCons 1545 : HCons
@@ -1553,7 +1553,7 @@ sampleMaterial
1553 False 1553 False
1554 False 1554 False
1555 CT_FrontSided 1555 CT_FrontSided
1556 Nil 1556 []
1557 False 1557 False
1558 False 1558 False
1559 (StageAttrs 1559 (StageAttrs
@@ -1561,7 +1561,7 @@ sampleMaterial
1561 RGB_IdentityLighting 1561 RGB_IdentityLighting
1562 A_Identity 1562 A_Identity
1563 TG_Base 1563 TG_Base
1564 Nil 1564 []
1565 (ST_Map "textures/gothic_trim/metalsupport4b") 1565 (ST_Map "textures/gothic_trim/metalsupport4b")
1566 True 1566 True
1567 D_Lequal 1567 D_Lequal
@@ -1573,14 +1573,14 @@ sampleMaterial
1573 RGB_IdentityLighting 1573 RGB_IdentityLighting
1574 A_Identity 1574 A_Identity
1575 TG_Lightmap 1575 TG_Lightmap
1576 Nil 1576 []
1577 ST_Lightmap 1577 ST_Lightmap
1578 True 1578 True
1579 D_Lequal 1579 D_Lequal
1580 Nothing 1580 Nothing
1581 False 1581 False
1582 "Tex_3226210144" 1582 "Tex_3226210144"
1583 : Nil) 1583 : [])
1584 False) 1584 False)
1585 HNil) 1585 HNil)
1586 : HCons 1586 : HCons
@@ -1594,7 +1594,7 @@ sampleMaterial
1594 False 1594 False
1595 False 1595 False
1596 CT_FrontSided 1596 CT_FrontSided
1597 Nil 1597 []
1598 False 1598 False
1599 False 1599 False
1600 (StageAttrs 1600 (StageAttrs
@@ -1602,7 +1602,7 @@ sampleMaterial
1602 RGB_IdentityLighting 1602 RGB_IdentityLighting
1603 A_Identity 1603 A_Identity
1604 TG_Base 1604 TG_Base
1605 Nil 1605 []
1606 (ST_Map "textures/gothic_trim/metalsupsolid") 1606 (ST_Map "textures/gothic_trim/metalsupsolid")
1607 True 1607 True
1608 D_Lequal 1608 D_Lequal
@@ -1614,14 +1614,14 @@ sampleMaterial
1614 RGB_IdentityLighting 1614 RGB_IdentityLighting
1615 A_Identity 1615 A_Identity
1616 TG_Lightmap 1616 TG_Lightmap
1617 Nil 1617 []
1618 ST_Lightmap 1618 ST_Lightmap
1619 True 1619 True
1620 D_Lequal 1620 D_Lequal
1621 Nothing 1621 Nothing
1622 False 1622 False
1623 "Tex_3226210144" 1623 "Tex_3226210144"
1624 : Nil) 1624 : [])
1625 False) 1625 False)
1626 HNil) 1626 HNil)
1627 : HCons 1627 : HCons
@@ -1635,7 +1635,7 @@ sampleMaterial
1635 False 1635 False
1636 False 1636 False
1637 CT_FrontSided 1637 CT_FrontSided
1638 Nil 1638 []
1639 False 1639 False
1640 False 1640 False
1641 (StageAttrs 1641 (StageAttrs
@@ -1643,7 +1643,7 @@ sampleMaterial
1643 RGB_IdentityLighting 1643 RGB_IdentityLighting
1644 A_Identity 1644 A_Identity
1645 TG_Base 1645 TG_Base
1646 Nil 1646 []
1647 (ST_Map "textures/gothic_trim/pitted_rust") 1647 (ST_Map "textures/gothic_trim/pitted_rust")
1648 True 1648 True
1649 D_Lequal 1649 D_Lequal
@@ -1655,14 +1655,14 @@ sampleMaterial
1655 RGB_IdentityLighting 1655 RGB_IdentityLighting
1656 A_Identity 1656 A_Identity
1657 TG_Lightmap 1657 TG_Lightmap
1658 Nil 1658 []
1659 ST_Lightmap 1659 ST_Lightmap
1660 True 1660 True
1661 D_Lequal 1661 D_Lequal
1662 Nothing 1662 Nothing
1663 False 1663 False
1664 "Tex_3226210144" 1664 "Tex_3226210144"
1665 : Nil) 1665 : [])
1666 False) 1666 False)
1667 HNil) 1667 HNil)
1668 : HCons 1668 : HCons
@@ -1676,7 +1676,7 @@ sampleMaterial
1676 False 1676 False
1677 False 1677 False
1678 CT_FrontSided 1678 CT_FrontSided
1679 Nil 1679 []
1680 False 1680 False
1681 False 1681 False
1682 (StageAttrs 1682 (StageAttrs
@@ -1684,7 +1684,7 @@ sampleMaterial
1684 RGB_IdentityLighting 1684 RGB_IdentityLighting
1685 A_Identity 1685 A_Identity
1686 TG_Base 1686 TG_Base
1687 Nil 1687 []
1688 (ST_Map "textures/gothic_trim/pitted_rust2") 1688 (ST_Map "textures/gothic_trim/pitted_rust2")
1689 True 1689 True
1690 D_Lequal 1690 D_Lequal
@@ -1696,14 +1696,14 @@ sampleMaterial
1696 RGB_IdentityLighting 1696 RGB_IdentityLighting
1697 A_Identity 1697 A_Identity
1698 TG_Lightmap 1698 TG_Lightmap
1699 Nil 1699 []
1700 ST_Lightmap 1700 ST_Lightmap
1701 True 1701 True
1702 D_Lequal 1702 D_Lequal
1703 Nothing 1703 Nothing
1704 False 1704 False
1705 "Tex_3226210144" 1705 "Tex_3226210144"
1706 : Nil) 1706 : [])
1707 False) 1707 False)
1708 HNil) 1708 HNil)
1709 : HCons 1709 : HCons
@@ -1717,7 +1717,7 @@ sampleMaterial
1717 False 1717 False
1718 False 1718 False
1719 CT_FrontSided 1719 CT_FrontSided
1720 Nil 1720 []
1721 False 1721 False
1722 False 1722 False
1723 (StageAttrs 1723 (StageAttrs
@@ -1725,7 +1725,7 @@ sampleMaterial
1725 RGB_Identity 1725 RGB_Identity
1726 A_Identity 1726 A_Identity
1727 TG_Lightmap 1727 TG_Lightmap
1728 Nil 1728 []
1729 ST_Lightmap 1729 ST_Lightmap
1730 True 1730 True
1731 D_Lequal 1731 D_Lequal
@@ -1737,14 +1737,14 @@ sampleMaterial
1737 RGB_Identity 1737 RGB_Identity
1738 A_Identity 1738 A_Identity
1739 TG_Base 1739 TG_Base
1740 Nil 1740 []
1741 (ST_Map "textures/gothic_trim/pitted_rust2.tga") 1741 (ST_Map "textures/gothic_trim/pitted_rust2.tga")
1742 False 1742 False
1743 D_Lequal 1743 D_Lequal
1744 Nothing 1744 Nothing
1745 False 1745 False
1746 "Tex_1910997598" 1746 "Tex_1910997598"
1747 : Nil) 1747 : [])
1748 False) 1748 False)
1749 HNil) 1749 HNil)
1750 : HCons 1750 : HCons
@@ -1758,7 +1758,7 @@ sampleMaterial
1758 False 1758 False
1759 False 1759 False
1760 CT_FrontSided 1760 CT_FrontSided
1761 Nil 1761 []
1762 False 1762 False
1763 False 1763 False
1764 (StageAttrs 1764 (StageAttrs
@@ -1766,7 +1766,7 @@ sampleMaterial
1766 RGB_IdentityLighting 1766 RGB_IdentityLighting
1767 A_Identity 1767 A_Identity
1768 TG_Base 1768 TG_Base
1769 Nil 1769 []
1770 (ST_Map "textures/gothic_trim/pitted_rust3") 1770 (ST_Map "textures/gothic_trim/pitted_rust3")
1771 True 1771 True
1772 D_Lequal 1772 D_Lequal
@@ -1778,14 +1778,14 @@ sampleMaterial
1778 RGB_IdentityLighting 1778 RGB_IdentityLighting
1779 A_Identity 1779 A_Identity
1780 TG_Lightmap 1780 TG_Lightmap
1781 Nil 1781 []
1782 ST_Lightmap 1782 ST_Lightmap
1783 True 1783 True
1784 D_Lequal 1784 D_Lequal
1785 Nothing 1785 Nothing
1786 False 1786 False
1787 "Tex_3226210144" 1787 "Tex_3226210144"
1788 : Nil) 1788 : [])
1789 False) 1789 False)
1790 HNil) 1790 HNil)
1791 : HCons 1791 : HCons
@@ -1799,7 +1799,7 @@ sampleMaterial
1799 False 1799 False
1800 False 1800 False
1801 CT_FrontSided 1801 CT_FrontSided
1802 Nil 1802 []
1803 False 1803 False
1804 False 1804 False
1805 (StageAttrs 1805 (StageAttrs
@@ -1807,7 +1807,7 @@ sampleMaterial
1807 RGB_IdentityLighting 1807 RGB_IdentityLighting
1808 A_Identity 1808 A_Identity
1809 TG_Base 1809 TG_Base
1810 Nil 1810 []
1811 (ST_Map "textures/gothic_trim/skullsvertgray02b") 1811 (ST_Map "textures/gothic_trim/skullsvertgray02b")
1812 True 1812 True
1813 D_Lequal 1813 D_Lequal
@@ -1819,14 +1819,14 @@ sampleMaterial
1819 RGB_IdentityLighting 1819 RGB_IdentityLighting
1820 A_Identity 1820 A_Identity
1821 TG_Lightmap 1821 TG_Lightmap
1822 Nil 1822 []
1823 ST_Lightmap 1823 ST_Lightmap
1824 True 1824 True
1825 D_Lequal 1825 D_Lequal
1826 Nothing 1826 Nothing
1827 False 1827 False
1828 "Tex_3226210144" 1828 "Tex_3226210144"
1829 : Nil) 1829 : [])
1830 False) 1830 False)
1831 HNil) 1831 HNil)
1832 : HCons 1832 : HCons
@@ -1840,7 +1840,7 @@ sampleMaterial
1840 False 1840 False
1841 False 1841 False
1842 CT_FrontSided 1842 CT_FrontSided
1843 Nil 1843 []
1844 False 1844 False
1845 False 1845 False
1846 (StageAttrs 1846 (StageAttrs
@@ -1848,7 +1848,7 @@ sampleMaterial
1848 RGB_IdentityLighting 1848 RGB_IdentityLighting
1849 A_Identity 1849 A_Identity
1850 TG_Base 1850 TG_Base
1851 Nil 1851 []
1852 (ST_Map "textures/gothic_wall/iron01_e") 1852 (ST_Map "textures/gothic_wall/iron01_e")
1853 True 1853 True
1854 D_Lequal 1854 D_Lequal
@@ -1860,14 +1860,14 @@ sampleMaterial
1860 RGB_IdentityLighting 1860 RGB_IdentityLighting
1861 A_Identity 1861 A_Identity
1862 TG_Lightmap 1862 TG_Lightmap
1863 Nil 1863 []
1864 ST_Lightmap 1864 ST_Lightmap
1865 True 1865 True
1866 D_Lequal 1866 D_Lequal
1867 Nothing 1867 Nothing
1868 False 1868 False
1869 "Tex_3226210144" 1869 "Tex_3226210144"
1870 : Nil) 1870 : [])
1871 False) 1871 False)
1872 HNil) 1872 HNil)
1873 : HCons 1873 : HCons
@@ -1881,7 +1881,7 @@ sampleMaterial
1881 False 1881 False
1882 False 1882 False
1883 CT_FrontSided 1883 CT_FrontSided
1884 Nil 1884 []
1885 False 1885 False
1886 False 1886 False
1887 (StageAttrs 1887 (StageAttrs
@@ -1889,7 +1889,7 @@ sampleMaterial
1889 RGB_IdentityLighting 1889 RGB_IdentityLighting
1890 A_Identity 1890 A_Identity
1891 TG_Base 1891 TG_Base
1892 Nil 1892 []
1893 (ST_Map "textures/gothic_wall/iron01_ntech3") 1893 (ST_Map "textures/gothic_wall/iron01_ntech3")
1894 True 1894 True
1895 D_Lequal 1895 D_Lequal
@@ -1901,14 +1901,14 @@ sampleMaterial
1901 RGB_IdentityLighting 1901 RGB_IdentityLighting
1902 A_Identity 1902 A_Identity
1903 TG_Lightmap 1903 TG_Lightmap
1904 Nil 1904 []
1905 ST_Lightmap 1905 ST_Lightmap
1906 True 1906 True
1907 D_Lequal 1907 D_Lequal
1908 Nothing 1908 Nothing
1909 False 1909 False
1910 "Tex_3226210144" 1910 "Tex_3226210144"
1911 : Nil) 1911 : [])
1912 False) 1912 False)
1913 HNil) 1913 HNil)
1914 : HCons 1914 : HCons
@@ -1922,7 +1922,7 @@ sampleMaterial
1922 False 1922 False
1923 False 1923 False
1924 CT_FrontSided 1924 CT_FrontSided
1925 Nil 1925 []
1926 False 1926 False
1927 False 1927 False
1928 (StageAttrs 1928 (StageAttrs
@@ -1930,7 +1930,7 @@ sampleMaterial
1930 RGB_IdentityLighting 1930 RGB_IdentityLighting
1931 A_Identity 1931 A_Identity
1932 TG_Base 1932 TG_Base
1933 Nil 1933 []
1934 (ST_Map "textures/gothic_wall/skull4") 1934 (ST_Map "textures/gothic_wall/skull4")
1935 True 1935 True
1936 D_Lequal 1936 D_Lequal
@@ -1942,14 +1942,14 @@ sampleMaterial
1942 RGB_IdentityLighting 1942 RGB_IdentityLighting
1943 A_Identity 1943 A_Identity
1944 TG_Lightmap 1944 TG_Lightmap
1945 Nil 1945 []
1946 ST_Lightmap 1946 ST_Lightmap
1947 True 1947 True
1948 D_Lequal 1948 D_Lequal
1949 Nothing 1949 Nothing
1950 False 1950 False
1951 "Tex_3226210144" 1951 "Tex_3226210144"
1952 : Nil) 1952 : [])
1953 False) 1953 False)
1954 HNil) 1954 HNil)
1955 : HCons 1955 : HCons
@@ -1963,7 +1963,7 @@ sampleMaterial
1963 False 1963 False
1964 False 1964 False
1965 CT_FrontSided 1965 CT_FrontSided
1966 Nil 1966 []
1967 False 1967 False
1968 False 1968 False
1969 (StageAttrs 1969 (StageAttrs
@@ -1971,7 +1971,7 @@ sampleMaterial
1971 RGB_IdentityLighting 1971 RGB_IdentityLighting
1972 A_Identity 1972 A_Identity
1973 TG_Base 1973 TG_Base
1974 Nil 1974 []
1975 (ST_Map "textures/gothic_wall/slateroofc") 1975 (ST_Map "textures/gothic_wall/slateroofc")
1976 True 1976 True
1977 D_Lequal 1977 D_Lequal
@@ -1983,14 +1983,14 @@ sampleMaterial
1983 RGB_IdentityLighting 1983 RGB_IdentityLighting
1984 A_Identity 1984 A_Identity
1985 TG_Lightmap 1985 TG_Lightmap
1986 Nil 1986 []
1987 ST_Lightmap 1987 ST_Lightmap
1988 True 1988 True
1989 D_Lequal 1989 D_Lequal
1990 Nothing 1990 Nothing
1991 False 1991 False
1992 "Tex_3226210144" 1992 "Tex_3226210144"
1993 : Nil) 1993 : [])
1994 False) 1994 False)
1995 HNil) 1995 HNil)
1996 : HCons 1996 : HCons
@@ -2004,7 +2004,7 @@ sampleMaterial
2004 False 2004 False
2005 False 2005 False
2006 CT_FrontSided 2006 CT_FrontSided
2007 Nil 2007 []
2008 False 2008 False
2009 False 2009 False
2010 (StageAttrs 2010 (StageAttrs
@@ -2012,7 +2012,7 @@ sampleMaterial
2012 RGB_IdentityLighting 2012 RGB_IdentityLighting
2013 A_Identity 2013 A_Identity
2014 TG_Base 2014 TG_Base
2015 Nil 2015 []
2016 (ST_Map "textures/gothic_wall/supportborder_blue_b") 2016 (ST_Map "textures/gothic_wall/supportborder_blue_b")
2017 True 2017 True
2018 D_Lequal 2018 D_Lequal
@@ -2024,14 +2024,14 @@ sampleMaterial
2024 RGB_IdentityLighting 2024 RGB_IdentityLighting
2025 A_Identity 2025 A_Identity
2026 TG_Lightmap 2026 TG_Lightmap
2027 Nil 2027 []
2028 ST_Lightmap 2028 ST_Lightmap
2029 True 2029 True
2030 D_Lequal 2030 D_Lequal
2031 Nothing 2031 Nothing
2032 False 2032 False
2033 "Tex_3226210144" 2033 "Tex_3226210144"
2034 : Nil) 2034 : [])
2035 False) 2035 False)
2036 HNil) 2036 HNil)
2037 : HCons 2037 : HCons
@@ -2045,7 +2045,7 @@ sampleMaterial
2045 False 2045 False
2046 False 2046 False
2047 CT_FrontSided 2047 CT_FrontSided
2048 Nil 2048 []
2049 False 2049 False
2050 False 2050 False
2051 (StageAttrs 2051 (StageAttrs
@@ -2053,7 +2053,7 @@ sampleMaterial
2053 RGB_IdentityLighting 2053 RGB_IdentityLighting
2054 A_Identity 2054 A_Identity
2055 TG_Base 2055 TG_Base
2056 Nil 2056 []
2057 (ST_Map "textures/gothic_wall/supportborder_blue_c") 2057 (ST_Map "textures/gothic_wall/supportborder_blue_c")
2058 True 2058 True
2059 D_Lequal 2059 D_Lequal
@@ -2065,17 +2065,17 @@ sampleMaterial
2065 RGB_IdentityLighting 2065 RGB_IdentityLighting
2066 A_Identity 2066 A_Identity
2067 TG_Lightmap 2067 TG_Lightmap
2068 Nil 2068 []
2069 ST_Lightmap 2069 ST_Lightmap
2070 True 2070 True
2071 D_Lequal 2071 D_Lequal
2072 Nothing 2072 Nothing
2073 False 2073 False
2074 "Tex_3226210144" 2074 "Tex_3226210144"
2075 : Nil) 2075 : [])
2076 False) 2076 False)
2077 HNil) 2077 HNil)
2078 : Nil) 2078 : [])
2079main is not found 2079main is not found
2080------------ trace 2080------------ trace
2081sampleMaterial :: List (String, CommonAttrs) 2081sampleMaterial :: List (String, CommonAttrs)
diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out
index 0172a5e3..58abb9f1 100644
--- a/testdata/language-features/basic-list/list01.out
+++ b/testdata/language-features/basic-list/list01.out
@@ -1,7 +1,7 @@
1------------ desugared source code 1------------ desugared source code
2value1 = _rhs Nil 2value1 = _rhs []
3value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : Nil) 3value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : [])
4value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) 4value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : [])
5main is not found 5main is not found
6------------ trace 6------------ trace
7value1 :: forall a . List a 7value1 :: forall a . List a
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out
index 74e7428a..66445671 100644
--- a/testdata/language-features/basic-list/list02.out
+++ b/testdata/language-features/basic-list/list02.out
@@ -1,7 +1,7 @@
1------------ desugared source code 1------------ desugared source code
2value1 = _rhs Nil 2value1 = _rhs []
3value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : Nil) 3value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : [])
4value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) 4value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : [])
5main is not found 5main is not found
6------------ trace 6------------ trace
7value1 :: forall a . List a 7value1 :: forall a . List a
diff --git a/testdata/language-features/basic-list/list08.out b/testdata/language-features/basic-list/list08.out
index 9f5d3514..7c00caeb 100644
--- a/testdata/language-features/basic-list/list08.out
+++ b/testdata/language-features/basic-list/list08.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2value = _rhs (fromInt 1 : 1.2 : Nil) 2value = _rhs (fromInt 1 : 1.2 : [])
3main is not found 3main is not found
4------------ trace 4------------ trace
5value :: List Float 5value :: List Float
diff --git a/testdata/language-features/basic-list/list09.out b/testdata/language-features/basic-list/list09.out
index 24260675..1667abd0 100644
--- a/testdata/language-features/basic-list/list09.out
+++ b/testdata/language-features/basic-list/list09.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2value = _rhs (fromInt 1 : 1.2 : Nil :: List Float) 2value = _rhs (fromInt 1 : 1.2 : [] :: List Float)
3main is not found 3main is not found
4------------ trace 4------------ trace
5value :: List Float 5value :: List Float
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out
index b02e1b06..2c68182e 100644
--- a/testdata/language-features/basic-list/list11.out
+++ b/testdata/language-features/basic-list/list11.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2value = _rhs (fromInt 1 : Nil) 2value = _rhs (fromInt 1 : [])
3main is not found 3main is not found
4------------ trace 4------------ trace
5value :: forall a . Num a => List a 5value :: forall a . Num a => List a
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out
index b33e242d..6217fd5d 100644
--- a/testdata/language-features/basic-list/list12.out
+++ b/testdata/language-features/basic-list/list12.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : Nil) 2value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : [])
3main is not found 3main is not found
4------------ trace 4------------ trace
5value :: forall a . Num a => List a 5value :: forall a . Num a => List a
diff --git a/testdata/language-features/basic-list/list13.out b/testdata/language-features/basic-list/list13.out
index f0a9adde..c4567888 100644
--- a/testdata/language-features/basic-list/list13.out
+++ b/testdata/language-features/basic-list/list13.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) 2value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : [])
3main is not found 3main is not found
4------------ trace 4------------ trace
5value :: List Char 5value :: List Char
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out
index 99b023cd..be5d1871 100644
--- a/testdata/language-features/basic-list/listcomp01.out
+++ b/testdata/language-features/basic-list/listcomp01.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2value = _rhs (concatMap \_ -> HNil : Nil (HNil : HNil : HNil : HNil : Nil)) 2value = _rhs (concatMap \_ -> HNil : [] (HNil : HNil : HNil : HNil : []))
3main is not found 3main is not found
4------------ trace 4------------ trace
5value :: List () 5value :: List ()
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out
index 80550f51..825c5244 100644
--- a/testdata/language-features/basic-list/listcomp02.out
+++ b/testdata/language-features/basic-list/listcomp02.out
@@ -1,6 +1,6 @@
1------------ desugared source code 1------------ desugared source code
2l = _rhs (HNil : HNil : HNil : HNil : Nil) 2l = _rhs (HNil : HNil : HNil : HNil : [])
3value = _rhs (concatMap \(a :: _) -> a : Nil l) 3value = _rhs (concatMap \(a :: _) -> a : [] l)
4main is not found 4main is not found
5------------ trace 5------------ trace
6l :: List () 6l :: List ()
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out
index c77ff572..22d4ebf6 100644
--- a/testdata/language-features/basic-list/listcomp03.out
+++ b/testdata/language-features/basic-list/listcomp03.out
@@ -2,8 +2,8 @@
2value 2value
3 = _rhs 3 = _rhs
4 (concatMap 4 (concatMap
5 \_ -> primIfThenElse False (HNil : Nil) Nil 5 \_ -> primIfThenElse False (HNil : []) []
6 (HNil : HNil : HNil : HNil : Nil)) 6 (HNil : HNil : HNil : HNil : []))
7main is not found 7main is not found
8------------ trace 8------------ trace
9value :: List () 9value :: List ()
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out
index 6894cd99..c42d18fa 100644
--- a/testdata/language-features/basic-list/listcomp04.out
+++ b/testdata/language-features/basic-list/listcomp04.out
@@ -1,6 +1,6 @@
1------------ desugared source code 1------------ desugared source code
2l = _rhs (HNil : HNil : HNil : HNil : Nil) 2l = _rhs (HNil : HNil : HNil : HNil : [])
3value = _rhs (concatMap \_ -> concatMap \_ -> HNil : Nil l l) 3value = _rhs (concatMap \_ -> concatMap \_ -> HNil : [] l l)
4main is not found 4main is not found
5------------ trace 5------------ trace
6l :: List () 6l :: List ()
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 @@
2value 2value
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 : []))
7main is not found 7main is not found
8------------ trace 8------------ trace
9value :: List () 9value :: List ()
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out
index a79e0ce0..56ecc4c6 100644
--- a/testdata/language-features/basic-list/listcomp06.out
+++ b/testdata/language-features/basic-list/listcomp06.out
@@ -4,17 +4,17 @@ value1
4 (concatMap 4 (concatMap
5 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse 5 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
6 True 6 True
7 (b : Nil) 7 (b : [])
8 Nil 8 []
9 (HNil : HNil : Nil)) 9 (HNil : HNil : []))
10value2 10value2
11 = _rhs 11 = _rhs
12 (concatMap 12 (concatMap
13 \_ -> primIfThenElse 13 \_ -> primIfThenElse
14 True 14 True
15 \(a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : Nil 15 \(a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : []
16 Nil 16 []
17 (HNil : HNil : Nil)) 17 (HNil : HNil : []))
18main is not found 18main is not found
19------------ trace 19------------ trace
20value1 :: List () 20value1 :: List ()
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out
index 8cd1a663..9d3651c2 100644
--- a/testdata/language-features/basic-list/listcomp07.out
+++ b/testdata/language-features/basic-list/listcomp07.out
@@ -4,25 +4,25 @@ value1
4 (concatMap 4 (concatMap
5 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse 5 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
6 True 6 True
7 \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : Nil 7 \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []
8 Nil 8 []
9 (HNil : HNil : Nil)) 9 (HNil : HNil : []))
10value2 10value2
11 = _rhs 11 = _rhs
12 (concatMap 12 (concatMap
13 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse 13 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
14 True 14 True
15 \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : Nil 15 \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []
16 Nil 16 []
17 (HNil : HNil : Nil)) 17 (HNil : HNil : []))
18value3 18value3
19 = _rhs 19 = _rhs
20 (concatMap 20 (concatMap
21 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse 21 \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
22 True 22 True
23 \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : Nil 23 \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []
24 Nil 24 []
25 (HNil : HNil : Nil)) 25 (HNil : HNil : []))
26main is not found 26main is not found
27------------ trace 27------------ trace
28value1 :: List () 28value1 :: List ()
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out
index ce95bbad..de34df2b 100644
--- a/testdata/language-features/basic-list/listcomp09.out
+++ b/testdata/language-features/basic-list/listcomp09.out
@@ -1,7 +1,6 @@
1------------ desugared source code 1------------ desugared source code
2value1 2value1
3 = _rhs 3 = _rhs (concatMap \_ -> (\(a :: _) -> hlistNilCase (_ :: _) "Hello" a) : [] [])
4 (concatMap \_ -> (\(a :: _) -> hlistNilCase (_ :: _) "Hello" a) : Nil Nil)
5main is not found 4main is not found
6------------ trace 5------------ trace
7value1 :: Type => List (() -> String) 6value1 :: Type => List (() -> String)
diff --git a/testdata/language-features/basic-values/typesyn01.out b/testdata/language-features/basic-values/typesyn01.out
index f9a6aa11..1b35d979 100644
--- a/testdata/language-features/basic-values/typesyn01.out
+++ b/testdata/language-features/basic-values/typesyn01.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2'MyUnit = _rhs ('HList Nil) 2'MyUnit = _rhs ('HList [])
3main is not found 3main is not found
4------------ trace 4------------ trace
5'MyUnit :: Type 5'MyUnit :: Type
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out
index 86f91ada..8f8e7892 100644
--- a/testdata/language-features/basic-values/typesyn02.out
+++ b/testdata/language-features/basic-values/typesyn02.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2'MyUnit = _rhs ('HList Nil) 2'MyUnit = _rhs ('HList [])
3fun 3fun
4 = (\_ (a :: _) -> hlistNilCase (_ :: _) (_rhs HNil) a) 4 = (\_ (a :: _) -> hlistNilCase (_ :: _) (_rhs HNil) a)
5 :: forall (b :: _) . b -> MyUnit -> MyUnit 5 :: forall (b :: _) . b -> MyUnit -> MyUnit
diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out
index 0c1a7083..a43e184e 100644
--- a/testdata/language-features/module/TypeSyn01Mod.out
+++ b/testdata/language-features/module/TypeSyn01Mod.out
@@ -1,5 +1,5 @@
1------------ desugared source code 1------------ desugared source code
2'MyUnit = _rhs ('HList Nil) 2'MyUnit = _rhs ('HList [])
3main is not found 3main is not found
4------------ trace 4------------ trace
5'MyUnit :: Type 5'MyUnit :: Type
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out
index 31e57afe..98526e80 100644
--- a/testdata/language-features/pattern/uncovered.out
+++ b/testdata/language-features/pattern/uncovered.out
@@ -113,23 +113,23 @@ Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:6:1:
113g [True, False, True] = False 113g [True, False, True] = False
114^ 114^
115Missing case(s): 115Missing case(s):
116 g Nil 116 g []
117 g (: False _) 117 g (False : _)
118 g (: True Nil) 118 g (True : [])
119 g (: True (: False Nil)) 119 g (True : False : [])
120 g (: True (: False (: False _))) 120 g (True : False : False : _)
121 g (: True (: False (: True (: _ _)))) 121 g (True : False : True : _ : _)
122 g (: True (: True _)) 122 g (True : True : _)
123Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:8:1: 123Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:8:1:
124h [[True], [False]] = True 124h [[True], [False]] = True
125^ 125^
126Missing case(s): 126Missing case(s):
127 h Nil 127 h []
128 h (: Nil _) 128 h ([] : _)
129 h (: (: False _) _) 129 h ((False : _) : _)
130 h (: (: True Nil) Nil) 130 h ((True : []) : [])
131 h (: (: True Nil) (: Nil _)) 131 h ((True : []) : [] : _)
132 h (: (: True Nil) (: (: False Nil) (: _ _))) 132 h ((True : []) : (False : []) : _ : _)
133 h (: (: True Nil) (: (: False (: _ _)) _)) 133 h ((True : []) : (False : _ : _) : _)
134 h (: (: True Nil) (: (: True _) _)) 134 h ((True : []) : (True : _) : _)
135 h (: (: True (: _ _)) _) \ No newline at end of file 135 h ((True : _ : _) : _) \ No newline at end of file
diff --git a/testdata/performance/Material.out b/testdata/performance/Material.out
index 69d8a209..e6d7df8b 100644
--- a/testdata/performance/Material.out
+++ b/testdata/performance/Material.out
@@ -174,7 +174,7 @@ defaultStageAttrs
174 RGB_Undefined 174 RGB_Undefined
175 A_Identity 175 A_Identity
176 TG_Undefined 176 TG_Undefined
177 Nil 177 []
178 ST_WhiteImage 178 ST_WhiteImage
179 True 179 True
180 D_Lequal 180 D_Lequal
@@ -275,10 +275,10 @@ defaultCommonAttrs
275 False 275 False
276 False 276 False
277 CT_FrontSided 277 CT_FrontSided
278 Nil 278 []
279 False 279 False
280 False 280 False
281 Nil 281 []
282 False) 282 False)
283 :: CommonAttrs 283 :: CommonAttrs
284main is not found 284main is not found
diff --git a/testdata/performance/SampleMaterial.out b/testdata/performance/SampleMaterial.out
index 84692f2b..43d83545 100644
--- a/testdata/performance/SampleMaterial.out
+++ b/testdata/performance/SampleMaterial.out
@@ -12,7 +12,7 @@ sampleMaterial
12 False 12 False
13 False 13 False
14 CT_FrontSided 14 CT_FrontSided
15 Nil 15 []
16 False 16 False
17 False 17 False
18 (StageAttrs 18 (StageAttrs
@@ -20,7 +20,7 @@ sampleMaterial
20 RGB_IdentityLighting 20 RGB_IdentityLighting
21 A_Identity 21 A_Identity
22 TG_Base 22 TG_Base
23 Nil 23 []
24 (ST_Map "textures/gothic_block/blocks11b") 24 (ST_Map "textures/gothic_block/blocks11b")
25 True 25 True
26 D_Lequal 26 D_Lequal
@@ -32,14 +32,14 @@ sampleMaterial
32 RGB_IdentityLighting 32 RGB_IdentityLighting
33 A_Identity 33 A_Identity
34 TG_Lightmap 34 TG_Lightmap
35 Nil 35 []
36 ST_Lightmap 36 ST_Lightmap
37 True 37 True
38 D_Lequal 38 D_Lequal
39 Nothing 39 Nothing
40 False 40 False
41 "Tex_3226210144" 41 "Tex_3226210144"
42 : Nil) 42 : [])
43 False) 43 False)
44 HNil) 44 HNil)
45 : HCons 45 : HCons
@@ -53,7 +53,7 @@ sampleMaterial
53 False 53 False
54 False 54 False
55 CT_FrontSided 55 CT_FrontSided
56 Nil 56 []
57 False 57 False
58 False 58 False
59 (StageAttrs 59 (StageAttrs
@@ -61,7 +61,7 @@ sampleMaterial
61 RGB_IdentityLighting 61 RGB_IdentityLighting
62 A_Identity 62 A_Identity
63 TG_Base 63 TG_Base
64 Nil 64 []
65 (ST_Map "textures/gothic_block/blocks15") 65 (ST_Map "textures/gothic_block/blocks15")
66 True 66 True
67 D_Lequal 67 D_Lequal
@@ -73,14 +73,14 @@ sampleMaterial
73 RGB_IdentityLighting 73 RGB_IdentityLighting
74 A_Identity 74 A_Identity
75 TG_Lightmap 75 TG_Lightmap
76 Nil 76 []
77 ST_Lightmap 77 ST_Lightmap
78 True 78 True
79 D_Lequal 79 D_Lequal
80 Nothing 80 Nothing
81 False 81 False
82 "Tex_3226210144" 82 "Tex_3226210144"
83 : Nil) 83 : [])
84 False) 84 False)
85 HNil) 85 HNil)
86 : HCons 86 : HCons
@@ -94,7 +94,7 @@ sampleMaterial
94 False 94 False
95 False 95 False
96 CT_FrontSided 96 CT_FrontSided
97 Nil 97 []
98 False 98 False
99 False 99 False
100 (StageAttrs 100 (StageAttrs
@@ -102,7 +102,7 @@ sampleMaterial
102 RGB_IdentityLighting 102 RGB_IdentityLighting
103 A_Identity 103 A_Identity
104 TG_Base 104 TG_Base
105 Nil 105 []
106 (ST_Map "textures/gothic_block/blocks18b") 106 (ST_Map "textures/gothic_block/blocks18b")
107 True 107 True
108 D_Lequal 108 D_Lequal
@@ -114,14 +114,14 @@ sampleMaterial
114 RGB_IdentityLighting 114 RGB_IdentityLighting
115 A_Identity 115 A_Identity
116 TG_Lightmap 116 TG_Lightmap
117 Nil 117 []
118 ST_Lightmap 118 ST_Lightmap
119 True 119 True
120 D_Lequal 120 D_Lequal
121 Nothing 121 Nothing
122 False 122 False
123 "Tex_3226210144" 123 "Tex_3226210144"
124 : Nil) 124 : [])
125 False) 125 False)
126 HNil) 126 HNil)
127 : HCons 127 : HCons
@@ -135,7 +135,7 @@ sampleMaterial
135 False 135 False
136 False 136 False
137 CT_FrontSided 137 CT_FrontSided
138 Nil 138 []
139 False 139 False
140 False 140 False
141 (StageAttrs 141 (StageAttrs
@@ -143,7 +143,7 @@ sampleMaterial
143 RGB_IdentityLighting 143 RGB_IdentityLighting
144 A_Identity 144 A_Identity
145 TG_Base 145 TG_Base
146 Nil 146 []
147 (ST_Map "textures/gothic_block/blocks18c_3") 147 (ST_Map "textures/gothic_block/blocks18c_3")
148 True 148 True
149 D_Lequal 149 D_Lequal
@@ -155,14 +155,14 @@ sampleMaterial
155 RGB_IdentityLighting 155 RGB_IdentityLighting
156 A_Identity 156 A_Identity
157 TG_Lightmap 157 TG_Lightmap
158 Nil 158 []
159 ST_Lightmap 159 ST_Lightmap
160 True 160 True
161 D_Lequal 161 D_Lequal
162 Nothing 162 Nothing
163 False 163 False
164 "Tex_3226210144" 164 "Tex_3226210144"
165 : Nil) 165 : [])
166 False) 166 False)
167 HNil) 167 HNil)
168 : HCons 168 : HCons
@@ -176,7 +176,7 @@ sampleMaterial
176 False 176 False
177 False 177 False
178 CT_FrontSided 178 CT_FrontSided
179 Nil 179 []
180 False 180 False
181 False 181 False
182 (StageAttrs 182 (StageAttrs
@@ -184,7 +184,7 @@ sampleMaterial
184 RGB_Identity 184 RGB_Identity
185 A_Identity 185 A_Identity
186 TG_Base 186 TG_Base
187 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 1.6 : TM_Scale 4.0 4.0 : Nil) 187 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 1.6 : TM_Scale 4.0 4.0 : [])
188 (ST_Map "textures/sfx/firegorre.tga") 188 (ST_Map "textures/sfx/firegorre.tga")
189 True 189 True
190 D_Lequal 190 D_Lequal
@@ -196,7 +196,7 @@ sampleMaterial
196 RGB_Identity 196 RGB_Identity
197 A_Identity 197 A_Identity
198 TG_Base 198 TG_Base
199 Nil 199 []
200 (ST_Map "textures/gothic_block/demon_block15fx.tga") 200 (ST_Map "textures/gothic_block/demon_block15fx.tga")
201 False 201 False
202 D_Lequal 202 D_Lequal
@@ -208,14 +208,14 @@ sampleMaterial
208 RGB_Identity 208 RGB_Identity
209 A_Identity 209 A_Identity
210 TG_Lightmap 210 TG_Lightmap
211 Nil 211 []
212 ST_Lightmap 212 ST_Lightmap
213 False 213 False
214 D_Lequal 214 D_Lequal
215 Nothing 215 Nothing
216 False 216 False
217 "Tex_2065974340" 217 "Tex_2065974340"
218 : Nil) 218 : [])
219 False) 219 False)
220 HNil) 220 HNil)
221 : HCons 221 : HCons
@@ -229,7 +229,7 @@ sampleMaterial
229 False 229 False
230 False 230 False
231 CT_FrontSided 231 CT_FrontSided
232 Nil 232 []
233 False 233 False
234 False 234 False
235 (StageAttrs 235 (StageAttrs
@@ -237,7 +237,7 @@ sampleMaterial
237 RGB_IdentityLighting 237 RGB_IdentityLighting
238 A_Identity 238 A_Identity
239 TG_Base 239 TG_Base
240 Nil 240 []
241 (ST_Map "textures/gothic_block/killblock") 241 (ST_Map "textures/gothic_block/killblock")
242 True 242 True
243 D_Lequal 243 D_Lequal
@@ -249,14 +249,14 @@ sampleMaterial
249 RGB_IdentityLighting 249 RGB_IdentityLighting
250 A_Identity 250 A_Identity
251 TG_Lightmap 251 TG_Lightmap
252 Nil 252 []
253 ST_Lightmap 253 ST_Lightmap
254 True 254 True
255 D_Lequal 255 D_Lequal
256 Nothing 256 Nothing
257 False 257 False
258 "Tex_3226210144" 258 "Tex_3226210144"
259 : Nil) 259 : [])
260 False) 260 False)
261 HNil) 261 HNil)
262 : HCons 262 : HCons
@@ -270,7 +270,7 @@ sampleMaterial
270 False 270 False
271 False 271 False
272 CT_FrontSided 272 CT_FrontSided
273 Nil 273 []
274 False 274 False
275 False 275 False
276 (StageAttrs 276 (StageAttrs
@@ -278,7 +278,7 @@ sampleMaterial
278 RGB_IdentityLighting 278 RGB_IdentityLighting
279 A_Identity 279 A_Identity
280 TG_Base 280 TG_Base
281 Nil 281 []
282 (ST_Map "textures/gothic_block/killblock_i") 282 (ST_Map "textures/gothic_block/killblock_i")
283 True 283 True
284 D_Lequal 284 D_Lequal
@@ -290,14 +290,14 @@ sampleMaterial
290 RGB_IdentityLighting 290 RGB_IdentityLighting
291 A_Identity 291 A_Identity
292 TG_Lightmap 292 TG_Lightmap
293 Nil 293 []
294 ST_Lightmap 294 ST_Lightmap
295 True 295 True
296 D_Lequal 296 D_Lequal
297 Nothing 297 Nothing
298 False 298 False
299 "Tex_3226210144" 299 "Tex_3226210144"
300 : Nil) 300 : [])
301 False) 301 False)
302 HNil) 302 HNil)
303 : HCons 303 : HCons
@@ -311,7 +311,7 @@ sampleMaterial
311 False 311 False
312 False 312 False
313 CT_FrontSided 313 CT_FrontSided
314 Nil 314 []
315 False 315 False
316 False 316 False
317 (StageAttrs 317 (StageAttrs
@@ -319,7 +319,7 @@ sampleMaterial
319 RGB_IdentityLighting 319 RGB_IdentityLighting
320 A_Identity 320 A_Identity
321 TG_Base 321 TG_Base
322 Nil 322 []
323 (ST_Map "textures/gothic_block/killblock_i4") 323 (ST_Map "textures/gothic_block/killblock_i4")
324 True 324 True
325 D_Lequal 325 D_Lequal
@@ -331,14 +331,14 @@ sampleMaterial
331 RGB_IdentityLighting 331 RGB_IdentityLighting
332 A_Identity 332 A_Identity
333 TG_Lightmap 333 TG_Lightmap
334 Nil 334 []
335 ST_Lightmap 335 ST_Lightmap
336 True 336 True
337 D_Lequal 337 D_Lequal
338 Nothing 338 Nothing
339 False 339 False
340 "Tex_3226210144" 340 "Tex_3226210144"
341 : Nil) 341 : [])
342 False) 342 False)
343 HNil) 343 HNil)
344 : HCons 344 : HCons
@@ -352,7 +352,7 @@ sampleMaterial
352 False 352 False
353 False 353 False
354 CT_FrontSided 354 CT_FrontSided
355 Nil 355 []
356 False 356 False
357 False 357 False
358 (StageAttrs 358 (StageAttrs
@@ -360,7 +360,7 @@ sampleMaterial
360 RGB_IdentityLighting 360 RGB_IdentityLighting
361 A_Identity 361 A_Identity
362 TG_Base 362 TG_Base
363 Nil 363 []
364 (ST_Map "textures/gothic_door/km_arena1archfinalc_mid") 364 (ST_Map "textures/gothic_door/km_arena1archfinalc_mid")
365 True 365 True
366 D_Lequal 366 D_Lequal
@@ -372,14 +372,14 @@ sampleMaterial
372 RGB_IdentityLighting 372 RGB_IdentityLighting
373 A_Identity 373 A_Identity
374 TG_Lightmap 374 TG_Lightmap
375 Nil 375 []
376 ST_Lightmap 376 ST_Lightmap
377 True 377 True
378 D_Lequal 378 D_Lequal
379 Nothing 379 Nothing
380 False 380 False
381 "Tex_3226210144" 381 "Tex_3226210144"
382 : Nil) 382 : [])
383 False) 383 False)
384 HNil) 384 HNil)
385 : HCons 385 : HCons
@@ -393,7 +393,7 @@ sampleMaterial
393 False 393 False
394 False 394 False
395 CT_FrontSided 395 CT_FrontSided
396 Nil 396 []
397 False 397 False
398 False 398 False
399 (StageAttrs 399 (StageAttrs
@@ -401,7 +401,7 @@ sampleMaterial
401 RGB_IdentityLighting 401 RGB_IdentityLighting
402 A_Identity 402 A_Identity
403 TG_Base 403 TG_Base
404 Nil 404 []
405 (ST_Map "textures/gothic_door/km_arena1archfinalc_top") 405 (ST_Map "textures/gothic_door/km_arena1archfinalc_top")
406 True 406 True
407 D_Lequal 407 D_Lequal
@@ -413,14 +413,14 @@ sampleMaterial
413 RGB_IdentityLighting 413 RGB_IdentityLighting
414 A_Identity 414 A_Identity
415 TG_Lightmap 415 TG_Lightmap
416 Nil 416 []
417 ST_Lightmap 417 ST_Lightmap
418 True 418 True
419 D_Lequal 419 D_Lequal
420 Nothing 420 Nothing
421 False 421 False
422 "Tex_3226210144" 422 "Tex_3226210144"
423 : Nil) 423 : [])
424 False) 424 False)
425 HNil) 425 HNil)
426 : HCons 426 : HCons
@@ -434,7 +434,7 @@ sampleMaterial
434 False 434 False
435 False 435 False
436 CT_FrontSided 436 CT_FrontSided
437 Nil 437 []
438 False 438 False
439 False 439 False
440 (StageAttrs 440 (StageAttrs
@@ -442,7 +442,7 @@ sampleMaterial
442 RGB_IdentityLighting 442 RGB_IdentityLighting
443 A_Identity 443 A_Identity
444 TG_Base 444 TG_Base
445 Nil 445 []
446 (ST_Map "textures/gothic_door/km_arena1archfinald_bot") 446 (ST_Map "textures/gothic_door/km_arena1archfinald_bot")
447 True 447 True
448 D_Lequal 448 D_Lequal
@@ -454,14 +454,14 @@ sampleMaterial
454 RGB_IdentityLighting 454 RGB_IdentityLighting
455 A_Identity 455 A_Identity
456 TG_Lightmap 456 TG_Lightmap
457 Nil 457 []
458 ST_Lightmap 458 ST_Lightmap
459 True 459 True
460 D_Lequal 460 D_Lequal
461 Nothing 461 Nothing
462 False 462 False
463 "Tex_3226210144" 463 "Tex_3226210144"
464 : Nil) 464 : [])
465 False) 465 False)
466 HNil) 466 HNil)
467 : HCons 467 : HCons
@@ -475,7 +475,7 @@ sampleMaterial
475 False 475 False
476 False 476 False
477 CT_FrontSided 477 CT_FrontSided
478 Nil 478 []
479 False 479 False
480 False 480 False
481 (StageAttrs 481 (StageAttrs
@@ -483,7 +483,7 @@ sampleMaterial
483 RGB_IdentityLighting 483 RGB_IdentityLighting
484 A_Identity 484 A_Identity
485 TG_Base 485 TG_Base
486 Nil 486 []
487 (ST_Map "textures/gothic_door/km_arena1archfinald_mid") 487 (ST_Map "textures/gothic_door/km_arena1archfinald_mid")
488 True 488 True
489 D_Lequal 489 D_Lequal
@@ -495,14 +495,14 @@ sampleMaterial
495 RGB_IdentityLighting 495 RGB_IdentityLighting
496 A_Identity 496 A_Identity
497 TG_Lightmap 497 TG_Lightmap
498 Nil 498 []
499 ST_Lightmap 499 ST_Lightmap
500 True 500 True
501 D_Lequal 501 D_Lequal
502 Nothing 502 Nothing
503 False 503 False
504 "Tex_3226210144" 504 "Tex_3226210144"
505 : Nil) 505 : [])
506 False) 506 False)
507 HNil) 507 HNil)
508 : HCons 508 : HCons
@@ -516,7 +516,7 @@ sampleMaterial
516 False 516 False
517 False 517 False
518 CT_FrontSided 518 CT_FrontSided
519 Nil 519 []
520 False 520 False
521 False 521 False
522 (StageAttrs 522 (StageAttrs
@@ -524,7 +524,7 @@ sampleMaterial
524 RGB_IdentityLighting 524 RGB_IdentityLighting
525 A_Identity 525 A_Identity
526 TG_Base 526 TG_Base
527 Nil 527 []
528 (ST_Map "textures/gothic_door/skull_door_a") 528 (ST_Map "textures/gothic_door/skull_door_a")
529 True 529 True
530 D_Lequal 530 D_Lequal
@@ -536,14 +536,14 @@ sampleMaterial
536 RGB_IdentityLighting 536 RGB_IdentityLighting
537 A_Identity 537 A_Identity
538 TG_Lightmap 538 TG_Lightmap
539 Nil 539 []
540 ST_Lightmap 540 ST_Lightmap
541 True 541 True
542 D_Lequal 542 D_Lequal
543 Nothing 543 Nothing
544 False 544 False
545 "Tex_3226210144" 545 "Tex_3226210144"
546 : Nil) 546 : [])
547 False) 547 False)
548 HNil) 548 HNil)
549 : HCons 549 : HCons
@@ -557,7 +557,7 @@ sampleMaterial
557 False 557 False
558 False 558 False
559 CT_FrontSided 559 CT_FrontSided
560 Nil 560 []
561 False 561 False
562 False 562 False
563 (StageAttrs 563 (StageAttrs
@@ -565,7 +565,7 @@ sampleMaterial
565 RGB_IdentityLighting 565 RGB_IdentityLighting
566 A_Identity 566 A_Identity
567 TG_Base 567 TG_Base
568 Nil 568 []
569 (ST_Map "textures/gothic_door/skull_door_b") 569 (ST_Map "textures/gothic_door/skull_door_b")
570 True 570 True
571 D_Lequal 571 D_Lequal
@@ -577,14 +577,14 @@ sampleMaterial
577 RGB_IdentityLighting 577 RGB_IdentityLighting
578 A_Identity 578 A_Identity
579 TG_Lightmap 579 TG_Lightmap
580 Nil 580 []
581 ST_Lightmap 581 ST_Lightmap
582 True 582 True
583 D_Lequal 583 D_Lequal
584 Nothing 584 Nothing
585 False 585 False
586 "Tex_3226210144" 586 "Tex_3226210144"
587 : Nil) 587 : [])
588 False) 588 False)
589 HNil) 589 HNil)
590 : HCons 590 : HCons
@@ -598,7 +598,7 @@ sampleMaterial
598 False 598 False
599 False 599 False
600 CT_FrontSided 600 CT_FrontSided
601 Nil 601 []
602 False 602 False
603 False 603 False
604 (StageAttrs 604 (StageAttrs
@@ -606,7 +606,7 @@ sampleMaterial
606 RGB_IdentityLighting 606 RGB_IdentityLighting
607 A_Identity 607 A_Identity
608 TG_Base 608 TG_Base
609 Nil 609 []
610 (ST_Map "textures/gothic_door/skull_door_c") 610 (ST_Map "textures/gothic_door/skull_door_c")
611 True 611 True
612 D_Lequal 612 D_Lequal
@@ -618,14 +618,14 @@ sampleMaterial
618 RGB_IdentityLighting 618 RGB_IdentityLighting
619 A_Identity 619 A_Identity
620 TG_Lightmap 620 TG_Lightmap
621 Nil 621 []
622 ST_Lightmap 622 ST_Lightmap
623 True 623 True
624 D_Lequal 624 D_Lequal
625 Nothing 625 Nothing
626 False 626 False
627 "Tex_3226210144" 627 "Tex_3226210144"
628 : Nil) 628 : [])
629 False) 629 False)
630 HNil) 630 HNil)
631 : HCons 631 : HCons
@@ -639,7 +639,7 @@ sampleMaterial
639 False 639 False
640 False 640 False
641 CT_FrontSided 641 CT_FrontSided
642 Nil 642 []
643 False 643 False
644 False 644 False
645 (StageAttrs 645 (StageAttrs
@@ -647,7 +647,7 @@ sampleMaterial
647 RGB_IdentityLighting 647 RGB_IdentityLighting
648 A_Identity 648 A_Identity
649 TG_Base 649 TG_Base
650 Nil 650 []
651 (ST_Map "textures/gothic_door/skull_door_d") 651 (ST_Map "textures/gothic_door/skull_door_d")
652 True 652 True
653 D_Lequal 653 D_Lequal
@@ -659,14 +659,14 @@ sampleMaterial
659 RGB_IdentityLighting 659 RGB_IdentityLighting
660 A_Identity 660 A_Identity
661 TG_Lightmap 661 TG_Lightmap
662 Nil 662 []
663 ST_Lightmap 663 ST_Lightmap
664 True 664 True
665 D_Lequal 665 D_Lequal
666 Nothing 666 Nothing
667 False 667 False
668 "Tex_3226210144" 668 "Tex_3226210144"
669 : Nil) 669 : [])
670 False) 670 False)
671 HNil) 671 HNil)
672 : HCons 672 : HCons
@@ -680,7 +680,7 @@ sampleMaterial
680 False 680 False
681 False 681 False
682 CT_FrontSided 682 CT_FrontSided
683 Nil 683 []
684 False 684 False
685 False 685 False
686 (StageAttrs 686 (StageAttrs
@@ -688,7 +688,7 @@ sampleMaterial
688 RGB_IdentityLighting 688 RGB_IdentityLighting
689 A_Identity 689 A_Identity
690 TG_Base 690 TG_Base
691 Nil 691 []
692 (ST_Map "textures/gothic_door/skull_door_e") 692 (ST_Map "textures/gothic_door/skull_door_e")
693 True 693 True
694 D_Lequal 694 D_Lequal
@@ -700,14 +700,14 @@ sampleMaterial
700 RGB_IdentityLighting 700 RGB_IdentityLighting
701 A_Identity 701 A_Identity
702 TG_Lightmap 702 TG_Lightmap
703 Nil 703 []
704 ST_Lightmap 704 ST_Lightmap
705 True 705 True
706 D_Lequal 706 D_Lequal
707 Nothing 707 Nothing
708 False 708 False
709 "Tex_3226210144" 709 "Tex_3226210144"
710 : Nil) 710 : [])
711 False) 711 False)
712 HNil) 712 HNil)
713 : HCons 713 : HCons
@@ -721,7 +721,7 @@ sampleMaterial
721 False 721 False
722 False 722 False
723 CT_FrontSided 723 CT_FrontSided
724 Nil 724 []
725 False 725 False
726 False 726 False
727 (StageAttrs 727 (StageAttrs
@@ -729,7 +729,7 @@ sampleMaterial
729 RGB_IdentityLighting 729 RGB_IdentityLighting
730 A_Identity 730 A_Identity
731 TG_Base 731 TG_Base
732 Nil 732 []
733 (ST_Map "textures/gothic_door/skull_door_f") 733 (ST_Map "textures/gothic_door/skull_door_f")
734 True 734 True
735 D_Lequal 735 D_Lequal
@@ -741,14 +741,14 @@ sampleMaterial
741 RGB_IdentityLighting 741 RGB_IdentityLighting
742 A_Identity 742 A_Identity
743 TG_Lightmap 743 TG_Lightmap
744 Nil 744 []
745 ST_Lightmap 745 ST_Lightmap
746 True 746 True
747 D_Lequal 747 D_Lequal
748 Nothing 748 Nothing
749 False 749 False
750 "Tex_3226210144" 750 "Tex_3226210144"
751 : Nil) 751 : [])
752 False) 752 False)
753 HNil) 753 HNil)
754 : HCons 754 : HCons
@@ -762,7 +762,7 @@ sampleMaterial
762 False 762 False
763 False 763 False
764 CT_FrontSided 764 CT_FrontSided
765 Nil 765 []
766 False 766 False
767 False 767 False
768 (StageAttrs 768 (StageAttrs
@@ -770,7 +770,7 @@ sampleMaterial
770 RGB_IdentityLighting 770 RGB_IdentityLighting
771 A_Identity 771 A_Identity
772 TG_Base 772 TG_Base
773 Nil 773 []
774 (ST_Map "textures/gothic_door/skullarch_a") 774 (ST_Map "textures/gothic_door/skullarch_a")
775 True 775 True
776 D_Lequal 776 D_Lequal
@@ -782,14 +782,14 @@ sampleMaterial
782 RGB_IdentityLighting 782 RGB_IdentityLighting
783 A_Identity 783 A_Identity
784 TG_Lightmap 784 TG_Lightmap
785 Nil 785 []
786 ST_Lightmap 786 ST_Lightmap
787 True 787 True
788 D_Lequal 788 D_Lequal
789 Nothing 789 Nothing
790 False 790 False
791 "Tex_3226210144" 791 "Tex_3226210144"
792 : Nil) 792 : [])
793 False) 793 False)
794 HNil) 794 HNil)
795 : HCons 795 : HCons
@@ -803,7 +803,7 @@ sampleMaterial
803 False 803 False
804 False 804 False
805 CT_FrontSided 805 CT_FrontSided
806 Nil 806 []
807 False 807 False
808 False 808 False
809 (StageAttrs 809 (StageAttrs
@@ -811,7 +811,7 @@ sampleMaterial
811 RGB_Identity 811 RGB_Identity
812 A_Identity 812 A_Identity
813 TG_Base 813 TG_Base
814 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 5.6 : TM_Scale 1.5 1.5 : Nil) 814 (TM_Scroll 0.0 1.0 : TM_Turb 0.0 0.25 0.0 5.6 : TM_Scale 1.5 1.5 : [])
815 (ST_Map "textures/sfx/firegorre.tga") 815 (ST_Map "textures/sfx/firegorre.tga")
816 True 816 True
817 D_Lequal 817 D_Lequal
@@ -823,7 +823,7 @@ sampleMaterial
823 RGB_Identity 823 RGB_Identity
824 A_Identity 824 A_Identity
825 TG_Base 825 TG_Base
826 Nil 826 []
827 (ST_Map "textures/gothic_door/skullarch_b.tga") 827 (ST_Map "textures/gothic_door/skullarch_b.tga")
828 False 828 False
829 D_Lequal 829 D_Lequal
@@ -835,14 +835,14 @@ sampleMaterial
835 RGB_Identity 835 RGB_Identity
836 A_Identity 836 A_Identity
837 TG_Lightmap 837 TG_Lightmap
838 Nil 838 []
839 ST_Lightmap 839 ST_Lightmap
840 False 840 False
841 D_Lequal 841 D_Lequal
842 Nothing 842 Nothing
843 False 843 False
844 "Tex_1196599720" 844 "Tex_1196599720"
845 : Nil) 845 : [])
846 False) 846 False)
847 HNil) 847 HNil)
848 : HCons 848 : HCons
@@ -856,7 +856,7 @@ sampleMaterial
856 False 856 False
857 False 857 False
858 CT_FrontSided 858 CT_FrontSided
859 Nil 859 []
860 False 860 False
861 False 861 False
862 (StageAttrs 862 (StageAttrs
@@ -864,7 +864,7 @@ sampleMaterial
864 RGB_IdentityLighting 864 RGB_IdentityLighting
865 A_Identity 865 A_Identity
866 TG_Base 866 TG_Base
867 Nil 867 []
868 (ST_Map "textures/gothic_door/skullarch_c") 868 (ST_Map "textures/gothic_door/skullarch_c")
869 True 869 True
870 D_Lequal 870 D_Lequal
@@ -876,14 +876,14 @@ sampleMaterial
876 RGB_IdentityLighting 876 RGB_IdentityLighting
877 A_Identity 877 A_Identity
878 TG_Lightmap 878 TG_Lightmap
879 Nil 879 []
880 ST_Lightmap 880 ST_Lightmap
881 True 881 True
882 D_Lequal 882 D_Lequal
883 Nothing 883 Nothing
884 False 884 False
885 "Tex_3226210144" 885 "Tex_3226210144"
886 : Nil) 886 : [])
887 False) 887 False)
888 HNil) 888 HNil)
889 : HCons 889 : HCons
@@ -897,7 +897,7 @@ sampleMaterial
897 False 897 False
898 False 898 False
899 CT_FrontSided 899 CT_FrontSided
900 Nil 900 []
901 False 901 False
902 False 902 False
903 (StageAttrs 903 (StageAttrs
@@ -905,7 +905,7 @@ sampleMaterial
905 RGB_IdentityLighting 905 RGB_IdentityLighting
906 A_Identity 906 A_Identity
907 TG_Base 907 TG_Base
908 Nil 908 []
909 (ST_Map "textures/gothic_door/xian_tourneyarch_inside2") 909 (ST_Map "textures/gothic_door/xian_tourneyarch_inside2")
910 True 910 True
911 D_Lequal 911 D_Lequal
@@ -917,14 +917,14 @@ sampleMaterial
917 RGB_IdentityLighting 917 RGB_IdentityLighting
918 A_Identity 918 A_Identity
919 TG_Lightmap 919 TG_Lightmap
920 Nil 920 []
921 ST_Lightmap 921 ST_Lightmap
922 True 922 True
923 D_Lequal 923 D_Lequal
924 Nothing 924 Nothing
925 False 925 False
926 "Tex_3226210144" 926 "Tex_3226210144"
927 : Nil) 927 : [])
928 False) 928 False)
929 HNil) 929 HNil)
930 : HCons 930 : HCons
@@ -938,7 +938,7 @@ sampleMaterial
938 False 938 False
939 False 939 False
940 CT_FrontSided 940 CT_FrontSided
941 Nil 941 []
942 False 942 False
943 False 943 False
944 (StageAttrs 944 (StageAttrs
@@ -946,7 +946,7 @@ sampleMaterial
946 RGB_IdentityLighting 946 RGB_IdentityLighting
947 A_Identity 947 A_Identity
948 TG_Base 948 TG_Base
949 Nil 949 []
950 (ST_Map "textures/gothic_floor/blocks17floor2") 950 (ST_Map "textures/gothic_floor/blocks17floor2")
951 True 951 True
952 D_Lequal 952 D_Lequal
@@ -958,14 +958,14 @@ sampleMaterial
958 RGB_IdentityLighting 958 RGB_IdentityLighting
959 A_Identity 959 A_Identity
960 TG_Lightmap 960 TG_Lightmap
961 Nil 961 []
962 ST_Lightmap 962 ST_Lightmap
963 True 963 True
964 D_Lequal 964 D_Lequal
965 Nothing 965 Nothing
966 False 966 False
967 "Tex_3226210144" 967 "Tex_3226210144"
968 : Nil) 968 : [])
969 False) 969 False)
970 HNil) 970 HNil)
971 : HCons 971 : HCons
@@ -979,7 +979,7 @@ sampleMaterial
979 False 979 False
980 False 980 False
981 CT_FrontSided 981 CT_FrontSided
982 Nil 982 []
983 False 983 False
984 False 984 False
985 (StageAttrs 985 (StageAttrs
@@ -987,7 +987,7 @@ sampleMaterial
987 RGB_IdentityLighting 987 RGB_IdentityLighting
988 A_Identity 988 A_Identity
989 TG_Base 989 TG_Base
990 Nil 990 []
991 (ST_Map "textures/gothic_floor/largerblock3b") 991 (ST_Map "textures/gothic_floor/largerblock3b")
992 True 992 True
993 D_Lequal 993 D_Lequal
@@ -999,14 +999,14 @@ sampleMaterial
999 RGB_IdentityLighting 999 RGB_IdentityLighting
1000 A_Identity 1000 A_Identity
1001 TG_Lightmap 1001 TG_Lightmap
1002 Nil 1002 []
1003 ST_Lightmap 1003 ST_Lightmap
1004 True 1004 True
1005 D_Lequal 1005 D_Lequal
1006 Nothing 1006 Nothing
1007 False 1007 False
1008 "Tex_3226210144" 1008 "Tex_3226210144"
1009 : Nil) 1009 : [])
1010 False) 1010 False)
1011 HNil) 1011 HNil)
1012 : HCons 1012 : HCons
@@ -1020,7 +1020,7 @@ sampleMaterial
1020 False 1020 False
1021 False 1021 False
1022 CT_FrontSided 1022 CT_FrontSided
1023 Nil 1023 []
1024 False 1024 False
1025 False 1025 False
1026 (StageAttrs 1026 (StageAttrs
@@ -1028,7 +1028,7 @@ sampleMaterial
1028 RGB_IdentityLighting 1028 RGB_IdentityLighting
1029 A_Identity 1029 A_Identity
1030 TG_Base 1030 TG_Base
1031 Nil 1031 []
1032 (ST_Map "textures/gothic_floor/metalbridge06") 1032 (ST_Map "textures/gothic_floor/metalbridge06")
1033 True 1033 True
1034 D_Lequal 1034 D_Lequal
@@ -1040,14 +1040,14 @@ sampleMaterial
1040 RGB_IdentityLighting 1040 RGB_IdentityLighting
1041 A_Identity 1041 A_Identity
1042 TG_Lightmap 1042 TG_Lightmap
1043 Nil 1043 []
1044 ST_Lightmap 1044 ST_Lightmap
1045 True 1045 True
1046 D_Lequal 1046 D_Lequal
1047 Nothing 1047 Nothing
1048 False 1048 False
1049 "Tex_3226210144" 1049 "Tex_3226210144"
1050 : Nil) 1050 : [])
1051 False) 1051 False)
1052 HNil) 1052 HNil)
1053 : HCons 1053 : HCons
@@ -1061,7 +1061,7 @@ sampleMaterial
1061 False 1061 False
1062 False 1062 False
1063 CT_FrontSided 1063 CT_FrontSided
1064 Nil 1064 []
1065 False 1065 False
1066 False 1066 False
1067 (StageAttrs 1067 (StageAttrs
@@ -1069,7 +1069,7 @@ sampleMaterial
1069 RGB_IdentityLighting 1069 RGB_IdentityLighting
1070 A_Identity 1070 A_Identity
1071 TG_Base 1071 TG_Base
1072 Nil 1072 []
1073 (ST_Map "textures/gothic_floor/metalbridge06broke") 1073 (ST_Map "textures/gothic_floor/metalbridge06broke")
1074 True 1074 True
1075 D_Lequal 1075 D_Lequal
@@ -1081,14 +1081,14 @@ sampleMaterial
1081 RGB_IdentityLighting 1081 RGB_IdentityLighting
1082 A_Identity 1082 A_Identity
1083 TG_Lightmap 1083 TG_Lightmap
1084 Nil 1084 []
1085 ST_Lightmap 1085 ST_Lightmap
1086 True 1086 True
1087 D_Lequal 1087 D_Lequal
1088 Nothing 1088 Nothing
1089 False 1089 False
1090 "Tex_3226210144" 1090 "Tex_3226210144"
1091 : Nil) 1091 : [])
1092 False) 1092 False)
1093 HNil) 1093 HNil)
1094 : HCons 1094 : HCons
@@ -1102,7 +1102,7 @@ sampleMaterial
1102 False 1102 False
1103 False 1103 False
1104 CT_FrontSided 1104 CT_FrontSided
1105 Nil 1105 []
1106 False 1106 False
1107 False 1107 False
1108 (StageAttrs 1108 (StageAttrs
@@ -1110,7 +1110,7 @@ sampleMaterial
1110 RGB_IdentityLighting 1110 RGB_IdentityLighting
1111 A_Identity 1111 A_Identity
1112 TG_Base 1112 TG_Base
1113 Nil 1113 []
1114 (ST_Map "textures/gothic_floor/xstairtop4") 1114 (ST_Map "textures/gothic_floor/xstairtop4")
1115 True 1115 True
1116 D_Lequal 1116 D_Lequal
@@ -1122,14 +1122,14 @@ sampleMaterial
1122 RGB_IdentityLighting 1122 RGB_IdentityLighting
1123 A_Identity 1123 A_Identity
1124 TG_Lightmap 1124 TG_Lightmap
1125 Nil 1125 []
1126 ST_Lightmap 1126 ST_Lightmap
1127 True 1127 True
1128 D_Lequal 1128 D_Lequal
1129 Nothing 1129 Nothing
1130 False 1130 False
1131 "Tex_3226210144" 1131 "Tex_3226210144"
1132 : Nil) 1132 : [])
1133 False) 1133 False)
1134 HNil) 1134 HNil)
1135 : HCons 1135 : HCons
@@ -1143,7 +1143,7 @@ sampleMaterial
1143 False 1143 False
1144 False 1144 False
1145 CT_FrontSided 1145 CT_FrontSided
1146 Nil 1146 []
1147 False 1147 False
1148 False 1148 False
1149 (StageAttrs 1149 (StageAttrs
@@ -1151,7 +1151,7 @@ sampleMaterial
1151 RGB_IdentityLighting 1151 RGB_IdentityLighting
1152 A_Identity 1152 A_Identity
1153 TG_Base 1153 TG_Base
1154 Nil 1154 []
1155 (ST_Map "textures/gothic_floor/xstepborder3") 1155 (ST_Map "textures/gothic_floor/xstepborder3")
1156 True 1156 True
1157 D_Lequal 1157 D_Lequal
@@ -1163,14 +1163,14 @@ sampleMaterial
1163 RGB_IdentityLighting 1163 RGB_IdentityLighting
1164 A_Identity 1164 A_Identity
1165 TG_Lightmap 1165 TG_Lightmap
1166 Nil 1166 []
1167 ST_Lightmap 1167 ST_Lightmap
1168 True 1168 True
1169 D_Lequal 1169 D_Lequal
1170 Nothing 1170 Nothing
1171 False 1171 False
1172 "Tex_3226210144" 1172 "Tex_3226210144"
1173 : Nil) 1173 : [])
1174 False) 1174 False)
1175 HNil) 1175 HNil)
1176 : HCons 1176 : HCons
@@ -1184,7 +1184,7 @@ sampleMaterial
1184 False 1184 False
1185 False 1185 False
1186 CT_FrontSided 1186 CT_FrontSided
1187 Nil 1187 []
1188 False 1188 False
1189 False 1189 False
1190 (StageAttrs 1190 (StageAttrs
@@ -1192,7 +1192,7 @@ sampleMaterial
1192 RGB_IdentityLighting 1192 RGB_IdentityLighting
1193 A_Identity 1193 A_Identity
1194 TG_Base 1194 TG_Base
1195 Nil 1195 []
1196 (ST_Map "textures/gothic_trim/baseboard04") 1196 (ST_Map "textures/gothic_trim/baseboard04")
1197 True 1197 True
1198 D_Lequal 1198 D_Lequal
@@ -1204,14 +1204,14 @@ sampleMaterial
1204 RGB_IdentityLighting 1204 RGB_IdentityLighting
1205 A_Identity 1205 A_Identity
1206 TG_Lightmap 1206 TG_Lightmap
1207 Nil 1207 []
1208 ST_Lightmap 1208 ST_Lightmap
1209 True 1209 True
1210 D_Lequal 1210 D_Lequal
1211 Nothing 1211 Nothing
1212 False 1212 False
1213 "Tex_3226210144" 1213 "Tex_3226210144"
1214 : Nil) 1214 : [])
1215 False) 1215 False)
1216 HNil) 1216 HNil)
1217 : HCons 1217 : HCons
@@ -1225,7 +1225,7 @@ sampleMaterial
1225 False 1225 False
1226 False 1226 False
1227 CT_FrontSided 1227 CT_FrontSided
1228 Nil 1228 []
1229 False 1229 False
1230 False 1230 False
1231 (StageAttrs 1231 (StageAttrs
@@ -1233,7 +1233,7 @@ sampleMaterial
1233 RGB_IdentityLighting 1233 RGB_IdentityLighting
1234 A_Identity 1234 A_Identity
1235 TG_Base 1235 TG_Base
1236 Nil 1236 []
1237 (ST_Map "textures/gothic_trim/baseboard09_c3") 1237 (ST_Map "textures/gothic_trim/baseboard09_c3")
1238 True 1238 True
1239 D_Lequal 1239 D_Lequal
@@ -1245,14 +1245,14 @@ sampleMaterial
1245 RGB_IdentityLighting 1245 RGB_IdentityLighting
1246 A_Identity 1246 A_Identity
1247 TG_Lightmap 1247 TG_Lightmap
1248 Nil 1248 []
1249 ST_Lightmap 1249 ST_Lightmap
1250 True 1250 True
1251 D_Lequal 1251 D_Lequal
1252 Nothing 1252 Nothing
1253 False 1253 False
1254 "Tex_3226210144" 1254 "Tex_3226210144"
1255 : Nil) 1255 : [])
1256 False) 1256 False)
1257 HNil) 1257 HNil)
1258 : HCons 1258 : HCons
@@ -1266,7 +1266,7 @@ sampleMaterial
1266 False 1266 False
1267 False 1267 False
1268 CT_FrontSided 1268 CT_FrontSided
1269 Nil 1269 []
1270 False 1270 False
1271 False 1271 False
1272 (StageAttrs 1272 (StageAttrs
@@ -1274,7 +1274,7 @@ sampleMaterial
1274 RGB_IdentityLighting 1274 RGB_IdentityLighting
1275 A_Identity 1275 A_Identity
1276 TG_Base 1276 TG_Base
1277 Nil 1277 []
1278 (ST_Map "textures/gothic_trim/baseboard09_e") 1278 (ST_Map "textures/gothic_trim/baseboard09_e")
1279 True 1279 True
1280 D_Lequal 1280 D_Lequal
@@ -1286,14 +1286,14 @@ sampleMaterial
1286 RGB_IdentityLighting 1286 RGB_IdentityLighting
1287 A_Identity 1287 A_Identity
1288 TG_Lightmap 1288 TG_Lightmap
1289 Nil 1289 []
1290 ST_Lightmap 1290 ST_Lightmap
1291 True 1291 True
1292 D_Lequal 1292 D_Lequal
1293 Nothing 1293 Nothing
1294 False 1294 False
1295 "Tex_3226210144" 1295 "Tex_3226210144"
1296 : Nil) 1296 : [])
1297 False) 1297 False)
1298 HNil) 1298 HNil)
1299 : HCons 1299 : HCons
@@ -1307,7 +1307,7 @@ sampleMaterial
1307 False 1307 False
1308 False 1308 False
1309 CT_FrontSided 1309 CT_FrontSided
1310 Nil 1310 []
1311 False 1311 False
1312 False 1312 False
1313 (StageAttrs 1313 (StageAttrs
@@ -1315,7 +1315,7 @@ sampleMaterial
1315 RGB_IdentityLighting 1315 RGB_IdentityLighting
1316 A_Identity 1316 A_Identity
1317 TG_Base 1317 TG_Base
1318 Nil 1318 []
1319 (ST_Map "textures/gothic_trim/baseboard09_e2") 1319 (ST_Map "textures/gothic_trim/baseboard09_e2")
1320 True 1320 True
1321 D_Lequal 1321 D_Lequal
@@ -1327,14 +1327,14 @@ sampleMaterial
1327 RGB_IdentityLighting 1327 RGB_IdentityLighting
1328 A_Identity 1328 A_Identity
1329 TG_Lightmap 1329 TG_Lightmap
1330 Nil 1330 []
1331 ST_Lightmap 1331 ST_Lightmap
1332 True 1332 True
1333 D_Lequal 1333 D_Lequal
1334 Nothing 1334 Nothing
1335 False 1335 False
1336 "Tex_3226210144" 1336 "Tex_3226210144"
1337 : Nil) 1337 : [])
1338 False) 1338 False)
1339 HNil) 1339 HNil)
1340 : HCons 1340 : HCons
@@ -1348,7 +1348,7 @@ sampleMaterial
1348 False 1348 False
1349 False 1349 False
1350 CT_FrontSided 1350 CT_FrontSided
1351 Nil 1351 []
1352 False 1352 False
1353 False 1353 False
1354 (StageAttrs 1354 (StageAttrs
@@ -1356,7 +1356,7 @@ sampleMaterial
1356 RGB_IdentityLighting 1356 RGB_IdentityLighting
1357 A_Identity 1357 A_Identity
1358 TG_Base 1358 TG_Base
1359 Nil 1359 []
1360 (ST_Map "textures/gothic_trim/baseboard09_l2") 1360 (ST_Map "textures/gothic_trim/baseboard09_l2")
1361 True 1361 True
1362 D_Lequal 1362 D_Lequal
@@ -1368,14 +1368,14 @@ sampleMaterial
1368 RGB_IdentityLighting 1368 RGB_IdentityLighting
1369 A_Identity 1369 A_Identity
1370 TG_Lightmap 1370 TG_Lightmap
1371 Nil 1371 []
1372 ST_Lightmap 1372 ST_Lightmap
1373 True 1373 True
1374 D_Lequal 1374 D_Lequal
1375 Nothing 1375 Nothing
1376 False 1376 False
1377 "Tex_3226210144" 1377 "Tex_3226210144"
1378 : Nil) 1378 : [])
1379 False) 1379 False)
1380 HNil) 1380 HNil)
1381 : HCons 1381 : HCons
@@ -1389,7 +1389,7 @@ sampleMaterial
1389 False 1389 False
1390 False 1390 False
1391 CT_FrontSided 1391 CT_FrontSided
1392 Nil 1392 []
1393 False 1393 False
1394 False 1394 False
1395 (StageAttrs 1395 (StageAttrs
@@ -1397,7 +1397,7 @@ sampleMaterial
1397 RGB_IdentityLighting 1397 RGB_IdentityLighting
1398 A_Identity 1398 A_Identity
1399 TG_Base 1399 TG_Base
1400 Nil 1400 []
1401 (ST_Map "textures/gothic_trim/baseboard09_o3") 1401 (ST_Map "textures/gothic_trim/baseboard09_o3")
1402 True 1402 True
1403 D_Lequal 1403 D_Lequal
@@ -1409,14 +1409,14 @@ sampleMaterial
1409 RGB_IdentityLighting 1409 RGB_IdentityLighting
1410 A_Identity 1410 A_Identity
1411 TG_Lightmap 1411 TG_Lightmap
1412 Nil 1412 []
1413 ST_Lightmap 1413 ST_Lightmap
1414 True 1414 True
1415 D_Lequal 1415 D_Lequal
1416 Nothing 1416 Nothing
1417 False 1417 False
1418 "Tex_3226210144" 1418 "Tex_3226210144"
1419 : Nil) 1419 : [])
1420 False) 1420 False)
1421 HNil) 1421 HNil)
1422 : HCons 1422 : HCons
@@ -1430,7 +1430,7 @@ sampleMaterial
1430 False 1430 False
1431 False 1431 False
1432 CT_FrontSided 1432 CT_FrontSided
1433 Nil 1433 []
1434 False 1434 False
1435 False 1435 False
1436 (StageAttrs 1436 (StageAttrs
@@ -1438,7 +1438,7 @@ sampleMaterial
1438 RGB_IdentityLighting 1438 RGB_IdentityLighting
1439 A_Identity 1439 A_Identity
1440 TG_Base 1440 TG_Base
1441 Nil 1441 []
1442 (ST_Map "textures/gothic_trim/km_arena1tower4") 1442 (ST_Map "textures/gothic_trim/km_arena1tower4")
1443 True 1443 True
1444 D_Lequal 1444 D_Lequal
@@ -1450,14 +1450,14 @@ sampleMaterial
1450 RGB_IdentityLighting 1450 RGB_IdentityLighting
1451 A_Identity 1451 A_Identity
1452 TG_Lightmap 1452 TG_Lightmap
1453 Nil 1453 []
1454 ST_Lightmap 1454 ST_Lightmap
1455 True 1455 True
1456 D_Lequal 1456 D_Lequal
1457 Nothing 1457 Nothing
1458 False 1458 False
1459 "Tex_3226210144" 1459 "Tex_3226210144"
1460 : Nil) 1460 : [])
1461 False) 1461 False)
1462 HNil) 1462 HNil)
1463 : HCons 1463 : HCons
@@ -1471,7 +1471,7 @@ sampleMaterial
1471 False 1471 False
1472 False 1472 False
1473 CT_FrontSided 1473 CT_FrontSided
1474 Nil 1474 []
1475 False 1475 False
1476 False 1476 False
1477 (StageAttrs 1477 (StageAttrs
@@ -1479,7 +1479,7 @@ sampleMaterial
1479 RGB_IdentityLighting 1479 RGB_IdentityLighting
1480 A_Identity 1480 A_Identity
1481 TG_Base 1481 TG_Base
1482 Nil 1482 []
1483 (ST_Map "textures/gothic_trim/km_arena1tower4_a") 1483 (ST_Map "textures/gothic_trim/km_arena1tower4_a")
1484 True 1484 True
1485 D_Lequal 1485 D_Lequal
@@ -1491,14 +1491,14 @@ sampleMaterial
1491 RGB_IdentityLighting 1491 RGB_IdentityLighting
1492 A_Identity 1492 A_Identity
1493 TG_Lightmap 1493 TG_Lightmap
1494 Nil 1494 []
1495 ST_Lightmap 1495 ST_Lightmap
1496 True 1496 True
1497 D_Lequal 1497 D_Lequal
1498 Nothing 1498 Nothing
1499 False 1499 False
1500 "Tex_3226210144" 1500 "Tex_3226210144"
1501 : Nil) 1501 : [])
1502 False) 1502 False)
1503 HNil) 1503 HNil)
1504 : HCons 1504 : HCons
@@ -1512,7 +1512,7 @@ sampleMaterial
1512 False 1512 False
1513 False 1513 False
1514 CT_FrontSided 1514 CT_FrontSided
1515 Nil 1515 []
1516 False 1516 False
1517 False 1517 False
1518 (StageAttrs 1518 (StageAttrs
@@ -1520,7 +1520,7 @@ sampleMaterial
1520 RGB_IdentityLighting 1520 RGB_IdentityLighting
1521 A_Identity 1521 A_Identity
1522 TG_Base 1522 TG_Base
1523 Nil 1523 []
1524 (ST_Map "textures/gothic_trim/metaldemonkillblock") 1524 (ST_Map "textures/gothic_trim/metaldemonkillblock")
1525 True 1525 True
1526 D_Lequal 1526 D_Lequal
@@ -1532,14 +1532,14 @@ sampleMaterial
1532 RGB_IdentityLighting 1532 RGB_IdentityLighting
1533 A_Identity 1533 A_Identity
1534 TG_Lightmap 1534 TG_Lightmap
1535 Nil 1535 []
1536 ST_Lightmap 1536 ST_Lightmap
1537 True 1537 True
1538 D_Lequal 1538 D_Lequal
1539 Nothing 1539 Nothing
1540 False 1540 False
1541 "Tex_3226210144" 1541 "Tex_3226210144"
1542 : Nil) 1542 : [])
1543 False) 1543 False)
1544 HNil) 1544 HNil)
1545 : HCons 1545 : HCons
@@ -1553,7 +1553,7 @@ sampleMaterial
1553 False 1553 False
1554 False 1554 False
1555 CT_FrontSided 1555 CT_FrontSided
1556 Nil 1556 []
1557 False 1557 False
1558 False 1558 False
1559 (StageAttrs 1559 (StageAttrs
@@ -1561,7 +1561,7 @@ sampleMaterial
1561 RGB_IdentityLighting 1561 RGB_IdentityLighting
1562 A_Identity 1562 A_Identity
1563 TG_Base 1563 TG_Base
1564 Nil 1564 []
1565 (ST_Map "textures/gothic_trim/metalsupport4b") 1565 (ST_Map "textures/gothic_trim/metalsupport4b")
1566 True 1566 True
1567 D_Lequal 1567 D_Lequal
@@ -1573,14 +1573,14 @@ sampleMaterial
1573 RGB_IdentityLighting 1573 RGB_IdentityLighting
1574 A_Identity 1574 A_Identity
1575 TG_Lightmap 1575 TG_Lightmap
1576 Nil 1576 []
1577 ST_Lightmap 1577 ST_Lightmap
1578 True 1578 True
1579 D_Lequal 1579 D_Lequal
1580 Nothing 1580 Nothing
1581 False 1581 False
1582 "Tex_3226210144" 1582 "Tex_3226210144"
1583 : Nil) 1583 : [])
1584 False) 1584 False)
1585 HNil) 1585 HNil)
1586 : HCons 1586 : HCons
@@ -1594,7 +1594,7 @@ sampleMaterial
1594 False 1594 False
1595 False 1595 False
1596 CT_FrontSided 1596 CT_FrontSided
1597 Nil 1597 []
1598 False 1598 False
1599 False 1599 False
1600 (StageAttrs 1600 (StageAttrs
@@ -1602,7 +1602,7 @@ sampleMaterial
1602 RGB_IdentityLighting 1602 RGB_IdentityLighting
1603 A_Identity 1603 A_Identity
1604 TG_Base 1604 TG_Base
1605 Nil 1605 []
1606 (ST_Map "textures/gothic_trim/metalsupsolid") 1606 (ST_Map "textures/gothic_trim/metalsupsolid")
1607 True 1607 True
1608 D_Lequal 1608 D_Lequal
@@ -1614,14 +1614,14 @@ sampleMaterial
1614 RGB_IdentityLighting 1614 RGB_IdentityLighting
1615 A_Identity 1615 A_Identity
1616 TG_Lightmap 1616 TG_Lightmap
1617 Nil 1617 []
1618 ST_Lightmap 1618 ST_Lightmap
1619 True 1619 True
1620 D_Lequal 1620 D_Lequal
1621 Nothing 1621 Nothing
1622 False 1622 False
1623 "Tex_3226210144" 1623 "Tex_3226210144"
1624 : Nil) 1624 : [])
1625 False) 1625 False)
1626 HNil) 1626 HNil)
1627 : HCons 1627 : HCons
@@ -1635,7 +1635,7 @@ sampleMaterial
1635 False 1635 False
1636 False 1636 False
1637 CT_FrontSided 1637 CT_FrontSided
1638 Nil 1638 []
1639 False 1639 False
1640 False 1640 False
1641 (StageAttrs 1641 (StageAttrs
@@ -1643,7 +1643,7 @@ sampleMaterial
1643 RGB_IdentityLighting 1643 RGB_IdentityLighting
1644 A_Identity 1644 A_Identity
1645 TG_Base 1645 TG_Base
1646 Nil 1646 []
1647 (ST_Map "textures/gothic_trim/pitted_rust") 1647 (ST_Map "textures/gothic_trim/pitted_rust")
1648 True 1648 True
1649 D_Lequal 1649 D_Lequal
@@ -1655,14 +1655,14 @@ sampleMaterial
1655 RGB_IdentityLighting 1655 RGB_IdentityLighting
1656 A_Identity 1656 A_Identity
1657 TG_Lightmap 1657 TG_Lightmap
1658 Nil 1658 []
1659 ST_Lightmap 1659 ST_Lightmap
1660 True 1660 True
1661 D_Lequal 1661 D_Lequal
1662 Nothing 1662 Nothing
1663 False 1663 False
1664 "Tex_3226210144" 1664 "Tex_3226210144"
1665 : Nil) 1665 : [])
1666 False) 1666 False)
1667 HNil) 1667 HNil)
1668 : HCons 1668 : HCons
@@ -1676,7 +1676,7 @@ sampleMaterial
1676 False 1676 False
1677 False 1677 False
1678 CT_FrontSided 1678 CT_FrontSided
1679 Nil 1679 []
1680 False 1680 False
1681 False 1681 False
1682 (StageAttrs 1682 (StageAttrs
@@ -1684,7 +1684,7 @@ sampleMaterial
1684 RGB_IdentityLighting 1684 RGB_IdentityLighting
1685 A_Identity 1685 A_Identity
1686 TG_Base 1686 TG_Base
1687 Nil 1687 []
1688 (ST_Map "textures/gothic_trim/pitted_rust2") 1688 (ST_Map "textures/gothic_trim/pitted_rust2")
1689 True 1689 True
1690 D_Lequal 1690 D_Lequal
@@ -1696,14 +1696,14 @@ sampleMaterial
1696 RGB_IdentityLighting 1696 RGB_IdentityLighting
1697 A_Identity 1697 A_Identity
1698 TG_Lightmap 1698 TG_Lightmap
1699 Nil 1699 []
1700 ST_Lightmap 1700 ST_Lightmap
1701 True 1701 True
1702 D_Lequal 1702 D_Lequal
1703 Nothing 1703 Nothing
1704 False 1704 False
1705 "Tex_3226210144" 1705 "Tex_3226210144"
1706 : Nil) 1706 : [])
1707 False) 1707 False)
1708 HNil) 1708 HNil)
1709 : HCons 1709 : HCons
@@ -1717,7 +1717,7 @@ sampleMaterial
1717 False 1717 False
1718 False 1718 False
1719 CT_FrontSided 1719 CT_FrontSided
1720 Nil 1720 []
1721 False 1721 False
1722 False 1722 False
1723 (StageAttrs 1723 (StageAttrs
@@ -1725,7 +1725,7 @@ sampleMaterial
1725 RGB_Identity 1725 RGB_Identity
1726 A_Identity 1726 A_Identity
1727 TG_Lightmap 1727 TG_Lightmap
1728 Nil 1728 []
1729 ST_Lightmap 1729 ST_Lightmap
1730 True 1730 True
1731 D_Lequal 1731 D_Lequal
@@ -1737,14 +1737,14 @@ sampleMaterial
1737 RGB_Identity 1737 RGB_Identity
1738 A_Identity 1738 A_Identity
1739 TG_Base 1739 TG_Base
1740 Nil 1740 []
1741 (ST_Map "textures/gothic_trim/pitted_rust2.tga") 1741 (ST_Map "textures/gothic_trim/pitted_rust2.tga")
1742 False 1742 False
1743 D_Lequal 1743 D_Lequal
1744 Nothing 1744 Nothing
1745 False 1745 False
1746 "Tex_1910997598" 1746 "Tex_1910997598"
1747 : Nil) 1747 : [])
1748 False) 1748 False)
1749 HNil) 1749 HNil)
1750 : HCons 1750 : HCons
@@ -1758,7 +1758,7 @@ sampleMaterial
1758 False 1758 False
1759 False 1759 False
1760 CT_FrontSided 1760 CT_FrontSided
1761 Nil 1761 []
1762 False 1762 False
1763 False 1763 False
1764 (StageAttrs 1764 (StageAttrs
@@ -1766,7 +1766,7 @@ sampleMaterial
1766 RGB_IdentityLighting 1766 RGB_IdentityLighting
1767 A_Identity 1767 A_Identity
1768 TG_Base 1768 TG_Base
1769 Nil 1769 []
1770 (ST_Map "textures/gothic_trim/pitted_rust3") 1770 (ST_Map "textures/gothic_trim/pitted_rust3")
1771 True 1771 True
1772 D_Lequal 1772 D_Lequal
@@ -1778,14 +1778,14 @@ sampleMaterial
1778 RGB_IdentityLighting 1778 RGB_IdentityLighting
1779 A_Identity 1779 A_Identity
1780 TG_Lightmap 1780 TG_Lightmap
1781 Nil 1781 []
1782 ST_Lightmap 1782 ST_Lightmap
1783 True 1783 True
1784 D_Lequal 1784 D_Lequal
1785 Nothing 1785 Nothing
1786 False 1786 False
1787 "Tex_3226210144" 1787 "Tex_3226210144"
1788 : Nil) 1788 : [])
1789 False) 1789 False)
1790 HNil) 1790 HNil)
1791 : HCons 1791 : HCons
@@ -1799,7 +1799,7 @@ sampleMaterial
1799 False 1799 False
1800 False 1800 False
1801 CT_FrontSided 1801 CT_FrontSided
1802 Nil 1802 []
1803 False 1803 False
1804 False 1804 False
1805 (StageAttrs 1805 (StageAttrs
@@ -1807,7 +1807,7 @@ sampleMaterial
1807 RGB_IdentityLighting 1807 RGB_IdentityLighting
1808 A_Identity 1808 A_Identity
1809 TG_Base 1809 TG_Base
1810 Nil 1810 []
1811 (ST_Map "textures/gothic_trim/skullsvertgray02b") 1811 (ST_Map "textures/gothic_trim/skullsvertgray02b")
1812 True 1812 True
1813 D_Lequal 1813 D_Lequal
@@ -1819,14 +1819,14 @@ sampleMaterial
1819 RGB_IdentityLighting 1819 RGB_IdentityLighting
1820 A_Identity 1820 A_Identity
1821 TG_Lightmap 1821 TG_Lightmap
1822 Nil 1822 []
1823 ST_Lightmap 1823 ST_Lightmap
1824 True 1824 True
1825 D_Lequal 1825 D_Lequal
1826 Nothing 1826 Nothing
1827 False 1827 False
1828 "Tex_3226210144" 1828 "Tex_3226210144"
1829 : Nil) 1829 : [])
1830 False) 1830 False)
1831 HNil) 1831 HNil)
1832 : HCons 1832 : HCons
@@ -1840,7 +1840,7 @@ sampleMaterial
1840 False 1840 False
1841 False 1841 False
1842 CT_FrontSided 1842 CT_FrontSided
1843 Nil 1843 []
1844 False 1844 False
1845 False 1845 False
1846 (StageAttrs 1846 (StageAttrs
@@ -1848,7 +1848,7 @@ sampleMaterial
1848 RGB_IdentityLighting 1848 RGB_IdentityLighting
1849 A_Identity 1849 A_Identity
1850 TG_Base 1850 TG_Base
1851 Nil 1851 []
1852 (ST_Map "textures/gothic_wall/iron01_e") 1852 (ST_Map "textures/gothic_wall/iron01_e")
1853 True 1853 True
1854 D_Lequal 1854 D_Lequal
@@ -1860,14 +1860,14 @@ sampleMaterial
1860 RGB_IdentityLighting 1860 RGB_IdentityLighting
1861 A_Identity 1861 A_Identity
1862 TG_Lightmap 1862 TG_Lightmap
1863 Nil 1863 []
1864 ST_Lightmap 1864 ST_Lightmap
1865 True 1865 True
1866 D_Lequal 1866 D_Lequal
1867 Nothing 1867 Nothing
1868 False 1868 False
1869 "Tex_3226210144" 1869 "Tex_3226210144"
1870 : Nil) 1870 : [])
1871 False) 1871 False)
1872 HNil) 1872 HNil)
1873 : HCons 1873 : HCons
@@ -1881,7 +1881,7 @@ sampleMaterial
1881 False 1881 False
1882 False 1882 False
1883 CT_FrontSided 1883 CT_FrontSided
1884 Nil 1884 []
1885 False 1885 False
1886 False 1886 False
1887 (StageAttrs 1887 (StageAttrs
@@ -1889,7 +1889,7 @@ sampleMaterial
1889 RGB_IdentityLighting 1889 RGB_IdentityLighting
1890 A_Identity 1890 A_Identity
1891 TG_Base 1891 TG_Base
1892 Nil 1892 []
1893 (ST_Map "textures/gothic_wall/iron01_ntech3") 1893 (ST_Map "textures/gothic_wall/iron01_ntech3")
1894 True 1894 True
1895 D_Lequal 1895 D_Lequal
@@ -1901,14 +1901,14 @@ sampleMaterial
1901 RGB_IdentityLighting 1901 RGB_IdentityLighting
1902 A_Identity 1902 A_Identity
1903 TG_Lightmap 1903 TG_Lightmap
1904 Nil 1904 []
1905 ST_Lightmap 1905 ST_Lightmap
1906 True 1906 True
1907 D_Lequal 1907 D_Lequal
1908 Nothing 1908 Nothing
1909 False 1909 False
1910 "Tex_3226210144" 1910 "Tex_3226210144"
1911 : Nil) 1911 : [])
1912 False) 1912 False)
1913 HNil) 1913 HNil)
1914 : HCons 1914 : HCons
@@ -1922,7 +1922,7 @@ sampleMaterial
1922 False 1922 False
1923 False 1923 False
1924 CT_FrontSided 1924 CT_FrontSided
1925 Nil 1925 []
1926 False 1926 False
1927 False 1927 False
1928 (StageAttrs 1928 (StageAttrs
@@ -1930,7 +1930,7 @@ sampleMaterial
1930 RGB_IdentityLighting 1930 RGB_IdentityLighting
1931 A_Identity 1931 A_Identity
1932 TG_Base 1932 TG_Base
1933 Nil 1933 []
1934 (ST_Map "textures/gothic_wall/skull4") 1934 (ST_Map "textures/gothic_wall/skull4")
1935 True 1935 True
1936 D_Lequal 1936 D_Lequal
@@ -1942,14 +1942,14 @@ sampleMaterial
1942 RGB_IdentityLighting 1942 RGB_IdentityLighting
1943 A_Identity 1943 A_Identity
1944 TG_Lightmap 1944 TG_Lightmap
1945 Nil 1945 []
1946 ST_Lightmap 1946 ST_Lightmap
1947 True 1947 True
1948 D_Lequal 1948 D_Lequal
1949 Nothing 1949 Nothing
1950 False 1950 False
1951 "Tex_3226210144" 1951 "Tex_3226210144"
1952 : Nil) 1952 : [])
1953 False) 1953 False)
1954 HNil) 1954 HNil)
1955 : HCons 1955 : HCons
@@ -1963,7 +1963,7 @@ sampleMaterial
1963 False 1963 False
1964 False 1964 False
1965 CT_FrontSided 1965 CT_FrontSided
1966 Nil 1966 []
1967 False 1967 False
1968 False 1968 False
1969 (StageAttrs 1969 (StageAttrs
@@ -1971,7 +1971,7 @@ sampleMaterial
1971 RGB_IdentityLighting 1971 RGB_IdentityLighting
1972 A_Identity 1972 A_Identity
1973 TG_Base 1973 TG_Base
1974 Nil 1974 []
1975 (ST_Map "textures/gothic_wall/slateroofc") 1975 (ST_Map "textures/gothic_wall/slateroofc")
1976 True 1976 True
1977 D_Lequal 1977 D_Lequal
@@ -1983,14 +1983,14 @@ sampleMaterial
1983 RGB_IdentityLighting 1983 RGB_IdentityLighting
1984 A_Identity 1984 A_Identity
1985 TG_Lightmap 1985 TG_Lightmap
1986 Nil 1986 []
1987 ST_Lightmap 1987 ST_Lightmap
1988 True 1988 True
1989 D_Lequal 1989 D_Lequal
1990 Nothing 1990 Nothing
1991 False 1991 False
1992 "Tex_3226210144" 1992 "Tex_3226210144"
1993 : Nil) 1993 : [])
1994 False) 1994 False)
1995 HNil) 1995 HNil)
1996 : HCons 1996 : HCons
@@ -2004,7 +2004,7 @@ sampleMaterial
2004 False 2004 False
2005 False 2005 False
2006 CT_FrontSided 2006 CT_FrontSided
2007 Nil 2007 []
2008 False 2008 False
2009 False 2009 False
2010 (StageAttrs 2010 (StageAttrs
@@ -2012,7 +2012,7 @@ sampleMaterial
2012 RGB_IdentityLighting 2012 RGB_IdentityLighting
2013 A_Identity 2013 A_Identity
2014 TG_Base 2014 TG_Base
2015 Nil 2015 []
2016 (ST_Map "textures/gothic_wall/supportborder_blue_b") 2016 (ST_Map "textures/gothic_wall/supportborder_blue_b")
2017 True 2017 True
2018 D_Lequal 2018 D_Lequal
@@ -2024,14 +2024,14 @@ sampleMaterial
2024 RGB_IdentityLighting 2024 RGB_IdentityLighting
2025 A_Identity 2025 A_Identity
2026 TG_Lightmap 2026 TG_Lightmap
2027 Nil 2027 []
2028 ST_Lightmap 2028 ST_Lightmap
2029 True 2029 True
2030 D_Lequal 2030 D_Lequal
2031 Nothing 2031 Nothing
2032 False 2032 False
2033 "Tex_3226210144" 2033 "Tex_3226210144"
2034 : Nil) 2034 : [])
2035 False) 2035 False)
2036 HNil) 2036 HNil)
2037 : HCons 2037 : HCons
@@ -2045,7 +2045,7 @@ sampleMaterial
2045 False 2045 False
2046 False 2046 False
2047 CT_FrontSided 2047 CT_FrontSided
2048 Nil 2048 []
2049 False 2049 False
2050 False 2050 False
2051 (StageAttrs 2051 (StageAttrs
@@ -2053,7 +2053,7 @@ sampleMaterial
2053 RGB_IdentityLighting 2053 RGB_IdentityLighting
2054 A_Identity 2054 A_Identity
2055 TG_Base 2055 TG_Base
2056 Nil 2056 []
2057 (ST_Map "textures/gothic_wall/supportborder_blue_c") 2057 (ST_Map "textures/gothic_wall/supportborder_blue_c")
2058 True 2058 True
2059 D_Lequal 2059 D_Lequal
@@ -2065,17 +2065,17 @@ sampleMaterial
2065 RGB_IdentityLighting 2065 RGB_IdentityLighting
2066 A_Identity 2066 A_Identity
2067 TG_Lightmap 2067 TG_Lightmap
2068 Nil 2068 []
2069 ST_Lightmap 2069 ST_Lightmap
2070 True 2070 True
2071 D_Lequal 2071 D_Lequal
2072 Nothing 2072 Nothing
2073 False 2073 False
2074 "Tex_3226210144" 2074 "Tex_3226210144"
2075 : Nil) 2075 : [])
2076 False) 2076 False)
2077 HNil) 2077 HNil)
2078 : Nil) 2078 : [])
2079main is not found 2079main is not found
2080------------ trace 2080------------ trace
2081sampleMaterial :: List (String, CommonAttrs) 2081sampleMaterial :: List (String, CommonAttrs)
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 @@
2zip2 2zip2
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)
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 13:49:30 +0000