Commit 4fbd1954 authored by simonmar's avatar simonmar

[project @ 2003-09-08 13:33:29 by simonmar]

Two more tokens that herald layout contexts: 'rec' and '[d|'.
parent 5cbc33c2
......@@ -198,7 +198,7 @@ $white_no_nl+ ;
"[|" { token ITopenExpQuote }
"[e|" { token ITopenExpQuote }
"[p|" { token ITopenPatQuote }
"[d|" { token ITopenDecQuote }
"[d|" { layout_token ITopenDecQuote }
"[t|" { token ITopenTypQuote }
"|]" { token ITcloseQuote }
}
......@@ -561,8 +561,9 @@ type Action = SrcLoc -> SrcLoc -> StringBuffer -> Int -> P Token
special :: Token__ -> Action
special tok loc end _buf len = return (T loc end tok)
token :: Token__ -> Action
token, layout_token :: Token__ -> Action
token t loc end buf len = return (T loc end t)
layout_token t loc end buf len = pushLexState layout >> return (T loc end t)
idtoken :: (StringBuffer -> Int -> Token__) -> Action
idtoken f loc end buf len = return (T loc end $! (f buf len))
......@@ -770,6 +771,7 @@ maybe_layout ITmdo = pushLexState layout_do
maybe_layout ITof = pushLexState layout
maybe_layout ITlet = pushLexState layout
maybe_layout ITwhere = pushLexState layout
maybe_layout ITrec = pushLexState layout
maybe_layout _ = return ()
-- Pushing a new implicit layout context. If the indentation of the
......
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