@@ -931,7 +931,7 @@ stripLinear i tm = evalState (sl tm) [] where
931 if (f `elem` ns)
931 if (f `elem` ns)
932 then return Placeholder
932 then return Placeholder
933 else do put (f : ns)
933 else do put (f : ns)
934− return (PRef fc f)
934+ return (PPatvar fc f)
935 sl (PApp fc fn args) = do fn' <- sl fn
935 sl (PApp fc fn args) = do fn' <- sl fn
936 args' <- mapM slA args
936 args' <- mapM slA args
937 return $ PApp fc fn' args'
937 return $ PApp fc fn' args'