Compare Revisions

This comparison shows the changes necessary to convert path /trunk from Rev 15 to Rev 16 (Reverse comparison).
Path Comparison

Rev 15 ⟶ Rev 16

/src/mlyacc.ml
New file
0,0 ⟶ 1,12
local
val root = "/usr/local/lib/mlton/sml"
val mlyacc = [
"base.sig",
"join.sml",
"lrtable.sml",
"stream.sml",
"parser2.sml",
""]
in
val _ = List.app (fn"" => () | s => use(root^"/mlyacc-lib/"^s)) mlyacc
end;
/src/general.ml
New file
0,0 ⟶ 1,11
(* $Id$
* requires: smlnj-lib
* graphviz, config
*)
use "version.sml";
use "settings.sig";
use "settings_rw.sig";
use "settingsrwfn.sml";
use "posix-settingsrw.sml";
use "settings.sml";
use "util.sml";
/src/urpal.ml
New file
0,0 ⟶ 1,21
(* $Id$
*
* Simple build file for Poly/ML.
*)
use "mlyacc.ml";
use "smlnj-lib.ml";
use "fxlib.ml";
use "lib/sources.ml";
use "config/sources.ml";
use "graphviz/sources.ml";
use "general.ml";
use "xml/sources.ml";
use "parse/sources.ml";
use "maketest/sources.ml";
use "cmdlang/sources.ml";
use "commands.sig";
use "commands.sml";
use "urpal.sml";
fun urpal () = ignore (Urpal.main (CommandLine.name (),
CommandLine.arguments ()));
PolyML.export("urpal", urpal);
/src/settings.sml
1,4 ⟶ 1,4
(* $Id$ *)
 
structure Settings = SettingsRW :> SETTINGS
structure Settings :> SETTINGS = SettingsRW
 
/src/graphviz/sources.cm
1,3 ⟶ 1,4
(* $Id$ *)
Group
signature DOT
 
/src/graphviz/typeddot.sml
1,9 ⟶ 1,9
(* $Id$ *)
 
structure TypedDot = DotFn (
structure TypedDot : DOT = DotFn (
structure Id = struct open String; type t = string end
structure EdgeAtt = TypedAttributes.Edge
structure NodeAtt = TypedAttributes.Node
structure GraphAtt = TypedAttributes.Graph
) : DOT
)
 
/src/graphviz/sources.ml
New file
0,0 ⟶ 1,27
(* $Id$
* requires: smlnj-lib
*)
use "graphviz/x11_color.sig";
use "graphviz/x11color.sml";
use "graphviz/attribute.sig";
use "graphviz/edge_attribute.sig";
use "graphviz/graph_attribute.sig";
use "graphviz/node_attribute.sig";
use "graphviz/id.sig";
use "graphviz/dot.sig";
use "graphviz/dotfn.sml";
use "graphviz/showattfn.sml";
use "graphviz/dotppfn.sml";
use "graphviz/textattribute.sml";
use "graphviz/textdot.sml";
use "graphviz/textdotio.sml";
use "graphviz/typedattributes.sml";
use "graphviz/typeddot.sml";
use "graphviz/typeddotio.sml";
use "graphviz/typeddotutil.sml";
use "graphviz/plain.sig";
use "graphviz/plainfn.sml";
use "graphviz/textplain.sml";
use "graphviz/graphviz.sig";
use "graphviz/graphvizfn.sml";
use "graphviz/unix-graphviz.sml";
/src/graphviz/sources.mlb
1,3 ⟶ 1,4
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb
/src/smlnj-lib.ml
New file
0,0 ⟶ 1,226
structure Word31 = Word;
structure Int32 = Int;
structure Unsafe = struct
structure CharVector = CharVector
structure Array = Array
end;
local
val root = "/usr/local/lib/mlton/sml"
 
