Commit e328afb3 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-01-05 10:40:41 by simonpj]

Trim imports
parent 623e5fbb
...@@ -86,8 +86,7 @@ module TcType ( ...@@ -86,8 +86,7 @@ module TcType (
Kind, -- Stuff to do with kinds is insensitive to pre/post Tc Kind, -- Stuff to do with kinds is insensitive to pre/post Tc
unliftedTypeKind, liftedTypeKind, openTypeKind, mkArrowKind, mkArrowKinds, unliftedTypeKind, liftedTypeKind, openTypeKind, mkArrowKind, mkArrowKinds,
isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind, isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind,
isSubKind, defaultKind, isArgTypeKind, isSubKind, defaultKind,
isArgTypeKind, isOpenTypeKind,
Type, PredType(..), ThetaType, Type, PredType(..), ThetaType,
mkForAllTy, mkForAllTys, mkForAllTy, mkForAllTys,
......
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