Commit 2b3766b5 authored by Edward Z. Yang's avatar Edward Z. Yang

Comments only.

Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>

Test Plan: comments only

Reviewers: simonpj, austin, goldfire

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D820
parent 24836443
......@@ -796,6 +796,9 @@ data ArrowCtxt -- Note [Escaping the arrow scope]
-- TcTyThing
---------------------------
-- | A typecheckable thing available in a local context. Could be
-- 'AGlobal' 'TyThing', but also lexically scoped variables, etc.
-- See 'TcEnv' for how to retrieve a 'TyThing' given a 'Name'.
data TcTyThing
= AGlobal TyThing -- Used only in the return type of a lookup
......
......@@ -352,7 +352,10 @@ as ATyCon. You can tell the difference, and get to the class, with
The Class and its associated TyCon have the same Name.
-}
-- | A typecheckable-thing, essentially anything that has a name
-- | A global typecheckable-thing, essentially anything that has a name.
-- Not to be confused with a 'TcTyThing', which is also a typecheckable
-- thing but in the *local* context. See 'TcEnv' for how to retrieve
-- a 'TyThing' given a 'Name'.
data TyThing
= AnId Id
| AConLike ConLike
......
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