Man page - smllex(1)

Packages contains this manual

Package: smlsharp
apt-get install smlsharp

Manuals in package:

Documentations in package:

smlsharp

Manual

SMLLEX

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
EXAMPLES
HISTORY
SEE ALSO

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.