Fix name shadowing error when checking for linear patterns
commit5aa46ad3bd65e67bda2f743c979db11525b85842
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 14 Mar 2013, 16:13 (14 years ago)
parentde7360b
src/Idris/AbsSyntax.hs+1−1
@@ -931,7 +931,7 @@ stripLinear i tm = evalState (sl tm) [] where
931931 if (f `elem` ns)
932932 then return Placeholder
933933 else do put (f : ns)
934− return (PRef fc f)
934+ return (PPatvar fc f)
935935 sl (PApp fc fn args) = do fn' <- sl fn
936936 args' <- mapM slA args
937937 return $ PApp fc fn' args'