Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Renommage en Objective Caml 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1996-04-30 14:53:58 +00:00
parent 1cbdeef09b
commit 2301d778e7
613 changed files with 1722 additions and 1656 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.cvsignore
View File

@ -1,4 +1,4 @@
cslc ocamlc
expunge expunge
csltop ocaml
cslopt ocamlopt

68
Changes
View File

@ -1,5 +1,41 @@
Release 1.15: Objective Caml 1.00:
------------- --------------------
* Merge of Jerome Vouillon and Didier Remy's object-oriented
extensions.
* All libraries: all "new" functions renamed to "create" because "new"
is now a reserved keyword.
* Compilation of "or" patterns (pat1 | pat2) completely revised to
avoid code size explosion.
* Compiler support for preprocessing source files (-pp flag).
* Library construction: flag -linkall to force linking of all units in
a library.
* Native-code compiler: port to the Sparc under NetBSD.
* Toplevel: fixed bug when tracing several times the same function
under different names.
* New format for marshaling arbitrary data structures, allows
marshaling to/from strings.
* Standard library: new module Genlex (configurable lexer for streams)
* Thread library: much better support for I/O and blocking system calls.
* Graphics library: faster reclaimation of unused pixmaps.
* Unix library: new functions {set,clear}_nonblock, {set,clear}_close_on_exec,
{set,get}itimer, inet_addr_any, {get,set}sockopt.
* Dynlink library: added support for linking libraries (.cma files).
Caml Special Light 1.15:
------------------------
* Caml Special Light now runs under Windows NT and 95. Many thanks to * Caml Special Light now runs under Windows NT and 95. Many thanks to
Kevin Gallo (Microsoft Research) who contributed his initial port. Kevin Gallo (Microsoft Research) who contributed his initial port.
@ -29,8 +65,8 @@ manifest module type specifications.
* Unix library: bug in gethostbyaddr fixed; bounds checking for read, * Unix library: bug in gethostbyaddr fixed; bounds checking for read,
write, etc. write, etc.
Release 1.14: Caml Special Light 1.14:
------------- ------------------------
* cslopt ported to the PowerPC/RS6000 architecture. Better support for * cslopt ported to the PowerPC/RS6000 architecture. Better support for
AIX in the bytecode system as well. AIX in the bytecode system as well.
@ -43,8 +79,8 @@ out-of-order pops fixed.
* Several bug fixes in callbacks and signals. * Several bug fixes in callbacks and signals.
Release 1.13: Caml Special Light 1.13:
------------- ------------------------
* Pattern-matching compilation revised to factor out accesses inside * Pattern-matching compilation revised to factor out accesses inside
matched structures. matched structures.
@ -67,13 +103,13 @@ Intel decided to organize the floating-point registers as a stack).
* cslopt for the Sparc: don't use Sparc V8 smul and sdiv instructions, * cslopt for the Sparc: don't use Sparc V8 smul and sdiv instructions,
emulation on V7 processors is abysmal. emulation on V7 processors is abysmal.
Release 1.12: Caml Special Light 1.12:
------------- ------------------------
* Fixed an embarrassing bug with references to floats. * Fixed an embarrassing bug with references to floats.
Release 1.11: Caml Special Light 1.11:
------------- ------------------------
* Streams and stream parsers a la Caml Light are back (thanks to * Streams and stream parsers a la Caml Light are back (thanks to
Daniel de Rauglaudre). Daniel de Rauglaudre).
@ -95,8 +131,8 @@ core on me).
* Lower memory consumption for the native-code compiler. * Lower memory consumption for the native-code compiler.
Release 1.10: Caml Special Light 1.10:
------------- ------------------------
* Many bug fixes (too many to list here). * Many bug fixes (too many to list here).
@ -113,8 +149,8 @@ arbitrary-precision arithmetic have been ported (thanks to John
Malecki and Victor Manuel Gulias Fernandez); better docs for the Unix Malecki and Victor Manuel Gulias Fernandez); better docs for the Unix
and regexp libraries. and regexp libraries.
Release 1.07: Caml Special Light 1.07:
------------- ------------------------
* Syntax: optional ;; allowed in compilation units and structures * Syntax: optional ;; allowed in compilation units and structures
(back by popular demand) (back by popular demand)
@ -130,7 +166,7 @@ no calls to ranlib in Solaris
* Standard library: added List.memq; documentation of Array fixed. * Standard library: added List.memq; documentation of Array fixed.
Release 1.06: Caml Special Light 1.06:
------------- ------------------------
* First public release. * First public release.

34
INSTALL
View File

