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

Use qualifyLike from curry-base

parent c53d4458
......@@ -68,8 +68,7 @@ exportInterface' (Module _ Nothing _ _) _ _ _
infixDecl :: ModuleIdent -> OpPrecEnv -> Export -> [IDecl] -> [IDecl]
infixDecl m pEnv (Export f) ds = iInfixDecl m pEnv f ds
infixDecl m pEnv (ExportTypeWith tc cs) ds =
foldr (iInfixDecl m pEnv . qualifyLike (qidModule tc)) ds cs
where qualifyLike = maybe qualify qualifyWith
foldr (iInfixDecl m pEnv . qualifyLike tc) ds cs
infixDecl _ _ _ _ = internalError "Exports.infixDecl: no pattern match"
iInfixDecl :: ModuleIdent -> OpPrecEnv -> QualIdent -> [IDecl] -> [IDecl]
......
......@@ -228,9 +228,6 @@ constrType' :: ModuleIdent -> [Ident] -> [Ident] -> TypeExpr -> ExistTypeScheme
constrType' m tvs evs ty = ForAllExist (length tvs) (length evs)
(toQualType m tvs ty)
qualifyLike :: QualIdent -> Ident -> QualIdent
qualifyLike x = maybe qualify qualifyWith (qidModule x)
bindRecordLabels :: ModuleIdent -> QualIdent -> ([Ident], TypeExpr)
-> ExpValueEnv -> ExpValueEnv
bindRecordLabels m r (ls, ty) env = foldr bindLbl env ls
......
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