val util = [
"ord-key-sig.sml",
"ord-set-sig.sml",
"lib-base-sig.sml",
"lib-base.sml",
"list-set-fn.sml",
"ord-map-sig.sml",
"list-map-fn.sml",
"int-binary-set.sml",
"int-binary-map.sml",
"prime-sizes.sml",
"dynamic-array-sig.sml",
"dynamic-array.sml",
"io-util-sig.sml",
"splaytree-sig.sml",
"splaytree.sml",
"splay-set-fn.sml",
"splay-map-fn.sml",
"ansi-term.sml",
"io-util.sml",
"plist-sig.sml",
"getopt-sig.sml",
"getopt.sml",
"interval-domain-sig.sml",
"interval-set-sig.sml",
"parser-comb-sig.sml",
"atom-sig.sml",
"hash-string.sml",
"atom.sml",
"format-sig.sml",
"real-format.sml",
"fmt-fields.sml",
"format.sml",
"priority-sig.sml",
"hash-key-sig.sml",
"mono-hash-table-sig.sml",
"hash-table-rep.sml",
"int-hash-table.sml",
"bit-array-sig.sml",
"redblack-set-fn.sml",
"atom-redblack-set.sml",
"atom-set.sml",
"redblack-map-fn.sml",
"atom-redblack-map.sml",
"atom-map.sml",
"plist.sml",
"char-map-sig.sml",
"char-map.sml",
"list-xprod-sig.sml",
"graph-scc-sig.sml",
"graph-scc-fn.sml",
"hash-table-fn.sml",
"atom-table.sml",
"list-format-sig.sml",
"list-format.sml",
"bit-vector-sig.sml",
"parser-comb.sml",
"mono-hash2-table-sig.sml",
"interval-set-fn.sml",
"word-redblack-set.sml",
"word-redblack-map.sml",
"int-list-set.sml",
"int-list-map.sml",
"path-util-sig.sml",
"path-util.sml",
"binary-set-fn.sml",
"binary-map-fn.sml",
"random-sig.sml",
"random.sml",
"real-order-stats.sml",
"univariate-stats.sml",
"bit-array.sml",
"mono-array-fn.sml",
"bsearch-fn.sml",
"mono-dynamic-array-sig.sml",
"format-comb-sig.sml",
"format-comb.sml",
"queue-sig.sml",
"fifo-sig.sml",
"fifo.sml",
"queue.sml",
"hash2-table-fn.sml",
"word-hash-table.sml",
"keyword-fn.sml",
"mono-priorityq-sig.sml",
"left-priorityq-fn.sml",
"hash-table-sig.sml",
"hash-table.sml",
"dynamic-array-fn.sml",
"mono-array-sort-sig.sml",
"int-redblack-set.sml",
"int-redblack-map.sml",
"array-sort-sig.sml",
"array-qsort.sml",
"uref-sig.sml",
"simple-uref.sml",
"listsort-sig.sml",
"list-mergesort.sml",
"array-qsort-fn.sml",
"atom-binary-set.sml",
"atom-binary-map.sml",
"utf8-sig.sml",
"utf8.sml",
"uref.sml",
"scan-sig.sml",
"scan.sml",
"rand-sig.sml",
"rand.sml",
"list-xprod.sml",
""]
 
val controls = [
"controls-sig.sml",
"control-reps.sml",
"controls.sml",
"control-set-sig.sml",
"control-set.sml",
"registry-sig.sml",
"control-util-sig.sml",
"control-util.sml",
"registry.sml",
""]
 
val hashcons = [
"hash-cons-sig.sml",
"hash-cons.sml",
"hash-cons-set-sig.sml",
"hash-cons-map-sig.sml",
"hash-cons-set.sml",
"hash-cons-map.sml",
"hash-cons-ground-fn.sml",
"hash-cons-string.sml",
"hash-cons-atom.sml",
""]
 
val html = [
"html-sig.sml",
"html.sml",
"make-html.sml",
"html-defaults.sml",
"html-error-sig.sml",
"check-html-fn.sml",
"html-attr-vals.sml",
"html-attrs-sig.sml",
"html-gram.sig",
"html-elements-fn.sml",
"html-lex.sml",
"html-gram.sml",
"html-attrs-fn.sml",
"html-parser-fn.sml",
"pr-html.sml",
""]
 