@ -12,7 +12,7 @@ The "configure" script accepts the following options:
-bindir <dir> (default: /usr/local/bin) -bindir <dir> (default: /usr/local/bin)
Directory where the binaries will be installed Directory where the binaries will be installed
-libdir <dir> (default: /usr/local/lib/camlsl) -libdir <dir> (default: /usr/local/lib/ocaml)
Directory where the Caml library will be installed Directory where the Caml library will be installed
-mandir <dir> (default: /usr/local/man/man1) -mandir <dir> (default: /usr/local/man/man1)
@ -32,7 +32,7 @@ The "configure" script accepts the following options:
for gcc or emacs contain a complete list of configuration names. for gcc or emacs contain a complete list of configuration names.
Examples: Examples:
./configure -bindir /usr/bin -libdir /usr/lib/csl -mandir /usr/man/manl ./configure -bindir /usr/bin -libdir /usr/lib/ocaml -mandir /usr/man/manl
./configure -cc "acc -fast" -libs "-lucb" ./configure -cc "acc -fast" -libs "-lucb"
If something goes wrong during the automatic configuration, or if the If something goes wrong during the automatic configuration, or if the
@ -48,14 +48,14 @@ for guidance on how to edit the generated files by hand.
make world make world
This builds the Caml Special Light bytecode compiler for the first time. This builds the Objective Caml bytecode compiler for the first time.
This phase is fairly verbose; consider redirecting the output to a file: This phase is fairly verbose; consider redirecting the output to a file:
make world > log.world 2>&1 # in sh make world > log.world 2>&1 # in sh
make world >& log.world # in csh make world >& log.world # in csh
3- To be sure everything works well, you can try to bootstrap the 3- To be sure everything works well, you can try to bootstrap the
system --- that is, to recompile all Caml Special Light sources with system --- that is, to recompile all Objective Caml sources with
the newly created compiler. From the top directory, do: the newly created compiler. From the top directory, do:
make bootstrap make bootstrap
@ -83,20 +83,20 @@ or:
make opt > log.opt 2>&1 # in sh make opt > log.opt 2>&1 # in sh
make opt >& log.opt # in csh make opt >& log.opt # in csh
5- You can now install the Caml Special Light system. This will create the 5- You can now install the Objective Caml system. This will create the
following commands (in the binary directory selected during autoconfiguration): following commands (in the binary directory selected during autoconfiguration):
cslc the batch bytecode compiler ocamlc the batch bytecode compiler
cslopt the batch native-code compiler (if supported) ocamlopt the batch native-code compiler (if supported)
cslrun the runtime system for the bytecode compiler ocamlrun the runtime system for the bytecode compiler
cslyacc the parser generator ocamlyacc the parser generator
csllex the lexer generator ocamllex the lexer generator
csltop the interactive, toplevel-based system ocaml the interactive, toplevel-based system
cslmktop a tool to make toplevel systems that integrate ocamlmktop a tool to make toplevel systems that integrate
user-defined C primitives and Caml code user-defined C primitives and Caml code
csldep output "make" dependencies for Caml sources ocamldep output "make" dependencies for Caml sources
cslprof execution count profiler ocamlprof execution count profiler
cslcp the bytecode compiler in profiling mode ocamlcp the bytecode compiler in profiling mode
From the top directory, become superuser and do "make install". From the top directory, become superuser and do "make install".
Also do "make installopt" to install the native-code compiler, if you Also do "make installopt" to install the native-code compiler, if you
@ -126,8 +126,8 @@ that can uncover bugs in optimizing compilers. Alternatively, try
another C compiler (e.g. gcc instead of the vendor-supplied cc). another C compiler (e.g. gcc instead of the vendor-supplied cc).
You can also build a debug version of the runtime system. Go to the You can also build a debug version of the runtime system. Go to the
byterun/ directory and do "make camlrund". Then, copy camlrund to byterun/ directory and do "make ocamlrund". Then, copy ocamlrund to
../boot/camlrun, and try again. This version of the runtime system ../boot/ocamlrun, and try again. This version of the runtime system
contains lots of assertions and sanity checks that could help you contains lots of assertions and sanity checks that could help you
pinpoint the problem. pinpoint the problem.

12
LICENSE
View File

@ -1,6 +1,6 @@
LEGAL NOTICE LEGAL NOTICE
Software: Caml Special Light, version 1.15 of March 1996, Software: Objective Caml, version 1.00 of May 1996,
hereinafter referred to as "the software". hereinafter referred to as "the software".
The software has been designed and produced by Xavier Leroy and Damien The software has been designed and produced by Xavier Leroy and Damien
@ -8,7 +8,7 @@ Doligez, research workers for the Institut National de Recherche en
Informatique et en Automatique (INRIA) - Domaine de Voluceau - Informatique et en Automatique (INRIA) - Domaine de Voluceau -
Rocquencourt - 78153 Le Chesnay Cedex - France. Rocquencourt - 78153 Le Chesnay Cedex - France.
INRIA holds all ownership rights to Caml Special Light. INRIA holds all ownership rights to Objective Caml.
The software has been registered at Agence pour la Protection The software has been registered at Agence pour la Protection
des Programmes (APP). des Programmes (APP).
@ -28,15 +28,15 @@ personal use only. Public distribution of derivative works is not
permitted, unless the user obtains the express approval of INRIA. permitted, unless the user obtains the express approval of INRIA.
INRIA freely grants the right to distribute executable files generated INRIA freely grants the right to distribute executable files generated
by the Caml Special Light compilers (cslc and cslopt). Binaries of the by the Objective Caml compilers (cslc and cslopt). Binaries of the
Caml Special Light run-time system (cslrun) can also be distributed Objective Caml run-time system (cslrun) can also be distributed
freely, with the sole condition that the distribution includes the freely, with the sole condition that the distribution includes the
following statement: following statement:
"This software includes the Caml Special Light run-time system, "This software includes the Objective Caml run-time system,
which is copyright 1995 INRIA." which is copyright 1995 INRIA."
All other files generated by the Caml Special Light system, including All other files generated by the Objective Caml system, including
custom toplevel systems generated by cslmktop, are considered as custom toplevel systems generated by cslmktop, are considered as
derivative works and cannot be publicly distributed without the derivative works and cannot be publicly distributed without the
express approval of INRIA. express approval of INRIA.

105
Makefile
View File

@ -2,16 +2,16 @@
include config/Makefile include config/Makefile
CAMLC=boot/cslrun boot/cslc -I boot CAMLC=boot/ocamlrun boot/ocamlc -I boot
CAMLOPT=boot/cslrun ./cslopt -I stdlib CAMLOPT=boot/ocamlrun ./ocamlopt -I stdlib
COMPFLAGS=$(INCLUDES) COMPFLAGS=$(INCLUDES)
LINKFLAGS= LINKFLAGS=
CAMLYACC=boot/cslyacc CAMLYACC=boot/ocamlyacc
YACCFLAGS= YACCFLAGS=
CAMLLEX=boot/cslrun boot/csllex CAMLLEX=boot/ocamlrun boot/ocamllex
CAMLDEP=boot/cslrun tools/csldep CAMLDEP=boot/ocamlrun tools/ocamldep
DEPFLAGS=$(INCLUDES) DEPFLAGS=$(INCLUDES)
CAMLRUN=byterun/cslrun CAMLRUN=byterun/ocamlrun
SHELL=/bin/sh SHELL=/bin/sh
INCLUDES=-I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel INCLUDES=-I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel
@ -82,9 +82,9 @@ PERVASIVES=arg array char digest filename format gc hashtbl lexing list map \
stack string stream sys oo stack string stream sys oo
# Recompile the system using the bootstrap compiler # Recompile the system using the bootstrap compiler
all: runtime cslc csllex cslyacc csltools library csltop otherlibraries all: runtime ocamlc ocamllex ocamlyacc ocamltools library ocaml otherlibraries
# The compilation of csltop will fail if the runtime has changed. # The compilation of ocaml will fail if the runtime has changed.
# Never mind, just do make bootstrap to reach fixpoint again. # Never mind, just do make bootstrap to reach fixpoint again.
# Compile everything the first time # Compile everything the first time
@ -95,30 +95,31 @@ bootstrap:
# Save the original bootstrap compiler # Save the original bootstrap compiler
$(MAKE) backup $(MAKE) backup
# Promote the new compiler but keep the old runtime # Promote the new compiler but keep the old runtime
# This compiler runs on boot/cslrun and produces bytecode for byterun/cslrun # This compiler runs on boot/ocamlrun and produces bytecode for
# byterun/ocamlrun
$(MAKE) promote-cross $(MAKE) promote-cross
# Rebuild cslc and csllex (run on byterun/cslrun) # Rebuild ocamlc and ocamllex (run on byterun/ocamlrun)
$(MAKE) clean $(MAKE) clean
$(MAKE) cslc csllex $(MAKE) ocamlc ocamllex
# Rebuild the library (using byterun/cslrun ./cslc) # Rebuild the library (using byterun/ocamlrun ./ocamlc)
$(MAKE) library-cross $(MAKE) library-cross
# Promote the new compiler and the new runtime # Promote the new compiler and the new runtime
$(MAKE) promote $(MAKE) promote
# Rebuild everything, including csltop and the tools # Rebuild everything, including ocaml and the tools
$(MAKE) clean $(MAKE) clean
$(MAKE) all $(MAKE) all
# Check if fixpoint reached # Check if fixpoint reached
$(MAKE) compare $(MAKE) compare
LIBFILES=stdlib.cma std_exit.cmo *.cmi cslheader LIBFILES=stdlib.cma std_exit.cmo *.cmi camlheader
# Start up the system from the distribution compiler # Start up the system from the distribution compiler
coldstart: coldstart:
cd byterun; $(MAKE) all cd byterun; $(MAKE) all
cp byterun/cslrun boot/cslrun cp byterun/ocamlrun boot/ocamlrun
cd yacc; $(MAKE) all cd yacc; $(MAKE) all
cp yacc/cslyacc boot/cslyacc cp yacc/ocamlyacc boot/ocamlyacc
cd stdlib; $(MAKE) COMPILER=../boot/cslc all cd stdlib; $(MAKE) COMPILER=../boot/ocamlc all
cd stdlib; cp $(LIBFILES) ../boot cd stdlib; cp $(LIBFILES) ../boot
# Save the current bootstrap compiler # Save the current bootstrap compiler
@ -127,22 +128,22 @@ backup:
mv boot/Saved boot/Saved.prev mv boot/Saved boot/Saved.prev
mkdir boot/Saved mkdir boot/Saved
mv boot/Saved.prev boot/Saved/Saved.prev mv boot/Saved.prev boot/Saved/Saved.prev
cp boot/cslrun boot/Saved cp boot/ocamlrun boot/Saved
mv boot/cslc boot/csllex boot/cslyacc boot/Saved mv boot/ocamlc boot/ocamllex boot/ocamlyacc boot/Saved
cd boot; cp $(LIBFILES) Saved cd boot; cp $(LIBFILES) Saved
# Promote the newly compiled system to the rank of cross compiler # Promote the newly compiled system to the rank of cross compiler
# (Runs on the old runtime, produces code for the new runtime) # (Runs on the old runtime, produces code for the new runtime)
promote-cross: promote-cross:
cp cslc boot/cslc cp ocamlc boot/ocamlc
cp lex/csllex boot/csllex cp lex/ocamllex boot/ocamllex
cp yacc/cslyacc boot/cslyacc cp yacc/ocamlyacc boot/ocamlyacc
cd stdlib; cp $(LIBFILES) ../boot cd stdlib; cp $(LIBFILES) ../boot
# Promote the newly compiled system to the rank of bootstrap compiler # Promote the newly compiled system to the rank of bootstrap compiler
# (Runs on the new runtime, produces code for the new runtime) # (Runs on the new runtime, produces code for the new runtime)
promote: promote-cross promote: promote-cross
cp byterun/cslrun boot/cslrun cp byterun/ocamlrun boot/ocamlrun
# Restore the saved bootstrap compiler if a problem arises # Restore the saved bootstrap compiler if a problem arises
restore: restore:
@ -152,7 +153,7 @@ restore:
# Check if fixpoint reached # Check if fixpoint reached
compare: compare:
@if cmp boot/cslc cslc && cmp boot/csllex lex/csllex; \ @if cmp boot/ocamlc ocamlc && cmp boot/ocamllex lex/ocamllex; \
then echo "Fixpoint reached, bootstrap succeeded."; \ then echo "Fixpoint reached, bootstrap succeeded."; \
else echo "Fixpoint not reached, try one more bootstrapping cycle."; \ else echo "Fixpoint not reached, try one more bootstrapping cycle."; \
fi fi
@ -162,7 +163,7 @@ cleanboot:
rm -rf boot/Saved/Saved.prev/* rm -rf boot/Saved/Saved.prev/*
# Compile the native-code compiler # Compile the native-code compiler
opt: runtimeopt cslopt libraryopt otherlibrariesopt opt: runtimeopt ocamlopt libraryopt otherlibrariesopt
# Installation # Installation
install: install:
@ -170,11 +171,11 @@ install:
if test -d $(LIBDIR); then : ; else mkdir $(LIBDIR); fi if test -d $(LIBDIR); then : ; else mkdir $(LIBDIR); fi
if test -d $(MANDIR); then : ; else mkdir $(MANDIR); fi if test -d $(MANDIR); then : ; else mkdir $(MANDIR); fi
cd byterun; $(MAKE) install cd byterun; $(MAKE) install
cp cslc $(BINDIR)/cslc cp ocamlc $(BINDIR)/ocamlc
cp csltop $(BINDIR)/csltop cp ocaml $(BINDIR)/ocaml
cd stdlib; $(MAKE) install cd stdlib; $(MAKE) install
cp lex/csllex $(BINDIR)/csllex cp lex/ocamllex $(BINDIR)/ocamllex
cp yacc/cslyacc $(BINDIR)/cslyacc cp yacc/ocamlyacc $(BINDIR)/ocamlyacc
$(CAMLC) -a -o $(LIBDIR)/toplevellib.cma $(TOPLIB) $(CAMLC) -a -o $(LIBDIR)/toplevellib.cma $(TOPLIB)
cp expunge $(LIBDIR) cp expunge $(LIBDIR)
cp toplevel/topmain.cmo $(LIBDIR) cp toplevel/topmain.cmo $(LIBDIR)
@ -186,7 +187,7 @@ install:
# Installation of the native-code compiler # Installation of the native-code compiler
installopt: installopt:
cd asmrun; $(MAKE) install cd asmrun; $(MAKE) install
cp cslopt $(BINDIR)/cslopt cp ocamlopt $(BINDIR)/ocamlopt
cd stdlib; $(MAKE) installopt cd stdlib; $(MAKE) installopt
for i in $(OTHERLIBRARIES); do (cd otherlibs/$$i; $(MAKE) installopt); done for i in $(OTHERLIBRARIES); do (cd otherlibs/$$i; $(MAKE) installopt); done
@ -194,29 +195,29 @@ realclean:: clean
# The compiler # The compiler
cslc: $(COMPOBJS) ocamlc: $(COMPOBJS)
$(CAMLC) $(LINKFLAGS) -o cslc $(COMPOBJS) $(CAMLC) $(LINKFLAGS) -o ocamlc $(COMPOBJS)
clean:: clean::
rm -f cslc rm -f ocamlc
# The native-code compiler # The native-code compiler
cslopt: $(OPTOBJS) ocamlopt: $(OPTOBJS)
$(CAMLC) $(LINKFLAGS) -o cslopt $(OPTOBJS) $(CAMLC) $(LINKFLAGS) -o ocamlopt $(OPTOBJS)
clean:: clean::
rm -f cslopt rm -f ocamlopt
# The toplevel # The toplevel
csltop: $(TOPOBJS) expunge ocaml: $(TOPOBJS) expunge
$(CAMLC) $(LINKFLAGS) -linkall -o csltop.tmp $(TOPOBJS) $(CAMLC) $(LINKFLAGS) -linkall -o ocaml.tmp $(TOPOBJS)
- $(CAMLRUN) ./expunge csltop.tmp csltop $(PERVASIVES) - $(CAMLRUN) ./expunge ocaml.tmp ocaml $(PERVASIVES)
rm -f csltop.tmp rm -f ocaml.tmp
clean:: clean::
rm -f csltop rm -f ocaml
# The configuration file # The configuration file
@ -264,21 +265,21 @@ beforedepend:: parsing/lexer.ml
# Currently not working because it requires C primitives from byterun/meta.c # Currently not working because it requires C primitives from byterun/meta.c
# which are not provided by asmrun/libasmrun.a # which are not provided by asmrun/libasmrun.a
# cslc.opt: $(COMPOBJS:.cmo=.cmx) # ocamlc.opt: $(COMPOBJS:.cmo=.cmx)
# $(CAMLOPT) $(LINKFLAGS) -o cslc.opt $(COMPOBJS:.cmo=.cmx) # $(CAMLOPT) $(LINKFLAGS) -o ocamlc.opt $(COMPOBJS:.cmo=.cmx)
clean:: clean::
rm -f cslc.opt rm -f ocamlc.opt
# The native-code compiler compiled with itself # The native-code compiler compiled with itself
cslopt.opt: $(OPTOBJS:.cmo=.cmx) ocamlopt.opt: $(OPTOBJS:.cmo=.cmx)
$(CAMLOPT) $(LINKFLAGS) -o cslopt.opt $(OPTOBJS:.cmo=.cmx) $(CAMLOPT) $(LINKFLAGS) -o ocamlopt.opt $(OPTOBJS:.cmo=.cmx)
clean:: clean::
rm -f cslopt.opt rm -f ocamlopt.opt
$(OPTOBJS:.cmo=.cmx): cslopt $(OPTOBJS:.cmo=.cmx): ocamlopt
# The numeric opcodes # The numeric opcodes
@ -372,7 +373,7 @@ alldepend::
library: library:
cd stdlib; $(MAKE) all cd stdlib; $(MAKE) all
library-cross: library-cross:
cd stdlib; $(MAKE) RUNTIME=../byterun/cslrun all cd stdlib; $(MAKE) RUNTIME=../byterun/ocamlrun all
libraryopt: libraryopt:
cd stdlib; $(MAKE) allopt cd stdlib; $(MAKE) allopt
clean:: clean::
@ -382,21 +383,21 @@ alldepend::
# The lexer and parser generators # The lexer and parser generators
csllex: ocamllex:
cd lex; $(MAKE) all cd lex; $(MAKE) all
clean:: clean::
cd lex; $(MAKE) clean cd lex; $(MAKE) clean
alldepend:: alldepend::
cd lex; $(MAKE) depend cd lex; $(MAKE) depend
cslyacc: ocamlyacc:
cd yacc; $(MAKE) all cd yacc; $(MAKE) all
realclean:: realclean::
cd yacc; $(MAKE) clean cd yacc; $(MAKE) clean
# Tools # Tools
csltools: ocamltools:
cd tools; $(MAKE) all cd tools; $(MAKE) all
clean:: clean::
cd tools; $(MAKE) clean cd tools; $(MAKE) clean

106
Makefile.nt
View File

@ -2,16 +2,16 @@
!include config\Makefile.nt !include config\Makefile.nt
CAMLC=boot\cslrun boot\cslc -I boot CAMLC=boot\ocamlrun boot\ocamlc -I boot
CAMLOPT=boot\cslrun .\cslopt -I stdlib CAMLOPT=boot\ocamlrun .\ocamlopt -I stdlib
COMPFLAGS=$(INCLUDES) COMPFLAGS=$(INCLUDES)
LINKFLAGS= LINKFLAGS=
CAMLYACC=boot\cslyacc CAMLYACC=boot\ocamlyacc
YACCFLAGS= YACCFLAGS=
CAMLLEX=boot\cslrun boot\csllex CAMLLEX=boot\ocamlrun boot\ocamllex
CAMLDEP=boot\cslrun tools\csldep CAMLDEP=boot\ocamlrun tools\ocamldep
DEPFLAGS=$(INCLUDES) DEPFLAGS=$(INCLUDES)
CAMLRUN=byterun\cslrun CAMLRUN=byterun\ocamlrun
INCLUDES=-I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel INCLUDES=-I utils -I parsing -I typing -I bytecomp -I asmcomp -I driver -I toplevel
@ -82,9 +82,9 @@ PERVASIVES=arg array char digest filename format gc hashtbl lexing list map \
stack string stream sys oo stack string stream sys oo
# Recompile the system using the bootstrap compiler # Recompile the system using the bootstrap compiler
all: runtime cslc csllex cslyacc csltools library csltop otherlibraries all: runtime ocamlc ocamllex ocamlyacc ocamltools library ocaml otherlibraries
# The compilation of csltop will fail if the runtime has changed. # The compilation of ocaml will fail if the runtime has changed.
# Never mind, just do make bootstrap to reach fixpoint again. # Never mind, just do make bootstrap to reach fixpoint again.
# Compile everything the first time # Compile everything the first time
@ -101,30 +101,30 @@ bootstrap:
# Save the original bootstrap compiler # Save the original bootstrap compiler
$(MAKEREC) backup $(MAKEREC) backup
# Promote the new compiler but keep the old runtime # Promote the new compiler but keep the old runtime
# This compiler runs on boot\cslrun and produces bytecode for byterun\cslrun # This compiler runs on boot\ocamlrun and produces bytecode for byterun\ocamlrun
$(MAKEREC) promote-cross $(MAKEREC) promote-cross
# Rebuild cslc and csllex (run on byterun\cslrun) # Rebuild ocamlc and ocamllex (run on byterun\ocamlrun)
$(MAKEREC) clean $(MAKEREC) clean
$(MAKEREC) cslc csllex $(MAKEREC) ocamlc ocamllex
# Rebuild the library (using byterun\cslrun .\cslc) # Rebuild the library (using byterun\ocamlrun .\ocamlc)
$(MAKEREC) library-cross $(MAKEREC) library-cross
# Promote the new compiler and the new runtime # Promote the new compiler and the new runtime
$(MAKEREC) promote $(MAKEREC) promote
# Rebuild everything, including csltop and the tools # Rebuild everything, including ocaml and the tools
$(MAKEREC) clean $(MAKEREC) clean
$(MAKEREC) all $(MAKEREC) all
# Check if fixpoint reached # Check if fixpoint reached
$(MAKEREC) compare $(MAKEREC) compare
LIBFILES=stdlib.cma std_exit.cmo *.cmi cslheader LIBFILES=stdlib.cma std_exit.cmo *.cmi ocamlheader
# Start up the system from the distribution compiler # Start up the system from the distribution compiler
coldstart: coldstart:
cd byterun & $(MAKEREC) all cd byterun & $(MAKEREC) all
cp byterun\cslrun.exe boot\cslrun.exe cp byterun\ocamlrun.exe boot\ocamlrun.exe
cd yacc & $(MAKEREC) all cd yacc & $(MAKEREC) all
cp yacc\cslyacc.exe boot\cslyacc.exe cp yacc\ocamlyacc.exe boot\ocamlyacc.exe
cd stdlib & $(MAKEREC) COMPILER=..\boot\cslc all cd stdlib & $(MAKEREC) COMPILER=..\boot\ocamlc all
cd stdlib & cp $(LIBFILES) ..\boot cd stdlib & cp $(LIBFILES) ..\boot
# Save the current bootstrap compiler # Save the current bootstrap compiler
@ -133,22 +133,22 @@ backup:
mv boot\Saved boot\Saved.prev mv boot\Saved boot\Saved.prev
mkdir boot\Saved mkdir boot\Saved
mv boot\Saved.prev boot\Saved\Saved.prev mv boot\Saved.prev boot\Saved\Saved.prev
cp boot\cslrun.exe boot\Saved\cslrun.exe cp boot\ocamlrun.exe boot\Saved\ocamlrun.exe
cd boot & mv cslc csllex cslyacc.exe Saved cd boot & mv ocamlc ocamllex ocamlyacc.exe Saved
cd boot & cp $(LIBFILES) Saved cd boot & cp $(LIBFILES) Saved
# Promote the newly compiled system to the rank of cross compiler # Promote the newly compiled system to the rank of cross compiler
# (Runs on the old runtime, produces code for the new runtime) # (Runs on the old runtime, produces code for the new runtime)
promote-cross: promote-cross:
cp cslc boot\cslc cp ocamlc boot\ocamlc
cp lex\csllex boot\csllex cp lex\ocamllex boot\ocamllex
cp yacc\cslyacc.exe boot\cslyacc.exe cp yacc\ocamlyacc.exe boot\ocamlyacc.exe
cd stdlib & cp $(LIBFILES) ..\boot cd stdlib & cp $(LIBFILES) ..\boot
# Promote the newly compiled system to the rank of bootstrap compiler # Promote the newly compiled system to the rank of bootstrap compiler
# (Runs on the new runtime, produces code for the new runtime) # (Runs on the new runtime, produces code for the new runtime)
promote: promote-cross promote: promote-cross
cp byterun\cslrun.exe boot\cslrun.exe cp byterun\ocamlrun.exe boot\ocamlrun.exe
# Restore the saved bootstrap compiler if a problem arises # Restore the saved bootstrap compiler if a problem arises
restore: restore:
@ -158,8 +158,8 @@ restore:
# Check if fixpoint reached # Check if fixpoint reached
compare: compare:
fc /b boot\cslc cslc fc /b boot\ocamlc ocamlc
fc /b boot\csllex lex\csllex fc /b boot\ocamllex lex\ocamllex
echo "Fixpoint reached, bootstrap succeeded." echo "Fixpoint reached, bootstrap succeeded."
# Remove old bootstrap compilers # Remove old bootstrap compilers
@ -167,18 +167,18 @@ cleanboot:
rm -rf boot\Saved\Saved.prev\* rm -rf boot\Saved\Saved.prev\*
# Compile the native-code compiler # Compile the native-code compiler
opt: runtimeopt cslopt libraryopt otherlibrariesopt opt: runtimeopt ocamlopt libraryopt otherlibrariesopt
# Installation # Installation
install: installbyt installopt install: installbyt installopt
installbyt: installbyt:
cd byterun & $(MAKEREC) install cd byterun & $(MAKEREC) install
cp cslc $(BINDIR)\cslc.exe cp ocamlc $(BINDIR)\ocamlc.exe
cp csltop $(BINDIR)\csltop.exe cp ocaml $(BINDIR)\ocaml.exe
cd stdlib & $(MAKEREC) install cd stdlib & $(MAKEREC) install
cp lex\csllex $(BINDIR)\csllex.exe cp lex\ocamllex $(BINDIR)\ocamllex.exe
cp yacc\cslyacc.exe $(BINDIR)\cslyacc.exe cp yacc\ocamlyacc.exe $(BINDIR)\ocamlyacc.exe
$(CAMLC) -a -o $(LIBDIR)\toplevellib.cma $(TOPLIB) $(CAMLC) -a -o $(LIBDIR)\toplevellib.cma $(TOPLIB)
cp expunge $(LIBDIR)\expunge.exe cp expunge $(LIBDIR)\expunge.exe
cp toplevel\topmain.cmo $(LIBDIR)\topmain.cmo cp toplevel\topmain.cmo $(LIBDIR)\topmain.cmo
@ -194,7 +194,7 @@ installbyt:
# Installation of the native-code compiler # Installation of the native-code compiler
installopt: installopt:
cd asmrun & $(MAKEREC) install cd asmrun & $(MAKEREC) install
cp cslopt $(BINDIR)\cslopt.exe cp ocamlopt $(BINDIR)\ocamlopt.exe
cd stdlib & $(MAKEREC) installopt cd stdlib & $(MAKEREC) installopt
for %i in ($(OTHERLIBRARIES)) do (cd otherlibs\%i & $(MAKEREC) installopt & cd ..\..) for %i in ($(OTHERLIBRARIES)) do (cd otherlibs\%i & $(MAKEREC) installopt & cd ..\..)
@ -202,29 +202,29 @@ realclean:: clean
# The compiler # The compiler
cslc: $(COMPOBJS) ocamlc: $(COMPOBJS)
$(CAMLC) $(LINKFLAGS) -o cslc $(COMPOBJS) $(CAMLC) $(LINKFLAGS) -o ocamlc $(COMPOBJS)
clean:: clean::
rm -f cslc rm -f ocamlc
# The native-code compiler # The native-code compiler
cslopt: $(OPTOBJS) ocamlopt: $(OPTOBJS)
$(CAMLC) $(LINKFLAGS) -o cslopt $(OPTOBJS) $(CAMLC) $(LINKFLAGS) -o ocamlopt $(OPTOBJS)
clean:: clean::
rm -f cslopt rm -f ocamlopt
# The toplevel # The toplevel
csltop: $(TOPOBJS) expunge ocaml: $(TOPOBJS) expunge
$(CAMLC) $(LINKFLAGS) -linkall -o csltop.tmp $(TOPOBJS) $(CAMLC) $(LINKFLAGS) -linkall -o ocaml.tmp $(TOPOBJS)
- $(CAMLRUN) .\expunge csltop.tmp csltop $(PERVASIVES) - $(CAMLRUN) .\expunge ocaml.tmp ocaml $(PERVASIVES)
rm -f csltop.tmp rm -f ocaml.tmp
clean:: clean::
rm -f csltop rm -f ocaml
# The configuration file # The configuration file
@ -272,21 +272,21 @@ beforedepend:: parsing\lexer.ml
# Currently not working because it requires C primitives from byterun\meta.c # Currently not working because it requires C primitives from byterun\meta.c
# which are not provided by asmrun\libasmrun.lib # which are not provided by asmrun\libasmrun.lib
# cslc.opt: $(COMPOBJS:.cmo=.cmx) # ocamlc.opt: $(COMPOBJS:.cmo=.cmx)
# $(CAMLOPT) $(LINKFLAGS) -o cslc.opt $(COMPOBJS:.cmo=.cmx) # $(CAMLOPT) $(LINKFLAGS) -o ocamlc.opt $(COMPOBJS:.cmo=.cmx)
clean:: clean::
rm -f cslc.opt rm -f ocamlc.opt
# The native-code compiler compiled with itself # The native-code compiler compiled with itself
cslopt.opt: $(OPTOBJS:.cmo=.cmx) ocamlopt.opt: $(OPTOBJS:.cmo=.cmx)
$(CAMLOPT) $(LINKFLAGS) -o cslopt.opt $(OPTOBJS:.cmo=.cmx) $(CAMLOPT) $(LINKFLAGS) -o ocamlopt.opt $(OPTOBJS:.cmo=.cmx)
clean:: clean::
rm -f cslopt.opt rm -f ocamlopt.opt
$(OPTOBJS:.cmo=.cmx): cslopt $(OPTOBJS:.cmo=.cmx): ocamlopt
# The numeric opcodes # The numeric opcodes
@ -382,7 +382,7 @@ alldepend::
library: library:
cd stdlib & $(MAKEREC) all cd stdlib & $(MAKEREC) all
library-cross: library-cross:
cd stdlib & $(MAKEREC) RUNTIME=..\byterun\cslrun all cd stdlib & $(MAKEREC) RUNTIME=..\byterun\ocamlrun all
libraryopt: libraryopt:
cd stdlib & $(MAKEREC) allopt cd stdlib & $(MAKEREC) allopt
clean:: clean::
@ -392,21 +392,21 @@ alldepend::
# The lexer and parser generators # The lexer and parser generators
csllex: ocamllex:
cd lex & $(MAKEREC) all cd lex & $(MAKEREC) all
clean:: clean::
cd lex & $(MAKEREC) clean cd lex & $(MAKEREC) clean
alldepend:: alldepend::
cd lex & $(MAKEREC) depend cd lex & $(MAKEREC) depend
cslyacc: ocamlyacc:
cd yacc & $(MAKEREC) all cd yacc & $(MAKEREC) all
realclean:: realclean::
cd yacc & $(MAKEREC) clean cd yacc & $(MAKEREC) clean
# Tools # Tools
csltools: ocamltools:
cd tools & $(MAKEREC) all cd tools & $(MAKEREC) all
clean:: clean::
cd tools & $(MAKEREC) clean cd tools & $(MAKEREC) clean

21
README
View File

@ -1,15 +1,10 @@
OVERVIEW: OVERVIEW:
Caml Special Light is an implementation of the ML language, based on Objective Caml is an implementation of the ML language, based on
the Caml Light dialect extended with a powerful module system in the the Caml Light dialect extended with a complete class-based object system
style of Standard ML. and a powerful module system in the style of Standard ML.
Though close to Caml Light in many ways, Caml Special Light is not the Objective Caml comprises two compilers. One generates bytecode
latest release of Caml Light: the language implemented has changed in
significant ways, source-level compatibility is not ensured, and the
implementation has been almost completely rewritten from scratch.
Caml Special Light comprises two compilers. One generates bytecode
which is then interpreted by a C program. This compiler runs quickly, which is then interpreted by a C program. This compiler runs quickly,
generates compact code with moderate memory requirements, and is generates compact code with moderate memory requirements, and is
portable to essentially any 32 or 64 bit Unix platform. Performance of portable to essentially any 32 or 64 bit Unix platform. Performance of
@ -68,7 +63,7 @@ CONTENTS:
COPYRIGHT: COPYRIGHT:
All files in this distribution are copyright 1995 Institut National de All files in this distribution are copyright 1996 Institut National de
Recherche en Informatique et Automatique (INRIA) and distributed under Recherche en Informatique et Automatique (INRIA) and distributed under
the conditions stated in file LICENSE. the conditions stated in file LICENSE.
They can be freely redistributed for non-commercial purposes, provided They can be freely redistributed for non-commercial purposes, provided
@ -80,15 +75,15 @@ See the file INSTALL for installation instructions on Unix machines.
DOCUMENTATION: DOCUMENTATION:
The Caml Special Light manual is distributed in Postscript, DVI, and The Objective Caml manual is distributed in Postscript, DVI, and
plain text. It can be obtained by anonymous FTP from ftp.inria.fr as plain text. It can be obtained by anonymous FTP from ftp.inria.fr as
described below. It is also available on the World Wide Web, at described below. It is also available on the World Wide Web, at
http://pauillac.inria.fr/csl/ http://pauillac.inria.fr/caml/
AVAILABILITY: AVAILABILITY:
The complete Caml Special Light distribution resides on ftp.inria.fr, The complete Objective Caml distribution resides on ftp.inria.fr,
and can be accessed by anonymous FTP: and can be accessed by anonymous FTP:
host: ftp.inria.fr (192.93.2.54) host: ftp.inria.fr (192.93.2.54)

56
README.win32
View File

@ -1,4 +1,4 @@
Release notes on the MS Windows port of Caml Special Light Release notes on the MS Windows port of Objective Caml
---------------------------------------------------------- ----------------------------------------------------------
REQUIREMENTS: REQUIREMENTS:
@ -7,13 +7,13 @@ This port runs under Windows 95 and Windows NT on Intel-based machines.
Windows 3.1 and Windows for Workgroups are not supported. Windows NT Windows 3.1 and Windows for Workgroups are not supported. Windows NT
on non-Intel processors has not been tested. on non-Intel processors has not been tested.
The base bytecode system (cslc, csltop, csllex, cslyacc, ...) runs without The base bytecode system (ocamlc, ocaml, ocamllex, ocamlyacc, ...)
any additional tools. runs without any additional tools.
Linking Caml bytecode with C code (cslc -custom) requires the Linking Caml bytecode with C code (ocamlc -custom) requires the
Microsoft Visual C++ compiler. Microsoft Visual C++ compiler.
The native-code compiler (cslopt) requires Visual C++ and the The native-code compiler (ocamlopt) requires Visual C++ and the
Microsoft assembler MASM version 6. Microsoft assembler MASM version 6.
@ -29,55 +29,55 @@ version 2. Use either Winzip (shareware) or the NT/95 version of unzip
Unzipping the distribution creates (among others) the following Unzipping the distribution creates (among others) the following
directories and files: directories and files:
camlsl\cslwin.exe The toplevel application ocaml\ocamlwin.exe The toplevel application
camlsl\cslwin.ini Its configuration file ocaml\ocamlwin.ini Its configuration file
camlsl\bin\ The command-line compilers and tools ocaml\bin\ The command-line compilers and tools
camlsl\lib\ The standard library files ocaml\lib\ The standard library files
Installing the toplevel application: Installing the toplevel application:
Copy the file camlsl\cslwin.ini to the Windows system directory Copy the file ocaml\ocamlwin.ini to the Windows system directory
(e.g. C:\windows). This file assumes that the Caml distribution (e.g. C:\windows). This file assumes that the Caml distribution
resides in C:\camlsl. If this is not the case, edit the file cslwin.ini resides in C:\ocaml. If this is not the case, edit the file ocamlwin.ini
and change the line that says and change the line that says
CmdLine=cslrun c:\camlsl\bin\csltop.exe -I c:\camlsl\lib CmdLine=ocamlrun c:\ocaml\bin\ocaml.exe -I c:\ocaml\lib
to to
CmdLine=cslrun <caml_dir>\bin\csltop.exe -I <caml_dir>\lib CmdLine=ocamlrun <caml_dir>\bin\ocaml.exe -I <caml_dir>\lib
e.g. e.g.
CmdLine=cslrun d:\lang\camlsl\bin\csltop.exe -I d:\lang\camlsl\lib CmdLine=ocamlrun d:\lang\ocaml\bin\ocaml.exe -I d:\lang\ocaml\lib
Installing the command-line tools: Installing the command-line tools:
You must add the camlsl\bin subdirectory to the PATH variable, e.g. You must add the ocaml\bin subdirectory to the PATH variable, e.g.
set PATH=%PATH%;D:\lang\camlsl\bin set PATH=%PATH%;D:\lang\ocaml\bin
Running directly the tools (e.g. typing D:\lang\camlsl\bin\cslc) Running directly the tools (e.g. typing D:\lang\ocaml\bin\ocamlc)
will not work if the camlsl\bin directory is not in PATH, because cslc will not work if the ocaml\bin directory is not in PATH, because ocamlc
and the other tools will be unable to find the Caml runtime system and the other tools will be unable to find the Caml runtime system
cslrun.exe. ocamlrun.exe.
The command-line tools assume that the standard library resides in The command-line tools assume that the standard library resides in
C:\camlsl\lib. If you have unpacked it elsehwere, define the CAMLLIB C:\ocaml\lib. If you have unpacked it elsehwere, define the CAMLLIB
environment variable to point to the standard library directory, e.g. environment variable to point to the standard library directory, e.g.
set CAMLLIB=D:\lang\camlsl\lib set CAMLLIB=D:\lang\ocaml\lib
RECOMPILATION FROM THE SOURCES: RECOMPILATION FROM THE SOURCES:
The command-line tools can be recompiled from the Unix source The command-line tools can be recompiled from the Unix source
distribution (csl-X.YZ.tar.gz), which also contains the files modified distribution (ocaml-X.YZ.tar.gz), which also contains the files modified
for Windows. for Windows.
In addition to Visual C++ 4.0 and MASM 6, you will also need a healthy In addition to Visual C++ 4.0 and MASM 6, you will also need a healthy
set of Unix / GNU utilities that understands long file names set of Unix / GNU utilities that understands long file names
(see e.g. ftp://ftp.cc.utexas.edu/microlib/nt/gnu/). (see e.g. ftp://ftp.cc.utexas.edu/microlib/nt/gnu/).
The bootstrap compilers provided in the Unix distribution (boot/cslc The bootstrap compilers provided in the Unix distribution (boot/ocamlc
and boot/csllex) must be replaced by those from the binary Windows and boot/ocamllex) must be replaced by those from the binary Windows
distribution (camlsl\bin\cslc.exe and camlsl\bin\csllex.exe). distribution (ocaml\bin\ocamlc.exe and ocaml\bin\ocamllex.exe).
The sources for the toplevel graphical user interface are not The sources for the toplevel graphical user interface are not
publically available. publically available.
@ -101,9 +101,9 @@ Win32.
CREDITS: CREDITS:
The initial port of Caml Special Light to Windows NT was done by Kevin The initial port of Caml Special Light (the ancestor of Objective Caml)
Gallo at Microsoft Research, who kindly contributed his changes to the to Windows NT was done by Kevin Gallo at Microsoft Research, who
Caml Special Light project. kindly contributed his changes to the Caml project.
The graphical user interface for the toplevel is due to Jean-Marie The graphical user interface for the toplevel is due to Jean-Marie
Geffroy at INRIA Rocquencourt. Geffroy at INRIA Rocquencourt.

4
asmcomp/all.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/arch_alpha.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/arch_hppa.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/arch_i386.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/arch_mips.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/arch_power.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/arch_sparc.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/asmgen.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/asmgen.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/asmlibrarian.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/asmlibrarian.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/asmlink.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/asmlink.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/clambda.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/clambda.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/closure.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/closure.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/cmm.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/cmm.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/cmmgen.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/cmmgen.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/codegen.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/codegen.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/coloring.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/coloring.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/compilenv.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/compilenv.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_alpha.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_hppa.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_i386.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_i386nt.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_mips.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_power.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emit_sparc.mlp
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emitaux.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/emitaux.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/interf.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/interf.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/linearize.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/linearize.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/liveness.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/liveness.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/mach.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/mach.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/printcmm.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/printcmm.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/printlinear.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/printlinear.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/printmach.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/printmach.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_alpha.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_hppa.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_i386.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_i386nt.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_mips.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_power.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/proc_sparc.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/reg.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/reg.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/reload.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/reload.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/scheduling.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/scheduling.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/selection.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/selection.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/spill.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/spill.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/split.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
asmcomp/split.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

7
asmrun/Makefile
View File

@ -74,6 +74,13 @@ obj.c: ../byterun/obj.c
lexing.c: ../byterun/lexing.c lexing.c: ../byterun/lexing.c
ln -s ../byterun/lexing.c lexing.c ln -s ../byterun/lexing.c lexing.c
LINKEDFILES=misc.c freelist.c major_gc.c minor_gc.c memory.c alloc.c \
compare.c ints.c floats.c str.c io.c extern.c intern.c hash.c sys.c \
parsing.c gc_ctrl.c terminfo.c md5.c obj.c lexing.c
clean::
rm -f $(LINKEDFILES)
.SUFFIXES: .asm .S .d.o .SUFFIXES: .asm .S .d.o
.asm.o: .asm.o:

4
asmrun/alpha.asm
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/array.c
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/fail.c
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/hppa.asm
View File

@ -1,10 +1,10 @@
;********************************************************************* ;*********************************************************************
;* * ;* *
;* Caml Special Light * ;* Objective Caml *
;* * ;* *
;* Xavier Leroy, projet Cristal, INRIA Rocquencourt * ;* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
;* * ;* *
;* Copyright 1995 Institut National de Recherche en Informatique et * ;* Copyright 1996 Institut National de Recherche en Informatique et *
;* Automatique. Distributed only by permission. * ;* Automatique. Distributed only by permission. *
;* * ;* *
;********************************************************************* ;*********************************************************************

4
asmrun/i386.S
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/i386nt.asm
View File

@ -1,10 +1,10 @@
;********************************************************************* ;*********************************************************************
; ;
; Caml Special Light ; Objective Caml
; ;
; Xavier Leroy, projet Cristal, INRIA Rocquencourt ; Xavier Leroy, projet Cristal, INRIA Rocquencourt
; ;
; Copyright 1995 Institut National de Recherche en Informatique et ; Copyright 1996 Institut National de Recherche en Informatique et
; Automatique. Distributed only by permission. ; Automatique. Distributed only by permission.
; ;
;********************************************************************* ;*********************************************************************

4
asmrun/main.c
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/mips.asm
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/power.asm
View File

@ -1,10 +1,10 @@
#********************************************************************* #*********************************************************************
#* * #* *
#* Caml Special Light * #* Objective Caml *
#* * #* *
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt * #* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
#* * #* *
#* Copyright 1995 Institut National de Recherche en Informatique et * #* Copyright 1996 Institut National de Recherche en Informatique et *
#* Automatique. Distributed only by permission. * #* Automatique. Distributed only by permission. *
#* * #* *
#********************************************************************* #*********************************************************************

4
asmrun/roots.c
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/signals.c
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/sparc.asm
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

4
asmrun/stack.h
View File

@ -1,10 +1,10 @@
/***********************************************************************/ /***********************************************************************/
/* */ /* */
/* Caml Special Light */ /* Objective Caml */
/* */ /* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */ /* */
/* Copyright 1995 Institut National de Recherche en Informatique et */ /* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */ /* Automatique. Distributed only by permission. */
/* */ /* */
/***********************************************************************/ /***********************************************************************/

6
boot/.cvsignore
View File

@ -1,4 +1,4 @@
Saved Saved
cslrun ocamlrun
cslyacc ocamlyacc
cslheader ocamlheader

BIN
boot/cslc
View File

Binary file not shown.

BIN
boot/ocamlc Executable file
View File

Binary file not shown.

BIN
boot/csllex → boot/ocamllex
View File

Binary file not shown.

4
bytecomp/bytegen.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
bytecomp/bytegen.mli
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

4
bytecomp/bytelibrarian.ml
View File

@ -1,10 +1,10 @@
(***********************************************************************) (***********************************************************************)
(* *) (* *)
(* Caml Special Light *) (* Objective Caml *)
(* *) (* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *) (* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *) (* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *) (* Automatique. Distributed only by permission. *)
(* *) (* *)
(***********************************************************************) (***********************************************************************)

Some files were not shown because too many files have changed in this diff Show More