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

Fixed bug in AbstractCurry generation w.r.t. as patterns

parent a435c993
......@@ -265,7 +265,7 @@ trPat (ListPattern _ ps) = trPat $
(ConstructorPattern qNilId [])
ps
trPat (NegativePattern _ _) = unsupported "negative patterns" -- TODO
trPat (AsPattern v p) = flip CPAs <$> trPat p <*> genVarIndex v
trPat (AsPattern v p) = CPAs <$> getVarIndex v<*> trPat p
trPat (LazyPattern _ p) = CPLazy <$> trPat p
trPat (FunctionPattern f ps) = CPFuncComb <$> trQual f <*> mapM trPat ps
trPat (InfixFuncPattern p1 f p2) = trPat (FunctionPattern f [p1, p2])
......
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