-- A copied and modified version of ../base/parse2/Parser/HsParser.y...
{
module PropParser (parse) where
import PropPosSyntax as Hs
--import SyntaxUtil
import HsTokens(Token(..))
import ParseMonad
import HsLexer
import LexUtil(readInteger, readRational)
import PropParseUtil
import PropPlogic as P
--import IOExts
}
%token
--- Reserved Ids ----------------------
'as' { (Varid ,($$,"as")) }
'case' { (Reservedid,($$,"case")) }
'class' {