Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Fumiaki Kinoshita
GHC
Commits
257af45f
Commit
257af45f
authored
Jul 26, 1997
by
sof
Browse files
[project @ 1997-07-26 03:37:54 by sof]
imports changed
parent
374fd5eb
Changes
3
Show whitespace changes
Inline
Side-by-side
ghc/compiler/typecheck/TcSimplify.lhs
View file @
257af45f
...
@@ -18,8 +18,7 @@ import HsSyn ( MonoBinds(..), HsExpr(..), InPat, OutPat, HsLit,
...
@@ -18,8 +18,7 @@ import HsSyn ( MonoBinds(..), HsExpr(..), InPat, OutPat, HsLit,
Match, HsBinds, HsType, ArithSeqInfo, Fixity,
Match, HsBinds, HsType, ArithSeqInfo, Fixity,
GRHSsAndBinds, Stmt, DoOrListComp, Fake )
GRHSsAndBinds, Stmt, DoOrListComp, Fake )
import HsBinds ( andMonoBinds )
import HsBinds ( andMonoBinds )
import TcHsSyn ( TcIdOcc(..), SYN_IE(TcIdBndr), SYN_IE(TcExpr),
import TcHsSyn ( SYN_IE(TcExpr), SYN_IE(TcMonoBinds), SYN_IE(TcDictBinds) )
SYN_IE(TcMonoBinds), SYN_IE(TcDictBinds) )
import TcMonad
import TcMonad
import Inst ( lookupInst, lookupSimpleInst,
import Inst ( lookupInst, lookupSimpleInst,
...
@@ -32,7 +31,9 @@ import Inst ( lookupInst, lookupSimpleInst,
...
@@ -32,7 +31,9 @@ import Inst ( lookupInst, lookupSimpleInst,
OverloadedLit )
OverloadedLit )
import TcEnv ( tcGetGlobalTyVars )
import TcEnv ( tcGetGlobalTyVars )
import SpecEnv ( SpecEnv )
import SpecEnv ( SpecEnv )
import TcType ( SYN_IE(TcType), SYN_IE(TcTyVar), SYN_IE(TcTyVarSet), TcMaybe, tcInstType )
import TcType ( TcIdOcc(..), SYN_IE(TcIdBndr),
SYN_IE(TcType), SYN_IE(TcTyVar), SYN_IE(TcTyVarSet), TcMaybe, tcInstType
)
import Unify ( unifyTauTy )
import Unify ( unifyTauTy )
import Bag ( Bag, unitBag, listToBag, foldBag, filterBag, emptyBag, bagToList,
import Bag ( Bag, unitBag, listToBag, foldBag, filterBag, emptyBag, bagToList,
...
...
ghc/compiler/typecheck/TcTyClsDecls.lhs
View file @
257af45f
...
@@ -19,7 +19,7 @@ import HsSyn ( HsDecl(..), TyDecl(..), ConDecl(..), ConDetails(..), BangType(.
...
@@ -19,7 +19,7 @@ import HsSyn ( HsDecl(..), TyDecl(..), ConDecl(..), ConDetails(..), BangType(.
)
)
import RnHsSyn ( RenamedTyDecl(..), RenamedClassDecl(..), SYN_IE(RenamedHsDecl)
import RnHsSyn ( RenamedTyDecl(..), RenamedClassDecl(..), SYN_IE(RenamedHsDecl)
)
)
import TcHsSyn ( SYN_IE(TcHsBinds)
, TcIdOcc(..)
)
import TcHsSyn ( SYN_IE(TcHsBinds) )
import TcMonad
import TcMonad
import Inst ( SYN_IE(InstanceMapper) )
import Inst ( SYN_IE(InstanceMapper) )
...
@@ -29,6 +29,7 @@ import SpecEnv ( SpecEnv )
...
@@ -29,6 +29,7 @@ import SpecEnv ( SpecEnv )
import TcKind ( TcKind, newKindVars )
import TcKind ( TcKind, newKindVars )
import TcTyDecls ( tcTyDecl, mkDataBinds )
import TcTyDecls ( tcTyDecl, mkDataBinds )
import TcMonoType ( tcTyVarScope )
import TcMonoType ( tcTyVarScope )
import TcType ( TcIdOcc(..) )
import Bag
import Bag
import Class ( SYN_IE(Class) )
import Class ( SYN_IE(Class) )
...
...
ghc/compiler/typecheck/TcTyDecls.lhs
View file @
257af45f
...
@@ -24,12 +24,12 @@ import HsSyn ( TyDecl(..), ConDecl(..), ConDetails(..), BangType(..), HsExpr(..
...
@@ -24,12 +24,12 @@ import HsSyn ( TyDecl(..), ConDecl(..), ConDetails(..), BangType(..), HsExpr(..
import HsTypes ( getTyVarName )
import HsTypes ( getTyVarName )
import RnHsSyn ( RenamedTyDecl(..), RenamedConDecl(..) )
import RnHsSyn ( RenamedTyDecl(..), RenamedConDecl(..) )
import TcHsSyn ( mkHsTyLam, mkHsDictLam, tcIdType,
import TcHsSyn ( mkHsTyLam, mkHsDictLam, tcIdType,
SYN_IE(TcHsBinds),
TcIdOcc(..),
SYN_IE(TcMonoBinds)
SYN_IE(TcHsBinds), SYN_IE(TcMonoBinds)
)
)
import Inst ( newDicts, InstOrigin(..), Inst )
import Inst ( newDicts, InstOrigin(..), Inst )
import TcMonoType ( tcHsTypeKind, tcHsType, tcContext )
import TcMonoType ( tcHsTypeKind, tcHsType, tcContext )
import TcSimplify ( tcSimplifyThetas )
import TcSimplify ( tcSimplifyThetas )
import TcType ( tcInstTyVars, tcInstType, tcInstId )
import TcType (
TcIdOcc(..),
tcInstTyVars, tcInstType, tcInstId )
import TcEnv ( tcLookupTyCon, tcLookupTyVar, tcLookupClass,
import TcEnv ( tcLookupTyCon, tcLookupTyVar, tcLookupClass,
newLocalId, newLocalIds, tcLookupClassByKey
newLocalId, newLocalIds, tcLookupClassByKey
)
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment