git.iko.soy/Idris-dev
on master help sign in
Add layout001 to tasty test suite.
cfab5ecSteven Shaw
test/TestData.hs+2−1
compare with master
unifiedsplit
@@ -156,6 +156,8 @@ testFamiliesData = [
156 [ ( 1, C_CG ),
156 [ ( 1, C_CG ),
157 ( 2, ANY ),
157 ( 2, ANY ),
158 ( 3, C_CG )]),
158 ( 3, C_CG )]),
159+ ("layout", "Layout",
160+ [ ( 1, ANY )]),
159 ("literate", "Literate programming",
161 ("literate", "Literate programming",
160 [ ( 1, ANY )]),
162 [ ( 1, ANY )]),
161 ("meta", "Meta-programming",
163 ("meta", "Meta-programming",
@@ -297,4 +299,3 @@ testFamiliesData = [
297 [ ( 1, ANY ),
299 [ ( 1, ANY ),
298 ( 2, ANY ),
300 ( 2, ANY ),
299 ( 3, C_CG )])]
301 ( 3, C_CG )])]
300−