NAME

       smllex - the lexical analyzer generator for SML#

SYNOPSIS

       smllex [-o file] filename ...

DESCRIPTION

       SMLLex  is  a  lexical  analyzer generator in the style of ML-Lex.  It accepts input files
       designed for ML-Lex.  Generated programs can be compiled by the SML# compiler.   They  are
       compatible to those of ML-Lex with a few exceptions.

       When  multiple  input  files  are  given,  each input file is separately read and yields a
       separate program.  By default, the output file name is obtained by appending  .sml  suffix
       to the input file name.

       To  compile the generated program with SML#, an interface file (.smi file) is needed.  See
       EXAMPLES for details.

   OPTIONS
       -o filename
              Set the output file name of the first input.

EXAMPLES

       The following is a minimal example of an input file ex.lex:

              type lexresult = bool option
              fun eof () = NONE
              %%
              %structure ExampleLex
              %%
              "T" => (SOME true);
              "F" => (SOME false);

       By applying this file to smllex,

              smllex ex.lex

       you obtains a program named ex.lex.sml.  To compile it, you need to create  the  following
       ex.lex.smi file by yourself:

              _require "basis.smi"
              structure ExampleLex =
              struct
                exception LexError
                val makeLexer : (int -> string) -> unit -> bool option
              end

       When your .lex file has an %arg, directive, for example,

              type lexresult = bool option
              fun eof {inverse} = NONE
              %%
              %structure Example2Lex
              %arg ({inverse});
              %%
              "T" => (SOME (if inverse then false else true));
              "F" => (SOME (if inverse then true else false));

       the generated makeLexer function takes an additional argument:

              _require "basis.smi"
              structure Example2Lex =
              struct
                exception LexError
                val makeLexer : (int -> string) -> {inverse : bool}
                                -> unit -> bool option
              end

HISTORY

       SMLLex  is a derivative of ML-Lex, which is originally developed by Andrew W. Appel, James
       S. Mattson, and David R. Tarditi.

       Major changes from the orginal ML-Lex includes the following:

       •   The command line option -o is added.

       •   The character position starts with 0, not 2.

       •   The generated program does not use Unsafe features of SML/NJ.

SEE ALSO

       smlyacc(1)
       A lexical analyzer generator for Standard ML, available  at  https://www.smlnj.org/doc/ML-
       Lex/manual.html
       SML# Document, available at https://www.pllab.riec.tohoku.ac.jp/smlsharp/docs/

                                                                                        SMLLEX(1)