Commit 8d1464c0 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent 091807ce
...@@ -716,10 +716,13 @@ data ConDecl name ...@@ -716,10 +716,13 @@ data ConDecl name
, con_qvars :: [LHsTyVarBndr name] , con_qvars :: [LHsTyVarBndr name]
-- ^ Type variables. Depending on 'con_res' this describes the -- ^ Type variables. Depending on 'con_res' this describes the
-- follewing entities -- following entities
-- --
-- - ResTyH98: the constructor's *existential* type variables -- - ResTyH98: the constructor's *existential* type variables
-- - ResTyGADT: *all* the constructor's quantified type variables -- - ResTyGADT: *all* the constructor's quantified type variables
--
-- If con_explicit is Implicit, then con_qvars is irrelevant
-- until after renaming.
, con_cxt :: LHsContext name , con_cxt :: LHsContext name
-- ^ The context. This /does not/ include the \"stupid theta\" which -- ^ The context. This /does not/ include the \"stupid theta\" which
......
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