|
functor MLLexFun(structure Tokens : ML_TOKENS) =
struct
structure UserDeclarations =
struct
structure TokTable = TokenTable(Tokens)
type svalue = Tokens.svalue
type ('a, 'b) token = ('a, 'b) Tokens.token
type pos = int
type lexresult = (svalue, pos) token
type arg = {
comLevel : int ref,
commonOperations : ParserUtil.PositionMap.operations,
docComments : (string * int * int) list ref,
error : (string * int * int -> unit),
stringBuf : string list ref,
stringStart : pos ref,
stringType : bool ref
}
val addString
val addChar
val makeString
val eof
val atoi
val xtoi
val inc
val dec
end
structure Internal =
struct
structure StartStates =
struct
datatype yystartstate = STARTSTATE of int
val A
val DC
val F
val INITIAL
val S
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
|