Fix transforms under lambdas
Need to ensure names are in the same form (P or V) on both sides of the
transform!
commitb6c54b080c9bbffa477c13b3c2e58569e4960ed7
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 26 Oct 2014, 17:38 (12 years ago)
parent16f7dd7
src/Idris/Transforms.hs+1−1
@@ -93,7 +93,7 @@ matchTerm lhs tm = matchVars [] lhs tm
9393 = do fm <- doMatch ns f f'
9494 am <- doMatch ns a a'
9595 return (fm ++ am)
96− doMatch ns x y | x == y = return []
96+ doMatch ns x y | vToP x == vToP y = return []
9797 | otherwise = Nothing
9898
9999