Commit 767eacbb authored by Jan-Hendrik Matthes's avatar Jan-Hendrik Matthes 😄

Remove an unused function from the Base.Types module

parent 106037bb
......@@ -22,7 +22,7 @@ module Base.Types
Type (..)
, applyType, unapplyType, rootOfType, isArrowType, isVarType, arrowArity
, arrowArgs, arrowBase, arrowUnapply
, typeConstrs, qualifyType, unqualifyType, qualifyTC, weakPrenex
, typeConstrs, qualifyType, unqualifyType, qualifyTC
, hasHigherRankPoly
, IsType (..)
-- * Representation of predicates and predicate sets
......@@ -196,16 +196,6 @@ qualifyTC :: ModuleIdent -> QualIdent -> QualIdent
qualifyTC m tc | isPrimTypeId tc = tc
| otherwise = qualQualify m tc
-- | Converts the given type into weak-prenex form.
weakPrenex :: Type -> Type
weakPrenex ty@(TypeArrow ty1 ty2) = case weakPrenex ty2 of
TypeForall tvs ty2' -> TypeForall tvs (TypeArrow ty1 ty2')
_ -> ty
weakPrenex ty@(TypeForall tvs ty1) = case weakPrenex ty1 of
TypeForall tvs' ty1' -> TypeForall (tvs ++ tvs') ty1'
_ -> ty
weakPrenex ty = ty
-- | Checks whether the given type contains higher-rank polymorphism.
hasHigherRankPoly :: Type -> Bool
hasHigherRankPoly (TypeApply ty1 ty2)
......
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