From 4b9e0abe892cbb570465c6328e4ccce1f11611e0 Mon Sep 17 00:00:00 2001 From: agc Date: Tue, 17 Feb 1998 10:18:36 +0000 Subject: Import Moscow ML, a Standard ML implementation based on CAML Light, into the NetBSD packages collection. This is from Johnny C. Lam, in PR pkg/5002. Minor fixes by me to the PLIST file for the location of two files (libexec not lib). --- lang/moscow_ml/Makefile | 30 +++++ lang/moscow_ml/files/md5 | 1 + lang/moscow_ml/patches/patch-aa | 26 ++++ lang/moscow_ml/patches/patch-ab | 15 +++ lang/moscow_ml/patches/patch-ac | 17 +++ lang/moscow_ml/patches/patch-ad | 13 ++ lang/moscow_ml/patches/patch-ae | 25 ++++ lang/moscow_ml/patches/patch-af | 11 ++ lang/moscow_ml/patches/patch-ag | 11 ++ lang/moscow_ml/patches/patch-ah | 11 ++ lang/moscow_ml/patches/patch-ai | 17 +++ lang/moscow_ml/patches/patch-aj | 16 +++ lang/moscow_ml/patches/patch-ak | 16 +++ lang/moscow_ml/pkg/COMMENT | 1 + lang/moscow_ml/pkg/DESCR | 12 ++ lang/moscow_ml/pkg/PLIST | 262 ++++++++++++++++++++++++++++++++++++++++ 16 files changed, 484 insertions(+) create mode 100644 lang/moscow_ml/Makefile create mode 100644 lang/moscow_ml/files/md5 create mode 100644 lang/moscow_ml/patches/patch-aa create mode 100644 lang/moscow_ml/patches/patch-ab create mode 100644 lang/moscow_ml/patches/patch-ac create mode 100644 lang/moscow_ml/patches/patch-ad create mode 100644 lang/moscow_ml/patches/patch-ae create mode 100644 lang/moscow_ml/patches/patch-af create mode 100644 lang/moscow_ml/patches/patch-ag create mode 100644 lang/moscow_ml/patches/patch-ah create mode 100644 lang/moscow_ml/patches/patch-ai create mode 100644 lang/moscow_ml/patches/patch-aj create mode 100644 lang/moscow_ml/patches/patch-ak create mode 100644 lang/moscow_ml/pkg/COMMENT create mode 100644 lang/moscow_ml/pkg/DESCR create mode 100644 lang/moscow_ml/pkg/PLIST (limited to 'lang/moscow_ml') diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile new file mode 100644 index 00000000000..62fff26e635 --- /dev/null +++ b/lang/moscow_ml/Makefile @@ -0,0 +1,30 @@ +# New ports collection makefile for: moscow-ml +# Version required: 1.42 +# Date created: 17 February 1998 +# Whom: lamj@stat.cmu.edu +# +# $NetBSD: Makefile,v 1.1 1998/02/17 10:18:36 agc Exp $ +# + +DISTNAME= mos14src +PKGNAME= moscow_ml-1.42 +CATEGORIES= lang +MASTER_SITES= ftp://ftp.dina.kvl.dk/pub/mosml/ + +MAINTAINER= lamj@stat.cmu.edu + +USE_PERL5= yes +WRKSRC= ${WRKDIR}/mosml/src +ALL_TARGET= world + +post-install: +.if !defined(NOPORTDOCS) + ${MKDIR} ${PREFIX}/share/doc/moscow_ml + ${MKDIR} ${PREFIX}/share/examples/moscow_ml +.for file in bugs manual.dvi mosmlref.dvi releases.txt + ${INSTALL_DATA} ${WRKDIR}/mosml/doc/${file} ${PREFIX}/share/doc/moscow_ml +.endfor + ${CP} -R ${WRKDIR}/mosml/examples/* ${PREFIX}/share/examples/moscow_ml +.endif + +.include diff --git a/lang/moscow_ml/files/md5 b/lang/moscow_ml/files/md5 new file mode 100644 index 00000000000..a1e7bb9f640 --- /dev/null +++ b/lang/moscow_ml/files/md5 @@ -0,0 +1 @@ +MD5 (mos14src.tar.gz) = 89bf25e3fda429be019f13c841fd33a1 diff --git a/lang/moscow_ml/patches/patch-aa b/lang/moscow_ml/patches/patch-aa new file mode 100644 index 00000000000..f835800dd56 --- /dev/null +++ b/lang/moscow_ml/patches/patch-aa @@ -0,0 +1,26 @@ +--- Makefile.inc.orig Tue Jul 29 02:58:19 1997 ++++ Makefile.inc Mon Feb 16 21:05:32 1998 +@@ -2,10 +2,10 @@ + + # Edit MOSMLHOME, CPP and STRIP to suit your installation + +-MOSMLHOME=${HOME}/mosml ++MOSMLHOME=${PREFIX} + + # For Linux and other well-behaved systems, use: +-CPP=/lib/cpp -P -traditional -Dunix -Umsdos ++CPP=/usr/bin/cpp -P -traditional + STRIP=strip + + # For HP-UX, use instead: +@@ -23,8 +23,8 @@ + # LIBDIR contains bytecode files (such as mosmlcmp and library units) + + BINDIR=${MOSMLHOME}/bin +-LIBDIR=${MOSMLHOME}/lib +-TOOLDIR=${MOSMLHOME}/tools ++LIBDIR=${MOSMLHOME}/lib/moscow_ml ++TOOLDIR=${MOSMLHOME}/libexec/moscow_ml + + CAMLRT=../runtime + diff --git a/lang/moscow_ml/patches/patch-ab b/lang/moscow_ml/patches/patch-ab new file mode 100644 index 00000000000..e51cb57187d --- /dev/null +++ b/lang/moscow_ml/patches/patch-ab @@ -0,0 +1,15 @@ +--- compiler/Makefile.orig Thu Jul 17 17:33:20 1997 ++++ compiler/Makefile Mon Feb 16 23:58:54 1998 +@@ -104,9 +104,9 @@ + rm -f Makefile.bak + + install: +- cp mosmlcmp $(LIBDIR) +- cp mosmllnk $(LIBDIR) +- cp mosmltop $(LIBDIR) ++ ${BSD_INSTALL_DATA} mosmlcmp $(LIBDIR) ++ ${BSD_INSTALL_DATA} mosmllnk $(LIBDIR) ++ ${BSD_INSTALL_DATA} mosmltop $(LIBDIR) + + depend: Filename.sml Config.sml Opcodes.sml Parser.sml Parser.sig Lexer.sml \ + Predef.sml Prim_c.sml diff --git a/lang/moscow_ml/patches/patch-ac b/lang/moscow_ml/patches/patch-ac new file mode 100644 index 00000000000..f42fc57b400 --- /dev/null +++ b/lang/moscow_ml/patches/patch-ac @@ -0,0 +1,17 @@ +--- launch/Makefile.orig Mon Jul 7 04:38:39 1997 ++++ launch/Makefile Tue Feb 17 00:04:36 1998 +@@ -14,12 +14,11 @@ + chmod a+x /tmp/testscr + sh -c 'if sh -c /tmp/testscr 2>/dev/null; \ + then echo "#!$(BINDIR)/camlrunm" > $(LIBDIR)/header; \ +- else cp camlexec $(LIBDIR)/header; \ ++ else ${BSD_INSTALL_PROGRAM} camlexec $(LIBDIR)/header; \ + fi' + rm -f /tmp/testscr + for script in mosml mosmlc; do \ +- cp $$script $(BINDIR)/$$script; \ +- chmod a+x $(BINDIR)/$$script; \ ++ ${BSD_INSTALL_SCRIPT} $$script $(BINDIR)/$$script; \ + done + + mosmlc: mosmlc.tpl diff --git a/lang/moscow_ml/patches/patch-ad b/lang/moscow_ml/patches/patch-ad new file mode 100644 index 00000000000..a377d64d279 --- /dev/null +++ b/lang/moscow_ml/patches/patch-ad @@ -0,0 +1,13 @@ +--- lex/Makefile.orig Wed Oct 23 10:42:57 1996 ++++ lex/Makefile Tue Feb 17 00:24:04 1998 +@@ -34,8 +34,8 @@ + rm -f Makefile.bak + + install: +- cat $(LIBDIR)/header mosmllex > $(BINDIR)/mosmllex +- chmod a+x $(BINDIR)/mosmllex ++ cat $(LIBDIR)/header mosmllex > mosmllex.bin ++ ${BSD_INSTALL_SCRIPT} mosmllex.bin $(BINDIR)/mosmllex + + Grammar.sml Grammar.sig: Grammar.grm + $(MOSMLYACC) Grammar.grm diff --git a/lang/moscow_ml/patches/patch-ae b/lang/moscow_ml/patches/patch-ae new file mode 100644 index 00000000000..33fe9bc60c5 --- /dev/null +++ b/lang/moscow_ml/patches/patch-ae @@ -0,0 +1,25 @@ +--- mosmllib/Makefile.orig Thu Jul 17 17:33:44 1997 ++++ mosmllib/Makefile Tue Feb 17 00:07:02 1998 +@@ -27,14 +27,14 @@ + rm -f Vector.sml Word.sml Word8Array.sml Word8Vector.sml + + install: +- cp README $(LIBDIR) +- cp *.ui $(LIBDIR) +- cp *.uo $(LIBDIR) +- cp *.sig $(LIBDIR) +- cp General.fke $(LIBDIR)/General.sig +- cp Meta.fke $(LIBDIR)/Meta.sig +- cp OS.fke $(LIBDIR)/OS.sig +- cp helpsigs.val $(LIBDIR) ++ ${BSD_INSTALL_DATA} README $(LIBDIR) ++ ${BSD_INSTALL_DATA} *.ui $(LIBDIR) ++ ${BSD_INSTALL_DATA} *.uo $(LIBDIR) ++ ${BSD_INSTALL_DATA} *.sig $(LIBDIR) ++ ${BSD_INSTALL_DATA} General.fke $(LIBDIR)/General.sig ++ ${BSD_INSTALL_DATA} Meta.fke $(LIBDIR)/Meta.sig ++ ${BSD_INSTALL_DATA} OS.fke $(LIBDIR)/OS.sig ++ ${BSD_INSTALL_DATA} helpsigs.val $(LIBDIR) + + depend: Array.sml FileSys.sml Help.sml Int.sml Mosml.sml OS.sml Path.sml \ + Strbase.sml Vector.sml Word.sml Word8Array.sml Word8Vector.sml diff --git a/lang/moscow_ml/patches/patch-af b/lang/moscow_ml/patches/patch-af new file mode 100644 index 00000000000..ab32d94b08f --- /dev/null +++ b/lang/moscow_ml/patches/patch-af @@ -0,0 +1,11 @@ +--- mosmlyac/Makefile.orig Mon Oct 16 10:36:52 1995 ++++ mosmlyac/Makefile Tue Feb 17 00:07:43 1998 +@@ -18,7 +18,7 @@ + rm -f mosmlyac + + install: +- cp mosmlyac $(BINDIR)/mosmlyac ++ ${BSD_INSTALL_PROGRAM} mosmlyac $(BINDIR)/mosmlyac + + depend: + diff --git a/lang/moscow_ml/patches/patch-ag b/lang/moscow_ml/patches/patch-ag new file mode 100644 index 00000000000..4ebe057b5ef --- /dev/null +++ b/lang/moscow_ml/patches/patch-ag @@ -0,0 +1,11 @@ +--- runtime/Makefile.orig Tue Jul 29 02:51:01 1997 ++++ runtime/Makefile Mon Feb 16 23:59:45 1998 +@@ -36,7 +36,7 @@ + rm -f primitives prims.c opnames.h jumptbl.h + + install: +- cp camlrunm $(BINDIR) ++ ${BSD_INSTALL_PROGRAM} camlrunm $(BINDIR) + + primitives : $(PRIMS) + sed -n -e '/\/\* ML \*\//s/.* \([a-zA-Z0-9_][a-zA-Z0-9_]*\) *(.*/\1/p' \ diff --git a/lang/moscow_ml/patches/patch-ah b/lang/moscow_ml/patches/patch-ah new file mode 100644 index 00000000000..f4d37eb0913 --- /dev/null +++ b/lang/moscow_ml/patches/patch-ah @@ -0,0 +1,11 @@ +--- toolssrc/Makefile.orig Wed Oct 23 10:35:44 1996 ++++ toolssrc/Makefile Tue Feb 17 00:08:55 1998 +@@ -34,7 +34,7 @@ + rm -f cutdeps mosmldep + + install: +- cp cutdeps mosmldep $(TOOLDIR) ++ ${BSD_INSTALL_DATA} cutdeps mosmldep $(TOOLDIR) + + depend: Deplex.sml Deppars.sml Mosmldep.sml + rm -f Makefile.bak diff --git a/lang/moscow_ml/patches/patch-ai b/lang/moscow_ml/patches/patch-ai new file mode 100644 index 00000000000..11b7a11758d --- /dev/null +++ b/lang/moscow_ml/patches/patch-ai @@ -0,0 +1,17 @@ +--- runtime/fail.c.orig Fri Jul 4 08:52:34 1997 ++++ runtime/fail.c Mon Feb 16 21:31:37 1998 +@@ -1,7 +1,14 @@ + /* Raising exceptions from C. */ + ++#if (defined(__unix__) || defined(unix)) && !defined(USG) ++#include ++#endif ++ + #if defined(__MWERKS__) || defined(__CYGWIN32__) + #define MAXDOUBLE 1.7976931348623157081e+308 ++#elif (defined(BSD) && BSD >= 199306) ++#include ++#define MAXDOUBLE DBL_MAX + #else + #include + #endif diff --git a/lang/moscow_ml/patches/patch-aj b/lang/moscow_ml/patches/patch-aj new file mode 100644 index 00000000000..87192c1ee18 --- /dev/null +++ b/lang/moscow_ml/patches/patch-aj @@ -0,0 +1,16 @@ +--- runtime/mosml.c.orig Sun Jul 27 15:35:09 1997 ++++ runtime/mosml.c Mon Feb 16 21:41:07 1998 +@@ -1,5 +1,13 @@ + /* Moscow SML primitives */ + ++#if (defined(__unix__) || defined(unix)) && !defined(USG) ++#include ++#endif ++ ++#if (defined(BSD) && BSD >= 199306) ++#define HAS_STRERROR ++#endif ++ + #include + #include + #include diff --git a/lang/moscow_ml/patches/patch-ak b/lang/moscow_ml/patches/patch-ak new file mode 100644 index 00000000000..aed8cd54dc4 --- /dev/null +++ b/lang/moscow_ml/patches/patch-ak @@ -0,0 +1,16 @@ +--- runtime/sys.c.orig Sun Jul 27 15:36:44 1997 ++++ runtime/sys.c Mon Feb 16 21:41:26 1998 +@@ -1,5 +1,13 @@ + /* Basic system calls */ + ++#if (defined(__unix__) || defined(unix)) && !defined(USG) ++#include ++#endif ++ ++#if (defined(BSD) && BSD >= 199306) ++#define HAS_STRERROR ++#endif ++ + #include + #include + #include diff --git a/lang/moscow_ml/pkg/COMMENT b/lang/moscow_ml/pkg/COMMENT new file mode 100644 index 00000000000..9760cc96603 --- /dev/null +++ b/lang/moscow_ml/pkg/COMMENT @@ -0,0 +1 @@ +Moscow ML, a version of Standard ML. diff --git a/lang/moscow_ml/pkg/DESCR b/lang/moscow_ml/pkg/DESCR new file mode 100644 index 00000000000..db08c0b0dd6 --- /dev/null +++ b/lang/moscow_ml/pkg/DESCR @@ -0,0 +1,12 @@ +This is Moscow ML, a version of Standard ML: + +The current version 1.42 of Moscow ML + + * implements the Core language of Standard ML, as revised 1996 + * implements large parts of the new SML Basis Library + * implements separate compilation and a limited version of the + Standard ML Modules language, with signatures and structures + but no functors + * can produce compact stand-alone executables (a la Caml Light) + * supports quotations and antiquotations, useful for metaprogramming + * includes several new libraries and a new type `char' diff --git a/lang/moscow_ml/pkg/PLIST b/lang/moscow_ml/pkg/PLIST new file mode 100644 index 00000000000..8d7e0973184 --- /dev/null +++ b/lang/moscow_ml/pkg/PLIST @@ -0,0 +1,262 @@ +@comment $NetBSD: PLIST,v 1.1 1998/02/17 10:18:37 agc Exp $ +bin/camlrunm +bin/mosml +bin/mosmlc +bin/mosmllex +bin/mosmlyac +lib/moscow_ml/README +lib/moscow_ml/Array.sig +lib/moscow_ml/Array.ui +lib/moscow_ml/Array.uo +lib/moscow_ml/Array2.sig +lib/moscow_ml/Array2.ui +lib/moscow_ml/Array2.uo +lib/moscow_ml/Arraysort.sig +lib/moscow_ml/Arraysort.ui +lib/moscow_ml/Arraysort.uo +lib/moscow_ml/BasicIO.sig +lib/moscow_ml/BasicIO.ui +lib/moscow_ml/BasicIO.uo +lib/moscow_ml/BinIO.sig +lib/moscow_ml/BinIO.ui +lib/moscow_ml/BinIO.uo +lib/moscow_ml/Binarymap.sig +lib/moscow_ml/Binarymap.ui +lib/moscow_ml/Binarymap.uo +lib/moscow_ml/Binaryset.sig +lib/moscow_ml/Binaryset.ui +lib/moscow_ml/Binaryset.uo +lib/moscow_ml/Bool.sig +lib/moscow_ml/Bool.ui +lib/moscow_ml/Bool.uo +lib/moscow_ml/Byte.sig +lib/moscow_ml/Byte.ui +lib/moscow_ml/Byte.uo +lib/moscow_ml/Char.sig +lib/moscow_ml/Char.ui +lib/moscow_ml/Char.uo +lib/moscow_ml/CharArray.sig +lib/moscow_ml/CharArray.ui +lib/moscow_ml/CharArray.uo +lib/moscow_ml/CharVector.sig +lib/moscow_ml/CharVector.ui +lib/moscow_ml/CharVector.uo +lib/moscow_ml/CommandLine.sig +lib/moscow_ml/CommandLine.ui +lib/moscow_ml/CommandLine.uo +lib/moscow_ml/Date.sig +lib/moscow_ml/Date.ui +lib/moscow_ml/Date.uo +lib/moscow_ml/Dynarray.sig +lib/moscow_ml/Dynarray.ui +lib/moscow_ml/Dynarray.uo +lib/moscow_ml/FileSys.sig +lib/moscow_ml/FileSys.ui +lib/moscow_ml/FileSys.uo +lib/moscow_ml/General.sig +lib/moscow_ml/Help.sig +lib/moscow_ml/Help.ui +lib/moscow_ml/Help.uo +lib/moscow_ml/Int.sig +lib/moscow_ml/Int.ui +lib/moscow_ml/Int.uo +lib/moscow_ml/Intmap.sig +lib/moscow_ml/Intmap.ui +lib/moscow_ml/Intmap.uo +lib/moscow_ml/Intset.sig +lib/moscow_ml/Intset.ui +lib/moscow_ml/Intset.uo +lib/moscow_ml/Lexing.sig +lib/moscow_ml/Lexing.ui +lib/moscow_ml/Lexing.uo +lib/moscow_ml/List.sig +lib/moscow_ml/List.ui +lib/moscow_ml/List.uo +lib/moscow_ml/ListPair.sig +lib/moscow_ml/ListPair.ui +lib/moscow_ml/ListPair.uo +lib/moscow_ml/Listsort.sig +lib/moscow_ml/Listsort.ui +lib/moscow_ml/Listsort.uo +lib/moscow_ml/Location.sig +lib/moscow_ml/Location.ui +lib/moscow_ml/Location.uo +lib/moscow_ml/Math.sig +lib/moscow_ml/Math.ui +lib/moscow_ml/Math.uo +lib/moscow_ml/Meta.sig +lib/moscow_ml/Misc.sig +lib/moscow_ml/Misc.ui +lib/moscow_ml/Misc.uo +lib/moscow_ml/Mosml.sig +lib/moscow_ml/Mosml.ui +lib/moscow_ml/Mosml.uo +lib/moscow_ml/Mosmlcgi.sig +lib/moscow_ml/Mosmlcgi.ui +lib/moscow_ml/Mosmlcgi.uo +lib/moscow_ml/NJ93.sig +lib/moscow_ml/NJ93.ui +lib/moscow_ml/NJ93.uo +lib/moscow_ml/Nonstdio.sig +lib/moscow_ml/Nonstdio.ui +lib/moscow_ml/Nonstdio.uo +lib/moscow_ml/OS.sig +lib/moscow_ml/OS.ui +lib/moscow_ml/OS.uo +lib/moscow_ml/Obj.ui +lib/moscow_ml/Obj.uo +lib/moscow_ml/Option.sig +lib/moscow_ml/Option.ui +lib/moscow_ml/Option.uo +lib/moscow_ml/PP.sig +lib/moscow_ml/PP.ui +lib/moscow_ml/PP.uo +lib/moscow_ml/Parsing.sig +lib/moscow_ml/Parsing.ui +lib/moscow_ml/Parsing.uo +lib/moscow_ml/Path.sig +lib/moscow_ml/Path.ui +lib/moscow_ml/Path.uo +lib/moscow_ml/Polyhash.sig +lib/moscow_ml/Polyhash.ui +lib/moscow_ml/Polyhash.uo +lib/moscow_ml/Process.sig +lib/moscow_ml/Process.ui +lib/moscow_ml/Process.uo +lib/moscow_ml/Random.sig +lib/moscow_ml/Random.ui +lib/moscow_ml/Random.uo +lib/moscow_ml/Real.sig +lib/moscow_ml/Real.ui +lib/moscow_ml/Real.uo +lib/moscow_ml/SML90.sig +lib/moscow_ml/SML90.ui +lib/moscow_ml/SML90.uo +lib/moscow_ml/Splaymap.sig +lib/moscow_ml/Splaymap.ui +lib/moscow_ml/Splaymap.uo +lib/moscow_ml/Splayset.sig +lib/moscow_ml/Splayset.ui +lib/moscow_ml/Splayset.uo +lib/moscow_ml/Splaytree.sig +lib/moscow_ml/Splaytree.ui +lib/moscow_ml/Splaytree.uo +lib/moscow_ml/Strbase.sig +lib/moscow_ml/Strbase.ui +lib/moscow_ml/Strbase.uo +lib/moscow_ml/String.sig +lib/moscow_ml/String.ui +lib/moscow_ml/String.uo +lib/moscow_ml/StringCvt.sig +lib/moscow_ml/StringCvt.ui +lib/moscow_ml/StringCvt.uo +lib/moscow_ml/Substring.sig +lib/moscow_ml/Substring.ui +lib/moscow_ml/Substring.uo +lib/moscow_ml/Susp.sig +lib/moscow_ml/Susp.ui +lib/moscow_ml/Susp.uo +lib/moscow_ml/TextIO.sig +lib/moscow_ml/TextIO.ui +lib/moscow_ml/TextIO.uo +lib/moscow_ml/Time.sig +lib/moscow_ml/Time.ui +lib/moscow_ml/Time.uo +lib/moscow_ml/Timer.sig +lib/moscow_ml/Timer.ui +lib/moscow_ml/Timer.uo +lib/moscow_ml/Vector.sig +lib/moscow_ml/Vector.ui +lib/moscow_ml/Vector.uo +lib/moscow_ml/Word.sig +lib/moscow_ml/Word.ui +lib/moscow_ml/Word.uo +lib/moscow_ml/Word8.sig +lib/moscow_ml/Word8.ui +lib/moscow_ml/Word8.uo +lib/moscow_ml/Word8Array.sig +lib/moscow_ml/Word8Array.ui +lib/moscow_ml/Word8Array.uo +lib/moscow_ml/Word8Vector.sig +lib/moscow_ml/Word8Vector.ui +lib/moscow_ml/Word8Vector.uo +lib/moscow_ml/header +lib/moscow_ml/helpsigs.val +lib/moscow_ml/mosmlcmp +lib/moscow_ml/mosmllnk +lib/moscow_ml/mosmltop +@dirrm lib/moscow_ml +libexec/moscow_ml/cutdeps +libexec/moscow_ml/mosmldep +@dirrm libexec/moscow_ml +share/doc/moscow_ml/bugs +share/doc/moscow_ml/manual.dvi +share/doc/moscow_ml/mosmlref.dvi +share/doc/moscow_ml/releases.txt +@dirrm share/doc/moscow_ml +share/examples/moscow_ml/Makefile +share/examples/moscow_ml/README +share/examples/moscow_ml/calc/Lexer.lex +share/examples/moscow_ml/calc/Makefile +share/examples/moscow_ml/calc/Parser.grm +share/examples/moscow_ml/calc/calc.sml +share/examples/moscow_ml/cgi/Makefile +share/examples/moscow_ml/cgi/README +share/examples/moscow_ml/cgi/README1 +share/examples/moscow_ml/cgi/README2 +share/examples/moscow_ml/cgi/cgiex1.sml +share/examples/moscow_ml/cgi/cgiex2.sml +share/examples/moscow_ml/cgi/cgitest.sml +share/examples/moscow_ml/cgi/htmlform.html +share/examples/moscow_ml/cgi/upload.html +share/examples/moscow_ml/helpsigs/Database.sig +share/examples/moscow_ml/helpsigs/Database.sml +share/examples/moscow_ml/helpsigs/Htmlsigs.sig +share/examples/moscow_ml/helpsigs/Htmlsigs.sml +share/examples/moscow_ml/helpsigs/Lexer.lex +share/examples/moscow_ml/helpsigs/Makefile +share/examples/moscow_ml/helpsigs/Parser.grm +share/examples/moscow_ml/helpsigs/Parsspec.sml +share/examples/moscow_ml/helpsigs/Printbase.sml +share/examples/moscow_ml/helpsigs/README +share/examples/moscow_ml/helpsigs/makebase.sml +share/examples/moscow_ml/lexyacc/Data.sml +share/examples/moscow_ml/lexyacc/Lexer.lex +share/examples/moscow_ml/lexyacc/Main.sml +share/examples/moscow_ml/lexyacc/Makefile +share/examples/moscow_ml/lexyacc/Parser.grm +share/examples/moscow_ml/lexyacc/README +share/examples/moscow_ml/lexyacc/cl/append.cl +share/examples/moscow_ml/lexyacc/cl/edigits.cl +share/examples/moscow_ml/lexyacc/cl/error1.cl +share/examples/moscow_ml/lexyacc/cl/error2.cl +share/examples/moscow_ml/lexyacc/cl/error3.cl +share/examples/moscow_ml/lexyacc/cl/fib.cl +share/examples/moscow_ml/lexyacc/cl/fibs.cl +share/examples/moscow_ml/lexyacc/cl/hamming.cl +share/examples/moscow_ml/lexyacc/cl/lists.cl +share/examples/moscow_ml/lexyacc/cl/nats.cl +share/examples/moscow_ml/lexyacc/cl/sieve.cl +share/examples/moscow_ml/lexyacc/cl/takefrom.cl +share/examples/moscow_ml/lexyacc/load +share/examples/moscow_ml/manual/Evaluate.sig +share/examples/moscow_ml/manual/Evaluate.sml +share/examples/moscow_ml/manual/Expr.sml +share/examples/moscow_ml/manual/Makefile +share/examples/moscow_ml/manual/Reduce.sig +share/examples/moscow_ml/manual/Reduce.sml +share/examples/moscow_ml/manual/load +share/examples/moscow_ml/mls/Makefile +share/examples/moscow_ml/mls/mls.sml +share/examples/moscow_ml/pretty/Makefile +share/examples/moscow_ml/pretty/ppexpr.sml +@dirrm share/examples/moscow_ml/calc +@dirrm share/examples/moscow_ml/cgi +@dirrm share/examples/moscow_ml/helpsigs/htmlsigs +@dirrm share/examples/moscow_ml/helpsigs +@dirrm share/examples/moscow_ml/lexyacc/cl +@dirrm share/examples/moscow_ml/lexyacc +@dirrm share/examples/moscow_ml/manual +@dirrm share/examples/moscow_ml/mls +@dirrm share/examples/moscow_ml/pretty +@dirrm share/examples/moscow_ml -- cgit v1.2.3