Overview  Index  Help 

MLLexFun


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 = (svaluepostoken
    type arg = {
                 comLevel : int ref,
                 commonOperations : ParserUtil.PositionMap.operations,
                 docComments : (string * int * intlist 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

makeLexer

val makeLexer

 
Exception detail

LexError

exception LexError


Overview  Index  Help