Commit 81d2f8a9 authored by simonmar's avatar simonmar

[project @ 2004-02-02 10:49:20 by simonmar]

Accept '-}' at the end of a LINE pragma, in addition to '#-}', for
compatibility with GHC <= 4.08(!).
parent 11f81de1
......@@ -159,7 +159,9 @@ $white_no_nl+ ;
-- {-# LINE <line> "<file>" #-}
<line_prag2> $digit+ { set_line line_prag2a }
<line_prag2a> \" [$graphic \ ]* \" { set_file line_prag2b }
<line_prag2b> "#-}" { pop }
<line_prag2b> "#-}"|"-}" { pop }
-- NOTE: accept -} at the end of a LINE pragma, for compatibility
-- with older versions of GHC which generated these.
<0,glaexts> {
"{-#" $whitechar* (SPECIALI[SZ]E|speciali[sz]e)
......
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