git.iko.soy/Idris-dev
on master help sign in
Changed unknown values to unknown instead of same
74214e6Ahmad Salim Al-Sibahi
src/Idris/Termination.hs+1−1
compare with master
unifiedsplit
@@ -429,7 +429,7 @@ buildSCG' ist topfn pats args = nub $ concatMap scgPat pats where
429 [ty] -> expand 0 (normalise (tt_ctxt ist) [] ty) args
429 [ty] -> expand 0 (normalise (tt_ctxt ist) [] ty) args
430 _ -> args
430 _ -> args
431 where expand i (Bind n (Pi _ _ _ _) sc) (x : xs) = x : expand (i + 1) sc xs
431 where expand i (Bind n (Pi _ _ _ _) sc) (x : xs) = x : expand (i + 1) sc xs
432− expand i (Bind n (Pi _ _ _ _) sc) [] = Just (i, Same) : expand (i + 1) sc []
432+ expand i (Bind n (Pi _ _ _ _) sc) [] = Nothing : expand (i + 1) sc []
433 expand i _ xs = xs
433 expand i _ xs = xs
434
434
435 mkChange n args pargs = [(n, expandToArity n (sizes args))]
435 mkChange n args pargs = [(n, expandToArity n (sizes args))]