diff options
| author | simonpj <unknown> | 2001-08-14 06:35:58 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2001-08-14 06:35:58 +0000 |
| commit | 2767767f7b4acf89f56d18231f143b60429631f6 (patch) | |
| tree | 1ddb3b9e3d5b2407eab87d4dd872779aa094b1c1 /ghc/compiler/rename/RnNames.lhs | |
| parent | 76d4cbb3378450af575236be994b95ffcc6da3c8 (diff) | |
| download | haskell-2767767f7b4acf89f56d18231f143b60429631f6.tar.gz | |
[project @ 2001-08-14 06:35:56 by simonpj]
1. Arrange that w/w records unfoldings
And that the simplifier preserves them
2. Greatly improve structure of checking user types in the typechecker
Main changes:
TcMType.checkValidType checks for a valid type
TcMonoType.tcHsSigType uses checkValidType
Type and class decls use TcMonoType.tcHsType (which does not
check for validity) inside the knot in TcTyClsDecls,
and then runs TcTyDecls.checkValidTyCon
or TcClassDcl.checkValidClass to check for validity
once the knot is tied
Diffstat (limited to 'ghc/compiler/rename/RnNames.lhs')
| -rw-r--r-- | ghc/compiler/rename/RnNames.lhs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ghc/compiler/rename/RnNames.lhs b/ghc/compiler/rename/RnNames.lhs index 7c65a96e25..a0613ab3ab 100644 --- a/ghc/compiler/rename/RnNames.lhs +++ b/ghc/compiler/rename/RnNames.lhs @@ -272,8 +272,9 @@ filterImports :: ModuleName -- The module being imported -> WhereFrom -- Tells whether it's a {-# SOURCE #-} import -> Maybe (Bool, [RdrNameIE]) -- Import spec; True => hiding -> [AvailInfo] -- What's available - -> RnMG ([AvailInfo], -- What's actually imported - [AvailInfo], -- What's to be hidden + -> RnMG ([AvailInfo], -- "chosens" + [AvailInfo], -- "hides" + -- The true imports are "chosens" - "hides" -- (It's convenient to return both the above sets, because -- the substraction can be done more efficiently when -- building the environment.) |