-
Notifications
You must be signed in to change notification settings - Fork 42
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Initial checkin of pre 2.00 Moscow ML
- Loading branch information
0 parents
commit 58ca5b3
Showing
1,073 changed files
with
158,560 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,131 @@ | ||
This is file README for Moscow ML 1.44 for Linux/Unix (August 1999) | ||
|
||
Soon 2.00 | ||
|
||
EXTENT OF THE IMPLEMENTATION | ||
|
||
The current version 1.44 of Moscow ML | ||
|
||
* implements the Core language of Standard ML, as revised 1997 | ||
* 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 | ||
* supports dynamic linking of external functions under Linux, FreeBSD, | ||
NetBSD, Solaris, Digital Unix, HP-UX, MacOS, and MS Windows'95/98/NT | ||
|
||
New in version 1.44 of Moscow ML | ||
|
||
* Access to GNU gdbm persistent hashtables (structures Gdbm, Polygdbm) | ||
* Interface to the PostgreSQL database server (structure Postgres) | ||
* Interface to the MySQL database server (structure Mysql) | ||
* Interface to POSIX 1003.2 regular expressions (structure Regex) | ||
* Interface to sockets (structure Socket) | ||
* Faster bytecode execution (when compiled with GCC or egcs) | ||
* Registration of ML and C functions simplify callbacks | ||
|
||
SYSTEM REQUIREMENTS | ||
|
||
Moscow ML was compiled under Linux 2.0.35 with gcc 2.7.2.1 and libc 5. | ||
The binary installation requires 4 MB disk space. | ||
|
||
|
||
LIST OF FILES | ||
|
||
Executables and bytecode files: | ||
bin/* Moscow ML top-level system and batch compiler | ||
lib/* Bytecode files and standard libraries | ||
tools/* Tools to infer unit inter-dependencies | ||
|
||
Documentation files: | ||
install.txt Installation instructions for Linux | ||
README This file | ||
doc/manual.pdf User manual (PDF format) | ||
doc/mosmlref.pdf A compact guide to Moscow ML syntax and primitives | ||
doc/mosmllib/*.html Moscow ML library documentation in HTML format | ||
copyrght/* Copyright notices (for Caml Light, SML/NJ, ...) | ||
|
||
AUTHOR AND CREDITS | ||
|
||
Moscow ML was written by | ||
Sergei Romanenko (roman@keldysh.ru) | ||
Keldysh Institute of Applied Mathematics, Russian Academy of Sciences | ||
Miusskaya Pl. 4, 125047 Moscow, Russia. | ||
and Peter Sestoft (sestoft@dina.kvl.dk), | ||
Department of Mathematics and Physics, Royal Veterinary and | ||
Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C, | ||
Denmark. Much of the work was done at the Technical University of | ||
Denmark, and while visiting AT&T Bell Laboratories, New Jersey, USA. | ||
|
||
Moscow ML owes much to: | ||
* the CAML Light implementation by Xavier Leroy and Damien Doligez | ||
(INRIA, Rocquencourt, France); especially the Caml Light bytecode | ||
generator and the runtime system; | ||
* the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner | ||
(Copenhagen University, Denmark, and Edinburgh University, Scotland); | ||
* inspiration from the SML/NJ compiler developed at Princeton | ||
University and AT&T Bell Laboratories, New Jersey, USA; and | ||
* the good work by Doug Currie, Flavors Technology, USA, on the | ||
MacOS port. | ||
|
||
|
||
COPYRIGHT NOTICE FOR MOSCOW ML | ||
|
||
Moscow ML - a lightweight implementation of Core Standard ML. | ||
Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999 | ||
Sergei Romanenko, Moscow, Russia and Peter Sestoft, Copenhagen, Denmark. | ||
|
||
This program is free software; you can redistribute it and/or | ||
modify it under the terms of the GNU General Public License | ||
as published by the Free Software Foundation; either version 2 | ||
of the License, or (at your option) any later version. | ||
|
||
This program is distributed in the hope that it will be useful, | ||
but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
GNU General Public License in copyrght/gpl2 for more details. | ||
|
||
You should have received a copy of the GNU General Public License | ||
along with this program; if not, write to the Free Software | ||
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. | ||
|
||
Note that a number of source files are derived from the Caml Light | ||
distribution, copyright (C) 1993 INRIA, Rocquencourt, France. Thus | ||
charging money for redistributing Moscow ML may require prior | ||
permission from INRIA; see the INRIA copyright notice in file | ||
copyrght/copyrght.cl. The Caml Light system itself can be obtained | ||
from ftp.inria.fr:lang/caml-light. | ||
|
||
AVAILABILITY | ||
|
||
* The Moscow ML home page is at | ||
http://www.dina.kvl.dk/~sestoft/mosml.html | ||
* The Linux executables (and documentation) are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/linux-mos14bin.tar.gz | ||
* The MS Windows executables are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/win32-mos14bin.zip | ||
* The MS DOS executables (and documentation) are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/mos14bin.zip | ||
* The Macintosh/MacOS (68k and PPC) executables are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/mac-mos14bin.sea.hqx | ||
* The DOS source files (no documentation) are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/mos14src.zip | ||
* The Unix source files (no documentation) are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/mos14src.tar.gz | ||
* The MacOS modified source files (relative to Unix) are in | ||
ftp://ftp.dina.kvl.dk/pub/mosml/mac-mos14src.sea.hqx | ||
|
||
The files are mirrored at | ||
ftp://ftp.csd.uu.se/pub/mirror/mosml | ||
|
||
To compile Moscow ML for Unix systems, you will need the source files, | ||
gcc, make, and Perl. Moscow ML has been rewritten in ML and can | ||
compile itself; hence the installation under Unix has become simpler. | ||
|
||
To recompile Moscow ML for MS DOS, you will need the source files, | ||
djgpp, perl, and Borland C++ version 2.0 (or later). | ||
* Djgpp and go32 can be obtained from | ||
ftp://oak.oakland.edu/pub/simtelnet/gnu/djgpp/ | ||
or ftp://ftp.sunet.se/pub/pc/mirror/simtelnet/gnu/djgpp/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,28 @@ | ||
This copyright notice applies to some of the standard utility | ||
libraries found in directories mosml/lib and mosml/src/mosmllib; in | ||
particular to the Arraysort, Binarymap, Binaryset, Dynamicarray, | ||
Polyhash, Intmap, Intset, Splaymap, and Splayset structures which are | ||
from the Standard ML of New Jersey library. | ||
|
||
---------------------------------------------------------------------- | ||
STANDARD ML OF NEW JERSEY COPYRIGHT NOTICE, LICENSE AND DISCLAIMER. | ||
|
||
Copyright 1993 by AT&T Bell Laboratories | ||
|
||
Permission to use, copy, modify, and distribute this software and its | ||
documentation for any purpose and without fee is hereby granted, | ||
provided that the above copyright notice appear in all copies and that | ||
both the copyright notice and this permission notice and warranty | ||
disclaimer appear in supporting documentation, and that the name of | ||
AT&T Bell Laboratories or any AT&T entity not be used in advertising | ||
or publicity pertaining to distribution of the software without | ||
specific, written prior permission. | ||
|
||
AT&T disclaims all warranties with regard to this software, including | ||
all implied warranties of merchantability and fitness. In no event | ||
shall AT&T be liable for any special, indirect or consequential | ||
damages or any damages whatsoever resulting from loss of use, data or | ||
profits, whether in an action of contract, negligence or other | ||
tortious action, arising out of or in connection with the use or | ||
performance of this software. | ||
---------------------------------------------------------------------- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,50 @@ | ||
LEGAL NOTICE | ||
|
||
Software: CAML Light, version 0.6 of September 1993, hereinafter | ||
referred to as "the software". | ||
|
||
The software has been designed and produced by Xavier Leroy and | ||
Damien Doligez, research workers for the Formel and Para projects, | ||
two research projects of Institut National de Recherche en | ||
Informatique et en Automatique (INRIA) - Domaine de Voluceau - | ||
Rocquencourt - 78153 Le Chesnay Cedex - France. | ||
|
||
INRIA holds all ownership rights to CAML Light version 0.6. | ||
|
||
The software has been registered at Agence pour la Protection | ||
des Programmes (APP). | ||
|
||
Preamble: | ||
|
||
The software is currently being developed and INRIA desires | ||
that it be used by the scientific community so as to test, evaluate | ||
and develop it. To this end, INRIA has decided to have a prototype of | ||
the software distributed by FTP. | ||
|
||
a- Extent of the rights granted by the INRIA to the user of the software: | ||
|
||
INRIA freely grants the right to use, modify and integrate the | ||
software in another software, provided that all derivative works are | ||
distributed under the same conditions as the software. | ||
|
||
b- Reproduction of the software: | ||
|
||
INRIA grants any user of the software the right to reproduce it so as | ||
to circulate it in accordance with the same purposes and conditions as | ||
those defined at point a- above. Any copy of the software and/or relevant | ||
documentation must comprise reference to the ownership of INRIA and | ||
the present file. | ||
|
||
The user undertakes not to carry out any paying distribution of the | ||
software. However, he is authorized to bill any person or body for the | ||
cost of reproduction of said software. As regards any other type of | ||
distribution, the user undertakes to apply to obtain the express | ||
approval of INRIA. | ||
|
||
c- Guarantees: | ||
|
||
Please note that the software is a product currently being developed. | ||
INRIA shall not be responsible in any way concerning conformity, and in | ||
particular shall not be liable should the software not comply with the | ||
requirements of the user, INRIA not being obliged to repair any | ||
possible direct or indirect damage. |
Oops, something went wrong.