Commit eac9bbec authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent b0dd3475
......@@ -360,7 +360,7 @@ dictSelRule val_index n_ty_args _ id_unf _ args
%************************************************************************
%* *
Boxing and unboxing
Data constructors
%* *
%************************************************************************
......
......@@ -1573,7 +1573,7 @@ implicitConLikeThings (RealDataCon dc)
implicitConLikeThings (PatSynCon {})
= [] -- Pattern synonyms have no implicit Ids; the wrapper and matcher
-- are not "implicit"; they are simply new top-level bindings,
-- and they have their own declaration in an interface fiel
-- and they have their own declaration in an interface file
implicitClassThings :: Class -> [TyThing]
implicitClassThings cl
......
......@@ -598,7 +598,6 @@ rnPatSynBind _sig_fn bind@(PSB { psb_id = L _ name
{-
Note [Pattern synonym wrappers don't yield dependencies]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When renaming a pattern synonym that has an explicit wrapper,
references in the wrapper definition should not be used when
calculating dependencies. For example, consider the following pattern
......
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