git.iko.soy/Idris-dev
on master help sign in
Update TestData
666f82eSteven Shaw
test/TestData.hs+1−2
compare with master
unifiedsplit
@@ -296,8 +296,7 @@ testFamiliesData = [
296 ( 7, C_CG )]),
296 ( 7, C_CG )]),
297 ("unique", "Uniqueness types",
297 ("unique", "Uniqueness types",
298 [ ( 1, ANY ),
298 [ ( 1, ANY ),
299− ( 2, ANY ),
300− ( 3, ANY )]),
299+ ( 4, ANY )]),
301 ("universes", "Universes",
300 ("universes", "Universes",
302 [ ( 1, ANY ),
301 [ ( 1, ANY ),
303 ( 2, ANY )]),
302 ( 2, ANY )]),