diff options
Diffstat (limited to 'compiler/rename')
| -rw-r--r-- | compiler/rename/RnBinds.hs | 2 | ||||
| -rw-r--r-- | compiler/rename/RnPat.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rename/RnBinds.hs b/compiler/rename/RnBinds.hs index 0b4cbeb276..f91ca52960 100644 --- a/compiler/rename/RnBinds.hs +++ b/compiler/rename/RnBinds.hs @@ -518,7 +518,7 @@ because they don't do anything! But we have two exceptions: (b) is sometimes used to give a type sig for, or an occurrence of, a variable on the RHS -* A strict patten binding; that is, one with an outermost bang +* A strict pattern binding; that is, one with an outermost bang !Just _ = e This can fail, so unlike the lazy variant, it is not a no-op. Moreover, Trac #13646 argues that even for single constructor diff --git a/compiler/rename/RnPat.hs b/compiler/rename/RnPat.hs index 77e213410a..ac3cf64cb7 100644 --- a/compiler/rename/RnPat.hs +++ b/compiler/rename/RnPat.hs @@ -432,7 +432,7 @@ rnPatAndThen mk (NPlusKPat rdr (L l lit) _ _ _ _) ; (lit', _) <- liftCpsFV $ rnOverLit lit -- See Note [Negative zero] -- We skip negateName as -- negative zero doesn't make - -- sense in n + k pattenrs + -- sense in n + k patterns ; minus <- liftCpsFV $ lookupSyntaxName minusName ; ge <- liftCpsFV $ lookupSyntaxName geName ; return (NPlusKPat (L (nameSrcSpan new_name) new_name) |