Commit 6036cb6f authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only, on the invariants of GlobalRdrEnv

parent 4e653012
......@@ -416,6 +416,13 @@ type GlobalRdrEnv = OccEnv [GlobalRdrElt]
-- happens only when type-checking a [d| ... |] Template
-- Haskell quotation; see this note in RnNames
-- Note [Top-level Names in Template Haskell decl quotes]
--
-- INVARIANT 3: If the GlobalRdrEnv maps [occ -> gre], then
-- greOccName gre = occ
--
-- NB: greOccName gre is usually the same as
-- nameOccName (gre_name gre), but not always in the
-- case of record seectors; see greOccName
-- | An element of the 'GlobalRdrEnv'
data GlobalRdrElt
......
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