Commit 03e03950 authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix missing pattern in type matching function

parent f63812da
......@@ -139,6 +139,7 @@ matchType' (TypeApply ty11 ty12) (TypeArrow ty21 ty22) =
matchType' (TypeArrow ty11 ty12) (TypeApply ty21 ty22) =
fmap (. matchType ty12 ty22)
(matchType' (TypeApply (TypeConstructor qArrowId) ty11) ty21)
matchType' (TypeForall _ ty1) (TypeForall _ ty2) = matchType' ty1 ty2
matchType' _ _ = Nothing
-- The functions 'bindDecls', 'bindDecl', 'bindPatterns' and 'bindPattern'
Supports Markdown
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