X-Logic X-ification tools
Overview
This document covers a collection of X-Logic tools in sml which are independent of the various proof tools implemented in sml.
This is place for small bits of SML required by the rest of the tools for which I have not yet found a better home.
A CM file is provided for building the X-Logic tools as a library under SML/NJ.
Miscellany
This is place for small bits of SML required by the rest of the tools for which I have not yet found a better home.
The XlTools exception
The val "sundry" is declared because SMLNJ compilation manager doesn't get the dependency analysis correct if you have a structure which only contains an exception.
xl-sml
structure XlTools =
struct
exception XlTools of string
fun id x = x
end

CM File
A CM file is provided for building the X-Logic tools as a library under SML/NJ.
cm file for xltools
At present a "group" is used rather than a "library". The difference is that a library declaration requires an explicit list of what is to be exported and nothing else is then made visible when the library is loaded. Maintaining such a list is not worthwhile at this early stage in the work.
xl-cm
Group is
fxlib.cm
fxpApps.cm
xltools.sml
XmlData.sig
XmlData.sml
XmlInput.sml
XmlOutput.sml
UnicodeIO.sml
BasicMonads.sig
BasicMonads.sml
KleisliArrows.sig
KleisliArrows.sml


up quick index © RBJ

$Id: xltools.xml,v 1.1.1.1 2000/12/04 17:25:18 rbjones Exp $