Changed unknown values to unknown instead of same
commit74214e649c698bf78a2df4675700a297537b4e96
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateWed 15 Nov 2017, 16:55 (9 years ago)
parent8c5758c
src/Idris/Termination.hs+1−1
@@ -429,7 +429,7 @@ buildSCG' ist topfn pats args = nub $ concatMap scgPat pats where
429429 [ty] -> expand 0 (normalise (tt_ctxt ist) [] ty) args
430430 _ -> args
431431 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 []
433433 expand i _ xs = xs
434434
435435 mkChange n args pargs = [(n, expandToArity n (sizes args))]