val inet = [
"sock-util-sig.sml",
"sock-util.sml",
"unix-sock-util.sml",
""]
 
val pp = [
"src/pp-stream-sig.sml",
"src/pp-debug-fn.sml",
"src/pp-device-sig.sml",
"devices/simple-textio-dev.sml",
"src/pp-token-sig.sml",
"src/pp-stream-fn.sml",
"src/pp-desc-sig.sml",
"src/pp-desc-fn.sml",
"devices/string-token.sml",
"devices/textio-pp.sml",
"devices/ansi-term-dev.sml",
"devices/html-dev.sml",
"devices/ansi-term-pp.sml",
""]
 
val reactive = [
"reactive-sig.sml",
"instruction.sml",
"machine.sml",
"reactive.sml",
""]
 
val regexp = [
"Glue/match-tree.sml",
"FrontEnd/syntax-sig.sml",
"FrontEnd/syntax.sml",
"BackEnd/engine-sig.sml",
"BackEnd/fsm.sml",
"BackEnd/dfa-engine.sml",
"Glue/regexp-sig.sml",
"FrontEnd/parser-sig.sml",
"Glue/regexp-fn.sml",
"FrontEnd/awk-syntax.sml",
"BackEnd/bt-engine.sml",
""]
 
val unix = [
"unix-env-sig.sml",
"unix-env.sml",
""]
 
fun dol ("",_) =()
| dol (dn,l) =List.app(fn "" => ()
| s => use(root^"/smlnj-lib/"^dn^"/"^s)) l
in
val _ = List.app dol [
("Util", util),
("Controls", controls),
("HashCons", hashcons),
("HTML", html),
("INet", inet),
("PP", pp),
("Reactive", reactive),
("RegExp", regexp),
("Unix", unix),
("", [])]
end;
/src/xml/sources.ml
New file
0,0 ⟶ 1,20
(* $Id$
* Requires: smlnj-lib
* fxp
* general, lib
*)
use "xml/nta_types.sig";
use "xml/nta_types_output.sig";
use "xml/nta.sig";
use "xml/ntafn.sml";
use "xml/nta_output.sig";
use "xml/xml_writer.sig";
use "xml/xmlwriter.sml";
use "xml/ntaoutputfn.sml";
use "xml/textnta.sml";
use "xml/uppaal_dtd.sig";
use "xml/uppaaldtd.sml";
use "xml/uppaalhooks.sml";
use "xml/uppaalresolver.sml";
use "xml/uppaal_xml.sig";
use "xml/uppaalxml.sml";
/src/config/configtree.sml
1,9 ⟶ 1,9
(* $Id$ *)
 
structure ConfigTree = ConfigTree (struct
structure ConfigTree :> CONFIG_TREE = ConfigTree (struct
datatype lexresult = datatype ConfigLex.UserDeclarations.lexresult
val makeLexer = ConfigLex.makeLexer
val linenum = (fn ()=> !ConfigLex.UserDeclarations.linenum)
end
) :> CONFIG_TREE
)
 
/src/config/sources.cm
1,3 ⟶ 1,4
(* $Id$ *)
Group
signature CONFIG_TREE
structure ConfigTree
/src/config/sources.ml
New file
0,0 ⟶ 1,9
(* $Id$
* requires: smlnj-lib
* lib
*)
use "config/config.lex.sml";
use "config/config_lexer.sig";
use "config/config_tree.sig";
use "config/configtreefn.sml";
use "config/configtree.sml";
/src/config/sources.mlb
1,3 ⟶ 1,4
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb
/src/cmdlang/sources.cm
1,3 ⟶ 1,4
(* $Id$ *)
Group
signature CMD_LANG
structure CmdLang
/src/cmdlang/sources.ml
New file
0,0 ⟶ 1,17
(* $Id$
*
* Requires: smlnj-lib
* mlyacc-lib
* lib, parse, graphviz, maketest, xml, general
*)
use "cmdlang/cmd_env.sig";
use "cmdlang/cmdenv.sml";
use "cmdlang/nta_util.sig";
use "cmdlang/ntautil.sml";
use "cmdlang/cmdloop.sml";
use "cmdlang/cmdlang.grm.sig";
use "cmdlang/cmdlang.grm.sml";
use "cmdlang/cmdlang.lex.sml";
use "cmdlang/cmd_lang.sig";
use "cmdlang/cmdlang.sml";
 
