Commit 7ce3b745 authored by Finn Teegen's avatar Finn Teegen
Browse files

Use newly added utility function

parent fa23ec2c
......@@ -1074,9 +1074,6 @@ elemType :: Type -> Type
elemType (TypeApply (TypeConstructor tc) ty) | tc == qListId = ty
elemType ty = internalError $ "Base.Types.elemType " ++ show ty
constrPattern :: a -> QualIdent -> [(a, Ident)] -> Pattern a
constrPattern ty c = ConstructorPattern ty c . map (uncurry VariablePattern)
applyConstr :: PredType -> QualIdent -> [Type] -> [Expression PredType]
-> Expression PredType
applyConstr pty c tys =
......
......@@ -505,8 +505,7 @@ computeMethodDictTypes cls f ty = do
where tys = arrowArgs ty
createDictPattern :: a -> QualIdent -> [(a, Ident)] -> Pattern a
createDictPattern a cls vs =
ConstructorPattern a (qDictConstrId cls) $ map (uncurry VariablePattern) vs
createDictPattern a cls = constrPattern a (qDictConstrId cls)
createSuperDictStubDecl :: Pattern a -> QualIdent -> a -> QualIdent
-> (a, Ident) -> Decl a
......
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