|
functor ParamPatternLexFun(structure Tokens : ParamPattern_TOKENS) =
struct
structure UserDeclarations =
struct
type svalue = Tokens.svalue
type ('a, 'b) token = ('a, 'b) Tokens.token
type pos = int
type lexresult = (svalue, pos) token
type arg = {error : (string * int * int -> unit)}
val eof
end
structure Internal =
struct
structure StartStates =
struct datatype yystartstate = STARTSTATE of int val INITIAL end
type statedata = {fin : yyfinstate list, trans : string}
type result = UserDeclarations.lexresult
datatype yyfinstate = N of int
exception LexerError
val tab
end
exception LexError
val makeLexer
end
Value detail |
---|
val makeLexer
Exception detail |
---|
exception LexError
|