/src/cmdlang/sources.mlb
1,3 ⟶ 1,4
(* $Id$ *)
local
../lib/sources.mlb
../parse/sources.mlb
/src/lib/sources.cm
1,3 ⟶ 1,4
(* $Id$ *)
Group
signature SYMBOL
structure Symbol
/src/lib/sources.ml
New file
0,0 ⟶ 1,8
(* $Id$
*
* Requires: smlnj-basis
*)
use "lib/filepos.sig";
use "lib/filepos.sml";
use "lib/symbol.sig";
use "lib/symbol.sml";
/src/lib/sources.mlb
1,3 ⟶ 1,4
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb
/src/parse/sources.cm
1,3 ⟶ 1,4
(* $Id$ *)
Group
structure UppaalParse
signature UPPAAL_PARSE
/src/parse/sources.ml
New file
0,0 ⟶ 1,35
(* $Id$
* requires: smlnj-lib
* mlyacc-lib
*
* general, lib, xml
*)
use "parse/expression.sig";
use "parse/expressionfn.sml";
use "parse/expression.sml";
use "parse/declaration.sig";
use "parse/declaration.sml";
use "parse/ppdevstring.sml";
use "parse/expression_pp.sig";
use "parse/expressionpp.sml";
use "parse/declaration_pp.sig";
use "parse/declarationppfn.sml";
use "parse/expression_cvt.sig";
use "parse/expressioncvt.sml";
use "parse/environment.sig";
use "parse/environment.sml";
use "parse/environment_pp.sig";
use "parse/environmentppfn.sml";
use "parse/environment_cvt.sig";
use "parse/environmentcvt.sml";
use "parse/parsednta.sml";
use "parse/result.sig";
use "parse/result.sml";
use "parse/uppaal.grm.sig";
use "parse/uppaal.grm.sml";
use "parse/uppaal.lex.sml";
use "parse/uppaal_parse.sig";
use "parse/uppaalparse.sml";
use "parse/actionredblackmap.sml";
use "parse/actionmap.sml";
use "parse/actionset.sml";
/src/fxlib.ml
New file
0,0 ⟶ 1,102
local
val root = "/usr/local/lib/sml-fxp/src"
 
