|
functor LinkFileLexFun(structure Tokens : LinkFile_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 = {
comLevel : int ref,
commonOperations : ParserUtil.PositionMap.operations,
error : (string * int * int -> unit),
stringStart : int ref
}
val eof
val inc
val dec
end
structure Internal =
struct
structure StartStates =
struct datatype yystartstate = STARTSTATE of int val A 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
|