git.iko.soy/Idris-dev
on master help sign in
Add regression002 to test suite
4fd3bd9Steven Shaw
test/TestData.hs+3−2
compare with master
unifiedsplit
@@ -255,8 +255,9 @@ testFamiliesData = [
255 ( 70, ANY ),
255 ( 70, ANY ),
256 ( 72, ANY ),
256 ( 72, ANY ),
257 ( 75, ANY )]),
257 ( 75, ANY )]),
258− ("regression", "Regression (loner)",
258+ ("regression", "Regression",
259− [ ( 1 , ANY )]),
259+ [ ( 1 , ANY ),
260+ ( 2 , ANY )]),
260 ("sourceLocation", "Source location",
261 ("sourceLocation", "Source location",
261 [ ( 1 , ANY )]),
262 [ ( 1 , ANY )]),
262 ("sugar", "Syntactic sugar",
263 ("sugar", "Syntactic sugar",