val fxplib = ["config.sml",
"Util/utilCompare.sml",
"Util/utilString.sml",
"Util/utilError.sml",
"Util/utilHash.sml",
"Util/utilInt.sml",
"Util/utilList.sml",
"Util/utilTime.sml",
"Util/intLists.sml",
"Util/intSets.sml",
"Util/options.sml",
"Util/SymDict/key.sml",
"Util/SymDict/dict.sml",
"Util/SymDict/symbolTable.sml",
"Util/SymDict/intSetDict.sml",
"Util/SymDict/intDict.sml",
"Util/SymDict/intListDict.sml",
"Util/SymDict/stringDict.sml",
"Unicode/Chars/uniChar.sml",
"Unicode/Chars/charClasses.sml",
"Unicode/Chars/charVecDict.sml",
"Unicode/Chars/dataDict.sml",
"Unicode/Chars/uniRanges.sml",
"Unicode/Chars/uniClasses.sml",
"Unicode/Chars/testClasses.sml",
"Unicode/Uri/uriDecode.sml",
"Unicode/Uri/uriEncode.sml",
"Unicode/Uri/uri.sml",
"Unicode/Uri/uriDict.sml",
"Unicode/encoding.sml",
"Unicode/Encode/encodeBasic.sml",
"Unicode/Encode/encodeError.sml",
"Unicode/Encode/encodeMisc.sml",
"Unicode/Encode/encode.sml",
"Unicode/Decode/decodeFile.sml",
"Unicode/Decode/decodeError.sml",
"Unicode/Decode/decodeMisc.sml",
"Unicode/Decode/decodeUtil.sml",
"Unicode/Decode/decodeUcs2.sml",
"Unicode/Decode/decodeUcs4.sml",
"Unicode/Decode/decodeUtf16.sml",
"Unicode/Decode/decodeUtf8.sml",
"Unicode/Decode/decode.sml",
"Parser/version.sml",
"Parser/Dfa/dfaData.sml",
"Parser/Dfa/dfaError.sml",
"Parser/Dfa/dfaOptions.sml",
"Parser/Dfa/dfaUtil.sml",
"Parser/Dfa/dfaPassOne.sml",
"Parser/Dfa/dfaPassTwo.sml",
"Parser/Dfa/dfaPassThree.sml",
"Parser/Dfa/dfaString.sml",
"Parser/Dfa/dfa.sml",
"Parser/Error/errorData.sml",
"Parser/Error/errorString.sml",
"Parser/Error/errorMessage.sml",
"Parser/Error/errorUtil.sml",
"Parser/Error/expected.sml",
"Parser/Error/errors.sml",
"Parser/Base/baseData.sml",
"Parser/Base/baseString.sml",
"Parser/Base/base.sml",
"Parser/Params/dtd.sml",
"Parser/Params/hookData.sml",
"Parser/Params/hooks.sml",
"Parser/Params/ignore.sml",
"Parser/Params/parserOptions.sml",
"Parser/Params/resolve.sml",
"Parser/entities.sml",
"Parser/Dtd/dtdDeclare.sml",
"Parser/Dtd/dtdAttributes.sml",
"Parser/Dtd/dtdManager.sml",
"Parser/Parse/parseBase.sml",
"Parser/Parse/parseNames.sml",
"Parser/Parse/parseMisc.sml",
"Parser/Parse/parseXml.sml",
"Parser/Parse/parseRefs.sml",
"Parser/Parse/parseLiterals.sml",
"Parser/Parse/parseTags.sml",
"Parser/Parse/parseDecl.sml",
"Parser/Parse/parseDtd.sml",
"Parser/Parse/parseContent.sml",
"Parser/Parse/parseDocument.sml",
"Catalog/catData.sml",
"Catalog/catDtd.sml",
"Catalog/catError.sml",
"Catalog/catParams.sml",
"Catalog/catFile.sml",
"Catalog/catHooks.sml",
"Catalog/catOptions.sml",
"Catalog/socatParse.sml",
"Catalog/catParse.sml",
"Catalog/catalog.sml",
"Catalog/catResolve.sml",
"genRandom.sml"]
in
val _ = List.app (fn s=>use (root^"/"^s)) fxplib
end
 
/src/maketest/sources.cm
1,3 ⟶ 1,4
(* $Id$ *)
Group
signature TRANSITION_FLIPPER
structure TransitionFlipper
/src/maketest/sources.ml
New file
0,0 ⟶ 1,16
(* $Id$
* requires: smlnj-lib
* parse, general, lib
*)
use "maketest/action_trans.sig";
use "maketest/actiontrans.sml";
use "maketest/clock_expression.sig";
use "maketest/clockexpression.sml";
use "maketest/clk_expr_trans.sig";
use "maketest/clkexprtrans.sml";
use "maketest/partitions.sml";
use "maketest/transition_flipper.sig";
use "maketest/transitionflipper.sml";
use "maketest/make_test.sig";
use "maketest/maketest.sml";
use "maketest/testtransflip.sml";
/src/maketest/sources.mlb
1,3 ⟶ 1,4
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb