Commit 8ec76b05 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-01-27 15:53:38 by simonpj]

Comments
parent 2ec5498e
...@@ -121,9 +121,11 @@ importDecl :: Name -> IfM lcl (MaybeErr Message TyThing) ...@@ -121,9 +121,11 @@ importDecl :: Name -> IfM lcl (MaybeErr Message TyThing)
-- Get the TyThing for this Name from an interface file -- Get the TyThing for this Name from an interface file
importDecl name importDecl name
| Just thing <- wiredInNameTyThing_maybe name | Just thing <- wiredInNameTyThing_maybe name
-- This case only happens for tuples, because we pre-populate the eps_PTE -- This case definitely happens for tuples, because we
-- with other wired-in things. We can't do that for tuples because we
-- don't know how many of them we'll find -- don't know how many of them we'll find
-- It also now happens for all other wired in things. We used
-- to pre-populate the eps_PTE with other wired-in things, but
-- we don't seem to do that any more. I guess it keeps the PTE smaller?
= do { updateEps_ (\ eps -> eps { eps_PTE = extendTypeEnv (eps_PTE eps) thing }) = do { updateEps_ (\ eps -> eps { eps_PTE = extendTypeEnv (eps_PTE eps) thing })
; return (Succeeded thing) } ; return (Succeeded thing) }
......
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