diff options
| -rw-r--r-- | ghc/compiler/rename/ParseIface.y | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ghc/compiler/rename/ParseIface.y b/ghc/compiler/rename/ParseIface.y index 4062b55566..8110d2702e 100644 --- a/ghc/compiler/rename/ParseIface.y +++ b/ghc/compiler/rename/ParseIface.y @@ -681,6 +681,7 @@ id_info_item :: { HsIdInfo RdrName } inline_prag :: { InlinePragInfo } : {- empty -} { NoInlinePragInfo } | '[' INTEGER ']' { IMustNotBeINLINEd True (Just (fromInteger $2)) } -- INLINE n + | '[' '!' ']' { IMustNotBeINLINEd True Nothing } -- NOTINLINE | '[' '!' INTEGER ']' { IMustNotBeINLINEd False (Just (fromInteger $3)) } -- NOINLINE n ------------------------------------------------------- |