smlnj 110.79-8 source package in Ubuntu

 ckit is a C front end written in SML that translates C source code (after
 preprocessing) into abstract syntax represented as a set of SML datatypes.
 It also provides facilities for extending the C language with additional
 syntactic constructs, which can be useful for implementing "C-like"
 domain-specific languages as well as C dialects.

 An SML library for message-passing concurrency. This library adds
 threading support to SML. Each thread is then manually executed by
 running a separate function, rather than being called directly by the
 top-level SML loop.

 Not all modules in the normal SML/NJ library are thread safe. This
 library provides thread-safe implementations of these
 libraries.

 A multi-threaded X Window System toolkit written in Concurrent
 ML. Many other windowing toolkits, such as Xlib, register separate
 functions that are called by a centralized event processing loop. In
 contrast, eXene maintains each window and graphical object in a
 separate thread that has the ability to update itself.

 Allows ML programs to inspect and manipulate C data structures
 directly. This is implemented through three separate libraries, one
 that provides a user-code accessible frontend, one that
 implements this, and another that handles low-level raw memory
 access.

 The MLRISC system allows an easy way to create a back-end to convert
 SML into machine code. These tools provide an easy way to generate
 MLRISC modules from machine descriptions.

 Utility routines for use with portable dependency graphs. This
 package contains support to build list-of-edges dependency graphs and
 convert them back into valid SML code.

 A library for SML, including:
  * Util A general utility library.
  * Controls A library of support code for managing application controls.
  * HashCons A library supporting hash-consing of data structures and
                efficient sets and maps using hash-consed keys.
  * HTML Provides parsing and pretty printing of HTML.
  * INet Networking utilities.
  * PP Pretty-printing library.
  * Reactive A low-level reactive scripting library.
  * RegExp Regular-expression library.
  * Unix A set of unix specific utilities.

 ml-burg generates a Standard ML program to perform bottom-up
 rewriting of an input tree. Cost information associated with each
 rewrite rule is used to derive the minimum rewrite cost for the
 entire tree. A successful reduction corresponds to rewriting the
 input tree to a special non-terminal symbol called the "start"
 non-terminal. Upon successful reduction, facilities are provided to
 walk the tree emitting semantic actions corresponding to the rules
 that matched.
 .
 Install this package if you want to write a compiler in SML using a
 burg specification.

 Lexical analysis is the problem of segmenting input into words and
 recognizing different classes of words. ml-lex uses regular
 expressions to describe classes of words. It transforms a simple
 declarative language specification into an efficient SML program for
 analyzing that language.
 .
 Install this package if you want to produce a lexer in Standard ML.

 Tradition has it that when a new programming language is introduced,
 new scanner and parser generators are written in that language, and
 generate code for that language. Traditional also has it that the
 new tools are modeled after the old lex and yacc tools, both in terms
 of the algorithms used, and often the syntax as well. The language
 Standard ML is no exception: ml-lex and ml-yacc are the SML
 incarnations of the old Unix tools.
 .
 This package has two new tools, ml-ulex and ml-antlr, that follow
 tradition in separating scanning from parsing, but break from
 tradition in their implementation: ml-ulex is based on regular
 expression derivatives rather than subset-construction, and ml-antlr
 is based on LL(k) parsing rather than LALR(1) parsing.

 This tool reads in C source code and outputs ML code and a CM
 description file for use with the ML "No Longer Foreign Function
 Interface" library. This tool works by separating each top-level C
 declaration into a new ML source file. For large programs, this
 puts some strain on the SML Compilation Manager, but this should only
 marginally increase the program run-time.

 SML version of the yacc program, generates a parser for a LALR language.
 This package is useful for SML developers requiring a parser in their
 work.

 This is a source-to-source translation tool that expands case
 expressions that use conditional patterns. Conditional patterns that
 use the "where" keyword are converted into SML.

 SML/NJ is an implementation of the Standard ML programming language.
 Standard ML has many features, including type safety, polymorphism,
 algebraic data types with pattern matching, higher-order functions,
 and a sophisticated module system. It is especially well-suited for
 writing compilers and other language processors.
 .
 This package includes the interactive compiler (sml), the compilation
 manager (CM), and some essential libraries. It is a "working"
 version, but believed to be stable.
 .
 Install this package if you want to program in SML.

 This package contains various documentation for SML/NJ, an
 implementation of the Standard ML programming language.
 .
 More documentation can be found on the web site.

 SML/NJ is an implementation of the Standard ML programming language.
 This package includes the runtime system only -- it provides garbage
 collection and other support for compiled SML programs.
 .
 Install this package if you want to run programs compiled with SML/NJ.