Commit afb89190 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Small change in GenAbstractCurry

parent 90d45285
......@@ -156,7 +156,8 @@ trLocalDecls ds = do
concat <$> mapM trLocalDecl ds
insertDeclLhs :: Decl -> GAC ()
insertDeclLhs (PatternDecl _ p _) = trPat p >> return ()
-- Insert all variables declared in local declarations
insertDeclLhs (PatternDecl _ p _) = mapM_ genVarIndex (bv p)
insertDeclLhs (FreeDecl _ vs) = mapM_ genVarIndex vs
insertDeclLhs _ = return ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment