git.iko.soy/Idris-dev
on master help sign in
Rebase to master and add prelude001 to tasty test suite.
3f39e81Steven Shaw
test/TestData.hs+2
compare with master
unifiedsplit
@@ -168,6 +168,8 @@ testFamiliesData = [
168 ( 2, ANY ),
168 ( 2, ANY ),
169 ( 3, ANY ),
169 ( 3, ANY ),
170 ( 4, ANY )]),
170 ( 4, ANY )]),
171+ ("prelude", "Prelude",
172+ [ ( 1, ANY )]),
171 ("primitives", "Primitive types",
173 ("primitives", "Primitive types",
172 [ ( 1, ANY ),
174 [ ( 1, ANY ),
173 ( 2, ANY ),
175 ( 2, ANY ),