* First public release.
-$Id: Changes 11110 2011-07-04 21:15:01Z doligez $
+$Id$
# #
#########################################################################
-# $Id: Makefile 10566 2010-06-16 01:32:26Z garrigue $
+# $Id$
# The main Makefile
# #
#########################################################################
-# $Id: Makefile.nt 10616 2010-07-06 10:02:53Z doligez $
+# $Id$
# The main Makefile
----
-$Id: README 11017 2011-04-29 09:10:12Z doligez $
+$Id$
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli
-# $Id: VERSION 11110 2011-07-04 21:15:01Z doligez $
+# $Id$
(* *)
(***********************************************************************)
-(* $Id: arch.ml 5304 2002-11-29 15:03:37Z xleroy $ *)
+(* $Id$ *)
(* Specific operations for the Alpha processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
module LabelSet =
Set.Make(struct type t = Linearize.label let compare = compare end)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 10268 2010-04-18 09:02:40Z xleroy $ *)
+(* $Id$ *)
(* Description of the Alpha processor *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Reloading for the Alpha *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
open Arch
open Mach
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10296 2010-04-22 12:51:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the Alpha processor *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 7784 2007-01-01 13:07:35Z xleroy $ *)
+(* $Id$ *)
(* Machine-specific command-line options *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 10980 2011-03-13 13:33:17Z xleroy $ *)
+(* $Id$ *)
(* Emission of x86-64 (AMD 64) assembly code *)
(* *)
(***********************************************************************)
-(* $Id: emit_nt.mlp 10862 2010-11-27 17:19:24Z xleroy $ *)
+(* $Id$ *)
(* Emission of x86-64 (AMD 64) assembly code, MASM syntax *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the AMD64 processor *)
(* *)
(***********************************************************************)
-(* $Id: proc_nt.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the AMD64 processor with Win64 conventions *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 10460 2010-05-24 15:26:23Z xleroy $ *)
+(* $Id$ *)
open Cmm
open Arch
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 5634 2003-06-30 08:28:48Z xleroy $ *)
+(* $Id$ *)
open Schedgen (* to create a dependency *)
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
(* Instruction selection for the AMD64 *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 5304 2002-11-29 15:03:37Z xleroy $ *)
+(* $Id$ *)
(* Specific operations for the ARM processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 10293 2010-04-22 09:33:18Z xleroy $ *)
+(* $Id$ *)
(* Emission of ARM assembly code *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9252 2009-05-04 13:46:46Z xleroy $ *)
+(* $Id$ *)
(* Description of the ARM processor *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Reloading for the ARM *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
open Mach
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10295 2010-04-22 12:39:40Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the ARM processor *)
(* *)
(***********************************************************************)
-(* $Id: asmgen.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* From lambda to assembly code *)
(* *)
(***********************************************************************)
-(* $Id: asmgen.mli 8477 2007-11-06 15:16:56Z frisch $ *)
+(* $Id$ *)
(* From lambda to assembly code *)
(* *)
(***********************************************************************)
-(* $Id: asmlibrarian.ml 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* Build libraries of .cmx files *)
(* *)
(***********************************************************************)
-(* $Id: asmlibrarian.mli 3123 2000-04-21 08:13:22Z weis $ *)
+(* $Id$ *)
(* Build libraries of .cmx files *)
(* *)
(***********************************************************************)
-(* $Id: asmlink.ml 11049 2011-05-17 14:14:38Z doligez $ *)
+(* $Id$ *)
(* Link a set of .cmx/.o files and produce an executable *)
(* *)
(***********************************************************************)
-(* $Id: asmlink.mli 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* Link a set of .cmx/.o files and produce an executable or a plugin *)
(* *)
(***********************************************************************)
-(* $Id: asmpackager.ml 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* "Package" a set of .cmx/.o files into one .cmx/.o file having the
original compilation units as sub-modules. *)
(* *)
(***********************************************************************)
-(* $Id: asmpackager.mli 7003 2005-08-01 15:51:09Z xleroy $ *)
+(* $Id$ *)
(* "Package" a set of .cmx/.o files into one .cmx/.o file having the
original compilation units as sub-modules. *)
(* *)
(***********************************************************************)
-(* $Id: clambda.ml 7812 2007-01-29 12:11:18Z xleroy $ *)
+(* $Id$ *)
(* A variant of the "lambda" code with direct / indirect calls explicit
and closures explicit too *)
(* *)
(***********************************************************************)
-(* $Id: clambda.mli 7812 2007-01-29 12:11:18Z xleroy $ *)
+(* $Id$ *)
(* A variant of the "lambda" code with direct / indirect calls explicit
and closures explicit too *)
(* *)
(***********************************************************************)
-(* $Id: closure.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* Introduction of closures, uncurrying, recognition of direct calls *)
(* *)
(***********************************************************************)
-(* $Id: closure.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Introduction of closures, uncurrying, recognition of direct calls *)
(* *)
(***********************************************************************)
-(* $Id: cmm.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type machtype_component =
Addr
(* *)
(***********************************************************************)
-(* $Id: cmm.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Second intermediate language (machine independent) *)
(* *)
(***********************************************************************)
-(* $Id: cmmgen.ml 10794 2010-11-11 17:08:07Z xleroy $ *)
+(* $Id$ *)
(* Translation from closed lambda to C-- *)
(* *)
(***********************************************************************)
-(* $Id: cmmgen.mli 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* Translation from closed lambda to C-- *)
(* *)
(***********************************************************************)
-(* $Id: compilenv.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Format of .cmx, .cmxa and .cmxs files *)
(* *)
(***********************************************************************)
-(* $Id: codegen.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* From C-- to assembly code *)
(* *)
(***********************************************************************)
-(* $Id: codegen.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* From C-- to assembly code *)
(* *)
(***********************************************************************)
-(* $Id: coloring.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Register allocation by coloring of the interference graph *)
(* *)
(***********************************************************************)
-(* $Id: coloring.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Register allocation by coloring of the interference graph *)
(* *)
(***********************************************************************)
-(* $Id: comballoc.ml 10910 2010-12-22 13:52:24Z xleroy $ *)
+(* $Id$ *)
(* Combine heap allocations occurring in the same basic block *)
(* *)
(***********************************************************************)
-(* $Id: comballoc.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Combine heap allocations occurring in the same basic block *)
(* *)
(***********************************************************************)
-(* $Id: compilenv.ml 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* Compilation environments for compilation units *)
(* *)
(***********************************************************************)
-(* $Id: compilenv.mli 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* Compilation environments for compilation units *)
(* *)
(***********************************************************************)
-(* $Id: emit.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Generation of assembly code *)
(* *)
(***********************************************************************)
-(* $Id: emitaux.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Common functions for emitting assembly code *)
(* *)
(***********************************************************************)
-(* $Id: emitaux.mli 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
(* Common functions for emitting assembly code *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Specific operations for the HP PA-RISC processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Emission of HP PA-RISC assembly code *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the HP PA-RISC processor *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
(* Reloading for the HPPA *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction scheduling for the HPPA *)
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10296 2010-04-22 12:51:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the HPPA processor *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Machine-specific command-line options *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 10980 2011-03-13 13:33:17Z xleroy $ *)
+(* $Id$ *)
(* Emission of Intel 386 assembly code *)
(* *)
(***********************************************************************)
-(* $Id: emit_nt.mlp 11067 2011-06-04 15:21:43Z xleroy $ *)
+(* $Id$ *)
(* Emission of Intel 386 assembly code, MASM syntax. *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 8462 2007-10-30 12:37:16Z xleroy $ *)
+(* $Id$ *)
(* Description of the Intel 386 processor *)
(* *)
(***********************************************************************)
-(* $Id: proc_nt.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the Intel 386 processor, for Windows NT *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
open Cmm
open Arch
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 2779 2000-02-04 12:43:18Z xleroy $ *)
+(* $Id$ *)
open Schedgen (* to create a dependency *)
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
(* Instruction selection for the Intel x86 *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 5304 2002-11-29 15:03:37Z xleroy $ *)
+(* $Id$ *)
(* Specific operations for the IA64 processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Emission of IA64 assembly code *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the IA64 processor *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 3235 2000-07-16 02:57:31Z xleroy $ *)
+(* $Id$ *)
(* Reloading for the IA64. *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Schedgen (* to create a dependency *)
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10296 2010-04-22 12:51:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the IA64 processor *)
(* *)
(***********************************************************************)
-(* $Id: interf.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Construction of the interference graph.
Annotate pseudoregs with interference lists and preference lists. *)
(* *)
(***********************************************************************)
-(* $Id: interf.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Construction of the interference graph.
Annotate pseudoregs with interference lists and preference lists. *)
(* *)
(***********************************************************************)
-(* $Id: linearize.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Transformation of Mach code into a list of pseudo-instructions. *)
(* *)
(***********************************************************************)
-(* $Id: linearize.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Transformation of Mach code into a list of pseudo-instructions. *)
(* *)
(***********************************************************************)
-(* $Id: liveness.ml 7812 2007-01-29 12:11:18Z xleroy $ *)
+(* $Id$ *)
(* Liveness analysis.
Annotate mach code with the set of regs live at each point. *)
(* *)
(***********************************************************************)
-(* $Id: liveness.mli 3123 2000-04-21 08:13:22Z weis $ *)
+(* $Id$ *)
(* Liveness analysis.
Annotate mach code with the set of regs live at each point. *)
(* *)
(***********************************************************************)
-(* $Id: mach.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Representation of machine code by sequences of pseudoinstructions *)
(* *)
(***********************************************************************)
-(* $Id: mach.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Representation of machine code by sequences of pseudoinstructions *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 5304 2002-11-29 15:03:37Z xleroy $ *)
+(* $Id$ *)
(* Specific operations for the Mips processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Emission of Mips assembly code *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the Mips processor *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Reloading for the Mips *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
open Schedgen (* to create a dependency *)
(* *)
(***********************************************************************)
-(* $Id: selection.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the Mips processor *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Specific operations for the PowerPC processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Emission of PowerPC assembly code *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the Power PC *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Reloading for the PowerPC *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Instruction scheduling for the Power PC *)
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10296 2010-04-22 12:51:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the Power PC processor *)
(* *)
(***********************************************************************)
-(* $Id: printcmm.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Pretty-printing of C-- code *)
(* *)
(***********************************************************************)
-(* $Id: printcmm.mli 3123 2000-04-21 08:13:22Z weis $ *)
+(* $Id$ *)
(* Pretty-printing of C-- code *)
(* *)
(***********************************************************************)
-(* $Id: printlinear.ml 7812 2007-01-29 12:11:18Z xleroy $ *)
+(* $Id$ *)
(* Pretty-printing of linearized machine code *)
(* *)
(***********************************************************************)
-(* $Id: printlinear.mli 3123 2000-04-21 08:13:22Z weis $ *)
+(* $Id$ *)
(* Pretty-printing of linearized machine code *)
(* *)
(***********************************************************************)
-(* $Id: printmach.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Pretty-printing of pseudo machine code *)
(* *)
(***********************************************************************)
-(* $Id: printmach.mli 3123 2000-04-21 08:13:22Z weis $ *)
+(* $Id$ *)
(* Pretty-printing of pseudo machine code *)
(* *)
(***********************************************************************)
-(* $Id: proc.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Processor descriptions *)
(* *)
(***********************************************************************)
-(* $Id: reg.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Cmm
(* *)
(***********************************************************************)
-(* $Id: reg.mli 9210 2009-03-31 09:44:50Z xleroy $ *)
+(* $Id$ *)
(* Pseudo-registers *)
(* *)
(***********************************************************************)
-(* $Id: reload.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Insert load/stores for pseudoregs that got assigned to stack locations. *)
(* *)
(***********************************************************************)
-(* $Id: reloadgen.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Insert load/stores for pseudoregs that got assigned to stack locations. *)
(* *)
(***********************************************************************)
-(* $Id: reloadgen.mli 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
class reload_generic : object
method reload_operation :
(* *)
(***********************************************************************)
-(* $Id: schedgen.ml 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
(* Instruction scheduling *)
(* *)
(***********************************************************************)
-(* $Id: schedgen.mli 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
(* Instruction scheduling *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction scheduling *)
(* *)
(***********************************************************************)
-(* $Id: selectgen.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* Selection of pseudo-instructions, assignment of pseudo-registers,
sequentialization. *)
(* *)
(***********************************************************************)
-(* $Id: selectgen.mli 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
(* Selection of pseudo-instructions, assignment of pseudo-registers,
sequentialization. *)
(* *)
(***********************************************************************)
-(* $Id: selection.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Selection of pseudo-instructions, assignment of pseudo-registers,
sequentialization. *)
(* *)
(***********************************************************************)
-(* $Id: arch.ml 5303 2002-11-29 15:03:08Z xleroy $ *)
+(* $Id$ *)
(* Specific operations for the Sparc processor *)
(* *)
(***********************************************************************)
-(* $Id: emit.mlp 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
(* Emission of Sparc assembly code *)
(* *)
(***********************************************************************)
-(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Description of the Sparc processor *)
(* *)
(***********************************************************************)
-(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Reloading for the Sparc *)
(* *)
(***********************************************************************)
-(* $Id: scheduling.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Cmm
open Mach
(* *)
(***********************************************************************)
-(* $Id: selection.ml 10296 2010-04-22 12:51:06Z xleroy $ *)
+(* $Id$ *)
(* Instruction selection for the Sparc processor *)
(* *)
(***********************************************************************)
-(* $Id: spill.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Insertion of moves to suggest possible spilling / reloading points
before register allocation. *)
(* *)
(***********************************************************************)
-(* $Id: spill.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Insertion of moves to suggest possible spilling / reloading points
before register allocation. *)
(* *)
(***********************************************************************)
-(* $Id: split.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Renaming of registers at reload points to split live ranges. *)
(* *)
(***********************************************************************)
-(* $Id: split.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Renaming of registers at reload points to split live ranges. *)
# #
#########################################################################
-# $Id: Makefile 10287 2010-04-20 15:47:15Z doligez $
+# $Id$
include ../config/Makefile
# #
#########################################################################
-# $Id: Makefile.nt 10325 2010-04-28 12:00:27Z xleroy $
+# $Id$
include ../config/Makefile
/* */
/***********************************************************************/
-/* $Id: alpha.S 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Asm part of the runtime system, Alpha processor */
/* */
/***********************************************************************/
-/* $Id: amd64.S 10862 2010-11-27 17:19:24Z xleroy $ */
+/* $Id$ */
/* Asm part of the runtime system, AMD64 processor */
/* Must be preprocessed by cpp */
;
;*********************************************************************
-; $Id: amd64nt.asm 10862 2010-11-27 17:19:24Z xleroy $
+; $Id$
; Asm part of the runtime system, AMD64 processor, Intel syntax
/* */
/***********************************************************************/
-/* $Id: arm.S 9252 2009-05-04 13:46:46Z xleroy $ */
+/* $Id$ */
/* Asm part of the runtime system, ARM processor */
/* */
/***********************************************************************/
-/* $Id: backtrace.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Stack backtrace for uncaught exceptions */
/* */
/***********************************************************************/
-/* $Id: fail.c 9030 2008-09-18 11:23:28Z xleroy $ */
+/* $Id$ */
/* Raising exceptions from C. */
;* *
;*********************************************************************
-; $Id: hppa.S 9547 2010-01-22 12:48:24Z doligez $
+; $Id$
; Asm part of the runtime system for the HP PA-RISC processor.
; Must be preprocessed by cpp
/* */
/***********************************************************************/
-/* $Id: i386.S 8962 2008-08-01 08:04:57Z xleroy $ */
+/* $Id$ */
/* Asm part of the runtime system, Intel 386 processor */
/* Must be preprocessed by cpp */
;
;*********************************************************************
-; $Id: i386nt.asm 9547 2010-01-22 12:48:24Z doligez $
+; $Id$
; Asm part of the runtime system, Intel 386 processor, Intel syntax
/* */
/***********************************************************************/
-/* $Id: ia64.S 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Asm part of the runtime system, IA64 processor */
|* *
|***********************************************************************
-| $Id: m68k.S 6050 2004-01-03 12:51:20Z doligez $
+| $Id$
| Asm part of the runtime system, Motorola 68k processor
/* */
/***********************************************************************/
-/* $Id: mips.s 6552 2004-07-13 12:19:15Z xleroy $ */
+/* $Id$ */
/* Asm part of the runtime system, Mips processor, IRIX n32 conventions */
#* *
#*********************************************************************
-# $Id: power-aix.S 6050 2004-01-03 12:51:20Z doligez $
+# $Id$
.csect .text[PR]
/* */
/*********************************************************************/
-/* $Id: power-elf.S 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#define Addrglobal(reg,glob) \
addis reg, 0, glob@ha; \
/* */
/*********************************************************************/
-/* $Id: power-rhapsody.S 7812 2007-01-29 12:11:18Z xleroy $ */
+/* $Id$ */
#ifdef __ppc64__
#define X(a,b) b
/* */
/***********************************************************************/
-/* $Id: roots.c 10315 2010-04-27 07:55:08Z xleroy $ */
+/* $Id$ */
/* To walk the memory roots for garbage collection */
/* */
/***********************************************************************/
-/* $Id: signals_asm.c 8768 2008-01-11 16:13:18Z doligez $ */
+/* $Id$ */
/* Signal handling, code specific to the native-code compiler */
/* */
/***********************************************************************/
-/* $Id: signals_osdep.h 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
/* Processor- and OS-dependent signal interface */
/* */
/***********************************************************************/
-/* $Id: sparc.S 6631 2004-10-06 06:33:25Z garrigue $ */
+/* $Id$ */
/* Asm part of the runtime system for the Sparc processor. */
/* Must be preprocessed by cpp */
/* */
/***********************************************************************/
-/* $Id: stack.h 10315 2010-04-27 07:55:08Z xleroy $ */
+/* $Id$ */
/* Machine-dependent interface with the asm code */
/* */
/***********************************************************************/
-/* $Id: startup.c 10315 2010-04-27 07:55:08Z xleroy $ */
+/* $Id$ */
/* Start-up code */
#!/bin/sh
-# $Id: boot.sh 10956 2011-02-21 15:09:49Z xclerc $
+# $Id$
cd `dirname $0`/..
set -ex
TAG_LINE='true: -use_stdlib'
# #
#########################################################################
-# $Id: camlp4-byte-only.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
#!/bin/sh
-# $Id: camlp4-mkCamlp4Ast.sh 11040 2011-05-13 08:37:04Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
# #
#########################################################################
-# $Id: camlp4-native-only.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
#!/bin/sh
-# $Id: camlp4-targets.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
CAMLP4_COMMON="\
camlp4/Camlp4/Camlp4Ast.partial.ml \
camlp4/boot/camlp4boot.byte"
# #
#########################################################################
-# $Id: distclean.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
cd `dirname $0`/..
set -ex
# #
#########################################################################
-# $Id: fastworld.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
cd `dirname $0`
set -e
# #
#########################################################################
-# $Id: install.sh 10856 2010-11-25 13:57:43Z xclerc $
+# $Id$
set -e
# #
#########################################################################
-# $Id: mkmyocamlbuild_config.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
cd `dirname $0`/..
#!/bin/sh
-# $Id: mkruntimedef.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
echo 'let builtin_exceptions = [|'; \
sed -n -e 's|.*/\* \("[A-Za-z_]*"\) \*/$| \1;|p' byterun/fail.h | \
sed -e '$s/;$//'; \
# #
#########################################################################
-# $Id: myocamlbuild.sh 10449 2010-05-21 11:48:35Z doligez $
+# $Id$
cd `dirname $0`/..
set -xe
# #
#########################################################################
-# $Id: ocamlbuild-byte-only.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
# #
#########################################################################
-# $Id: ocamlbuild-native-only.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
# #
#########################################################################
-# $Id: ocamlbuildlib-native-only.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
# #
#########################################################################
-# $Id: otherlibs-targets.sh 11041 2011-05-13 08:40:05Z doligez $
+# $Id$
OTHERLIBS_BYTE=""
OTHERLIBS_NATIVE=""
# #
#########################################################################
-# $Id: partial-install.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
######################################
######### Copied from build/install.sh
# #
#########################################################################
-# $Id: targets.sh 10856 2010-11-25 13:57:43Z xclerc $
+# $Id$
. config/config.sh
. build/otherlibs-targets.sh
#!/bin/sh
-# $Id: world.all.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
. build/targets.sh
#!/bin/sh
-# $Id: world.byte.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
. build/targets.sh
#!/bin/sh
-# $Id: world.native.sh 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
set -e
cd `dirname $0`/..
. build/targets.sh
(* *)
(***********************************************************************)
-(* $Id: bytegen.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* bytegen.ml : translation of lambda terms to lists of instructions. *)
(* *)
(***********************************************************************)
-(* $Id: bytegen.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Generation of bytecode from lambda terms *)
(* *)
(***********************************************************************)
-(* $Id: bytelibrarian.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Build libraries of .cmo files *)
(* *)
(***********************************************************************)
-(* $Id: bytelibrarian.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
(* Build libraries of .cmo files *)
(* *)
(***********************************************************************)
-(* $Id: bytelink.ml 10695 2010-09-29 16:46:54Z doligez $ *)
+(* $Id$ *)
(* Link a set of .cmo files and produce a bytecode executable. *)
(* *)
(***********************************************************************)
-(* $Id: bytelink.mli 7422 2006-05-11 15:50:53Z xleroy $ *)
+(* $Id$ *)
(* Link .cmo files and produce a bytecode executable. *)
(* *)
(***********************************************************************)
-(* $Id: bytepackager.ml 11083 2011-06-11 07:24:12Z xleroy $ *)
+(* $Id$ *)
(* "Package" a set of .cmo files into one .cmo file having the
original compilation units as sub-modules. *)
(* *)
(***********************************************************************)
-(* $Id: bytepackager.mli 4367 2002-02-08 16:55:44Z xleroy $ *)
+(* $Id$ *)
(* "Package" a set of .cmo files into one .cmo file having the
original compilation units as sub-modules. *)
(* *)
(***********************************************************************)
-(* $Id: bytesections.ml 6130 2004-02-22 15:07:51Z xleroy $ *)
+(* $Id$ *)
(* Handling of sections in bytecode executable files *)
(* *)
(***********************************************************************)
-(* $Id: bytesections.mli 6130 2004-02-22 15:07:51Z xleroy $ *)
+(* $Id$ *)
(* Handling of sections in bytecode executable files *)
(* *)
(***********************************************************************)
-(* $Id: cmo_format.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Symbol table information for .cmo and .cma files *)
(* *)
(***********************************************************************)
-(* $Id: dll.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Handling of dynamically-linked libraries *)
(* *)
(***********************************************************************)
-(* $Id: dll.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Handling of dynamically-linked libraries *)
(* *)
(***********************************************************************)
-(* $Id: emitcode.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Generation of bytecode + relocation information *)
(* *)
(***********************************************************************)
-(* $Id: emitcode.mli 7422 2006-05-11 15:50:53Z xleroy $ *)
+(* $Id$ *)
(* Generation of bytecode for .cmo files *)
(* *)
(***********************************************************************)
-(* $Id: instruct.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
open Lambda
(* *)
(***********************************************************************)
-(* $Id: instruct.mli 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(* The type of the instructions of the abstract machine *)
(* *)
(***********************************************************************)
-(* $Id: lambda.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
open Misc
open Path
(* *)
(***********************************************************************)
-(* $Id: lambda.mli 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* The "lambda" intermediate code *)
(* *)
(***********************************************************************)
-(* $Id: matching.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Compilation of pattern matching *)
(* *)
(***********************************************************************)
-(* $Id: matching.mli 8974 2008-08-01 16:57:10Z mauny $ *)
+(* $Id$ *)
(* Compilation of pattern-matching *)
(* *)
(***********************************************************************)
-(* $Id: meta.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
external global_data : unit -> Obj.t array = "caml_get_global_data"
external realloc_global_data : int -> unit = "caml_realloc_global"
(* *)
(***********************************************************************)
-(* $Id: meta.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* To control the runtime system and bytecode interpreter *)
(* *)
(***********************************************************************)
-(* $Id: printinstr.ml 7031 2005-08-25 15:35:16Z doligez $ *)
+(* $Id$ *)
(* Pretty-print lists of instructions *)
(* *)
(***********************************************************************)
-(* $Id: printinstr.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
(* Pretty-print lists of instructions *)
(* *)
(***********************************************************************)
-(* $Id: printlambda.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
open Format
open Asttypes
(* *)
(***********************************************************************)
-(* $Id: printlambda.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
open Lambda
(* *)
(***********************************************************************)
-(* $Id: runtimedef.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Values and functions known and/or provided by the runtime system *)
(* *)
(***********************************************************************)
-(* $Id: simplif.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* Elimination of useless Llet(Alias) bindings.
Also transform let-bound references into variables. *)
(* *)
(***********************************************************************)
-(* $Id: simplif.mli 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* Elimination of useless Llet(Alias) bindings.
Transformation of let-bound references into variables.
(* *)
(***********************************************************************)
-(* $Id: symtable.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* To assign numbers to globals and primitives *)
(* *)
(***********************************************************************)
-(* $Id: symtable.mli 7422 2006-05-11 15:50:53Z xleroy $ *)
+(* $Id$ *)
(* Assign locations and numbers to globals and primitives *)
(* *)
(***********************************************************************)
-(* $Id: translclass.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
open Misc
open Asttypes
(* *)
(***********************************************************************)
-(* $Id: translclass.mli 7372 2006-04-05 02:28:13Z garrigue $ *)
+(* $Id$ *)
open Typedtree
open Lambda
(* *)
(***********************************************************************)
-(* $Id: translcore.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
+(* $Id$ *)
(* Translation from typed abstract syntax to lambda terms,
for the core language *)
(* *)
(***********************************************************************)
-(* $Id: translcore.mli 8232 2007-05-16 08:21:41Z doligez $ *)
+(* $Id$ *)
(* Translation from typed abstract syntax to lambda terms,
for the core language *)
(* *)
(***********************************************************************)
-(* $Id: translmod.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Translation from typed abstract syntax to lambda terms,
for the module language *)
(* *)
(***********************************************************************)
-(* $Id: translmod.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Translation from typed abstract syntax to lambda terms,
for the module language *)
(* *)
(***********************************************************************)
-(* $Id: translobj.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Misc
open Primitive
(* *)
(***********************************************************************)
-(* $Id: translobj.mli 9153 2008-12-03 18:09:09Z doligez $ *)
+(* $Id$ *)
open Lambda
(* *)
(***********************************************************************)
-(* $Id: typeopt.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Auxiliaries for type-based optimizations, e.g. array kinds *)
(* *)
(***********************************************************************)
-(* $Id: typeopt.mli 2873 2000-02-28 15:45:50Z xleroy $ *)
+(* $Id$ *)
(* Auxiliaries for type-based optimizations, e.g. array kinds *)
# #
#########################################################################
-# $Id: Makefile 10638 2010-07-28 13:19:44Z doligez $
+# $Id$
include Makefile.common
# #
#########################################################################
-# $Id: Makefile.common 10448 2010-05-21 11:28:21Z doligez $
+# $Id$
include ../config/Makefile
# #
#########################################################################
-# $Id: Makefile.nt 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
include Makefile.common
/* */
/***********************************************************************/
-/* $Id: alloc.c 7849 2007-02-09 13:31:15Z doligez $ */
+/* $Id$ */
/* 1. Allocation functions doing the same work as the macros in the
case where [Setup_for_gc] and [Restore_after_gc] are no-ops.
/* */
/***********************************************************************/
-/* $Id: alloc.h 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
#ifndef CAML_ALLOC_H
#define CAML_ALLOC_H
/* */
/***********************************************************************/
-/* $Id: array.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Operations on arrays */
/* */
/***********************************************************************/
-/* $Id: backtrace.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Stack backtrace for uncaught exceptions */
/* */
/***********************************************************************/
-/* $Id: backtrace.h 9540 2010-01-20 16:26:46Z doligez $ */
+/* $Id$ */
#ifndef CAML_BACKTRACE_H
#define CAML_BACKTRACE_H
/* */
/***********************************************************************/
-/* $Id: callback.c 7596 2006-09-11 12:12:24Z doligez $ */
+/* $Id$ */
/* Callbacks from C to Caml */
/* */
/***********************************************************************/
-/* $Id: callback.h 7596 2006-09-11 12:12:24Z doligez $ */
+/* $Id$ */
/* Callbacks from C to Caml */
/* */
/***********************************************************************/
-/* $Id: compact.c 8822 2008-02-29 12:56:15Z doligez $ */
+/* $Id$ */
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: compact.h 6044 2003-12-31 14:20:40Z doligez $ */
+/* $Id$ */
#ifndef CAML_COMPACT_H
#define CAML_COMPACT_H
/* */
/***********************************************************************/
-/* $Id: compare.c 11037 2011-05-12 14:34:05Z xleroy $ */
+/* $Id$ */
#include <string.h>
#include <stdlib.h>
/* */
/***********************************************************************/
-/* $Id: compare.h 6044 2003-12-31 14:20:40Z doligez $ */
+/* $Id$ */
#ifndef CAML_COMPARE_H
#define CAML_COMPARE_H
/* */
/***********************************************************************/
-/* $Id: compatibility.h 8953 2008-07-28 11:59:55Z doligez $ */
+/* $Id$ */
/* definitions for compatibility with old identifiers */
/* */
/***********************************************************************/
-/* $Id: config.h 10787 2010-11-10 15:47:34Z doligez $ */
+/* $Id$ */
#ifndef CAML_CONFIG_H
#define CAML_CONFIG_H
/* */
/***********************************************************************/
-/* $Id: custom.c 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: custom.h 11037 2011-05-12 14:34:05Z xleroy $ */
+/* $Id$ */
#ifndef CAML_CUSTOM_H
#define CAML_CUSTOM_H
/* */
/***********************************************************************/
-/* $Id: debugger.c 10287 2010-04-20 15:47:15Z doligez $ */
+/* $Id$ */
/* Interface with the byte-code debugger */
/* */
/***********************************************************************/
-/* $Id: debugger.h 10287 2010-04-20 15:47:15Z doligez $ */
+/* $Id$ */
/* Interface with the debugger */
/* */
/***********************************************************************/
-/* $Id: dynlink.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Dynamic loading of C primitives. */
/* */
/***********************************************************************/
-/* $Id: dynlink.h 6130 2004-02-22 15:07:51Z xleroy $ */
+/* $Id$ */
/* Dynamic loading of C primitives. */
/* */
/***********************************************************************/
-/* $Id: exec.h 6359 2004-06-01 12:36:34Z xleroy $ */
+/* $Id$ */
/* exec.h : format of executable bytecode files */
/* */
/***********************************************************************/
-/* $Id: extern.c 8978 2008-08-04 11:45:58Z xleroy $ */
+/* $Id$ */
/* Structured output */
/* */
/***********************************************************************/
-/* $Id: fail.c 10793 2010-11-11 11:07:48Z xleroy $ */
+/* $Id$ */
/* Raising exceptions from C. */
/* */
/***********************************************************************/
-/* $Id: fail.h 9030 2008-09-18 11:23:28Z xleroy $ */
+/* $Id$ */
#ifndef CAML_FAIL_H
#define CAML_FAIL_H
/* */
/***********************************************************************/
-/* $Id: finalise.c 10393 2010-05-12 14:32:23Z doligez $ */
+/* $Id$ */
/* Handling of finalised values. */
/* */
/***********************************************************************/
-/* $Id: finalise.h 6047 2004-01-02 19:23:29Z doligez $ */
+/* $Id$ */
#ifndef CAML_FINALISE_H
#define CAML_FINALISE_H
/* */
/***********************************************************************/
-/* $Id: fix_code.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Handling of blocks of bytecode (endianness switch, threading). */
/* */
/***********************************************************************/
-/* $Id: fix_code.h 6047 2004-01-02 19:23:29Z doligez $ */
+/* $Id$ */
/* Handling of blocks of bytecode (endianness switch, threading). */
/* */
/***********************************************************************/
-/* $Id: floats.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The interface of this file is in "mlvalues.h" and "alloc.h" */
/* */
/***********************************************************************/
-/* $Id: freelist.c 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
#define FREELIST_DEBUG 0
#if FREELIST_DEBUG
/* */
/***********************************************************************/
-/* $Id: freelist.h 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
/* Free lists of heap blocks. */
/* */
/***********************************************************************/
-/* $Id: gc.h 6557 2004-07-19 13:20:06Z xleroy $ */
+/* $Id$ */
#ifndef CAML_GC_H
#define CAML_GC_H
/* */
/***********************************************************************/
-/* $Id: gc_ctrl.c 10786 2010-11-10 15:46:16Z doligez $ */
+/* $Id$ */
#include "alloc.h"
#include "compact.h"
/* */
/***********************************************************************/
-/* $Id: gc_ctrl.h 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
#ifndef CAML_GC_CTRL_H
#define CAML_GC_CTRL_H
/* */
/***********************************************************************/
-/* $Id: globroots.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Registration of global memory roots */
/* */
/***********************************************************************/
-/* $Id: globroots.h 8828 2008-03-10 19:56:39Z xleroy $ */
+/* $Id$ */
/* Registration of global memory roots */
/* */
/***********************************************************************/
-/* $Id: hash.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The generic hashing primitive */
/* */
/***********************************************************************/
-/* $Id: instrtrace.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Trace the instructions executed */
/* */
/***********************************************************************/
-/* $Id: instrtrace.h 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
/* Trace the instructions executed */
/* */
/***********************************************************************/
-/* $Id: instruct.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The instruction set. */
/* */
/***********************************************************************/
-/* $Id: int64_emul.h 10217 2010-03-29 11:29:24Z xleroy $ */
+/* $Id$ */
/* Software emulation of 64-bit integer arithmetic, for C compilers
that do not support it. */
/* */
/***********************************************************************/
-/* $Id: int64_format.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* printf-like formatting of 64-bit integers, in case the C library
printf() function does not support them. */
/* */
/***********************************************************************/
-/* $Id: int64_native.h 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
/* Wrapper macros around native 64-bit integer arithmetic,
so that it has the same interface as the software emulation
/* */
/***********************************************************************/
-/* $Id: intern.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Structured input, compact format */
/* */
/***********************************************************************/
-/* $Id: interp.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The bytecode interpreter */
#include <stdio.h>
/* */
/***********************************************************************/
-/* $Id: interp.h 6257 2004-04-26 14:08:22Z basile $ */
+/* $Id$ */
/* The bytecode interpreter */
/* */
/***********************************************************************/
-/* $Id: intext.h 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
/* Structured input/output */
/* */
/***********************************************************************/
-/* $Id: ints.c 11037 2011-05-12 14:34:05Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: io.c 10300 2010-04-23 07:58:59Z shinwell $ */
+/* $Id$ */
/* Buffered input/output. */
/* */
/***********************************************************************/
-/* $Id: io.h 9041 2008-09-27 21:16:29Z weis $ */
+/* $Id$ */
/* Buffered input/output */
/* */
/***********************************************************************/
-/* $Id: lexing.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The table-driven automaton for lexers generated by camllex. */
/* */
/***********************************************************************/
-/* $Id: main.c 8822 2008-02-29 12:56:15Z doligez $ */
+/* $Id$ */
/* Main entry point (can be overridden by a user-provided main()
function that calls caml_main() later). */
/* */
/***********************************************************************/
-/* $Id: major_gc.c 9410 2009-11-04 12:25:47Z doligez $ */
+/* $Id$ */
#include <limits.h>
/* */
/***********************************************************************/
-/* $Id: major_gc.h 10843 2010-11-22 15:32:07Z doligez $ */
+/* $Id$ */
#ifndef CAML_MAJOR_GC_H
#define CAML_MAJOR_GC_H
/* */
/***********************************************************************/
-/* $Id: md5.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <string.h>
#include "alloc.h"
/* */
/***********************************************************************/
-/* $Id: md5.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* MD5 message digest */
/* */
/***********************************************************************/
-/* $Id: memory.c 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
#include <stdlib.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: memory.h 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
/* Allocation macros and functions */
/* */
/***********************************************************************/
-/* $Id: meta.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Primitives for the toplevel */
/* */
/***********************************************************************/
-/* $Id: minor_gc.c 8954 2008-07-28 12:03:55Z doligez $ */
+/* $Id$ */
#include <string.h>
#include "config.h"
/* */
/***********************************************************************/
-/* $Id: minor_gc.h 8211 2007-05-04 14:05:13Z doligez $ */
+/* $Id$ */
#ifndef CAML_MINOR_GC_H
#define CAML_MINOR_GC_H
/* */
/***********************************************************************/
-/* $Id: misc.c 8822 2008-02-29 12:56:15Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include "config.h"
/* */
/***********************************************************************/
-/* $Id: misc.h 8822 2008-02-29 12:56:15Z doligez $ */
+/* $Id$ */
/* Miscellaneous macros and variables. */
/* */
/***********************************************************************/
-/* $Id: mlvalues.h 8970 2008-08-01 14:10:36Z xleroy $ */
+/* $Id$ */
#ifndef CAML_MLVALUES_H
#define CAML_MLVALUES_H
/* */
/***********************************************************************/
-/* $Id: obj.c 9561 2010-01-25 11:55:30Z doligez $ */
+/* $Id$ */
/* Operations on objects */
/* */
/***********************************************************************/
-/* $Id: osdeps.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Operating system - specific stuff */
/* */
/***********************************************************************/
-/* $Id: parsing.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The PDA automaton for parsers generated by camlyacc */
/* */
/***********************************************************************/
-/* $Id: prims.h 6130 2004-02-22 15:07:51Z xleroy $ */
+/* $Id$ */
/* Interface with C primitives. */
/* */
/***********************************************************************/
-/* $Id: printexc.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Print an uncaught exception and abort */
/* */
/***********************************************************************/
-/* $Id: printexc.h 6045 2004-01-01 16:42:43Z doligez $ */
+/* $Id$ */
#ifndef CAML_PRINTEXC_H
#define CAML_PRINTEXC_H
/* */
/***********************************************************************/
-/* $Id: reverse.h 6021 2003-12-15 18:10:51Z doligez $ */
+/* $Id$ */
/* Swap byte-order in 16, 32, and 64-bit integers or floats */
/* */
/***********************************************************************/
-/* $Id: roots.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* To walk the memory roots for garbage collection */
/* */
/***********************************************************************/
-/* $Id: roots.h 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
#ifndef CAML_ROOTS_H
#define CAML_ROOTS_H
/* */
/***********************************************************************/
-/* $Id: signals.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Signal handling, code common to the bytecode and native systems */
/* */
/***********************************************************************/
-/* $Id: signals.h 7904 2007-02-23 09:29:45Z xleroy $ */
+/* $Id$ */
#ifndef CAML_SIGNALS_H
#define CAML_SIGNALS_H
/* */
/***********************************************************************/
-/* $Id: signals_byt.c 7904 2007-02-23 09:29:45Z xleroy $ */
+/* $Id$ */
/* Signal handling, code specific to the bytecode interpreter */
/* */
/***********************************************************************/
-/* $Id: signals_machdep.h 7905 2007-02-23 09:43:14Z xleroy $ */
+/* $Id$ */
/* Processor-specific operation: atomic "read and clear" */
/* */
/***********************************************************************/
-/* $Id: stacks.c 10793 2010-11-11 11:07:48Z xleroy $ */
+/* $Id$ */
/* To initialize and resize the stacks */
/* */
/***********************************************************************/
-/* $Id: stacks.h 10315 2010-04-27 07:55:08Z xleroy $ */
+/* $Id$ */
/* structure of the stacks */
/* */
/***********************************************************************/
-/* $Id: startup.c 10668 2010-09-03 16:31:32Z doligez $ */
+/* $Id$ */
/* Start-up code */
/* */
/***********************************************************************/
-/* $Id: startup.h 6130 2004-02-22 15:07:51Z xleroy $ */
+/* $Id$ */
#ifndef CAML_STARTUP_H
#define CAML_STARTUP_H
/* */
/***********************************************************************/
-/* $Id: str.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Operations on strings */
/* */
/***********************************************************************/
-/* $Id: sys.c 11038 2011-05-12 15:12:14Z xleroy $ */
+/* $Id$ */
/* Basic system calls */
/* */
/***********************************************************************/
-/* $Id: sys.h 7919 2007-02-25 12:38:36Z xleroy $ */
+/* $Id$ */
#ifndef CAML_SYS_H
#define CAML_SYS_H
/* */
/***********************************************************************/
-/* $Id: terminfo.c 6045 2004-01-01 16:42:43Z doligez $ */
+/* $Id$ */
/* Read and output terminal commands */
/* */
/***********************************************************************/
-/* $Id: ui.h 6021 2003-12-15 18:10:51Z doligez $ */
+/* $Id$ */
/* Function declarations for non-Unix user interfaces */
/* */
/***********************************************************************/
-/* $Id: unix.c 10613 2010-07-02 08:44:04Z frisch $ */
+/* $Id$ */
/* Unix-specific stuff */
/* */
/***********************************************************************/
-/* $Id: weak.c 9028 2008-09-17 14:55:30Z doligez $ */
+/* $Id$ */
/* Operations on weak arrays */
/* */
/***********************************************************************/
-/* $Id: weak.h 6045 2004-01-01 16:42:43Z doligez $ */
+/* $Id$ */
/* Operations on weak arrays */
/* */
/***********************************************************************/
-/* $Id: win32.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Win32-specific stuff */
bootstrap: camlp4sch$(EXE) save
./camlp4sch$(EXE) ../../etc/q_phony.cmo ../../meta/pa_extend.cmo ../../etc/pr_r.cmo ../../etc/pr_extend.cmo ../../etc/pr_rp.cmo -impl pa_scheme.sc \
| sed -e 's/^;; \(.*\)$$/(* \1 *)/' -e 's/^; \(.*\)$$/(* \1 *)/' \
- -e 's/$$Id.*\$$/File generated by pretty print; do not edit!/' > pa_scheme.ml
+ -e 's/$$Id$/File generated by pretty print; do not edit!/' > pa_scheme.ml
@if cmp -s pa_scheme.ml SAVED/pa_scheme.ml; then \
echo 'pa_scheme.ml and SAVED/pa_scheme.ml are identical' ; \
else \
# #
#########################################################################
-# $Id: Makefile-templ 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
### Compile-time configuration
# #
#########################################################################
-# $Id: Makefile.mingw 10461 2010-05-25 10:00:39Z frisch $
+# $Id$
# Configuration for Windows, Mingw compiler
# #
#########################################################################
-# $Id: Makefile.msvc 10622 2010-07-07 12:04:32Z frisch $
+# $Id$
# Configuration for Windows, Visual C++ compiler
# #
#########################################################################
-# $Id: Makefile.msvc64 10622 2010-07-07 12:04:32Z frisch $
+# $Id$
# Configuration for Windows, Visual C++ compiler
/* */
/***********************************************************************/
-/* $Id: align.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <signal.h>
/* */
/***********************************************************************/
-/* $Id: async_io.c 5393 2003-02-11 14:05:36Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <fcntl.h>
/* */
/***********************************************************************/
-/* $Id: bytecopy.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
char buffer[27];
/* */
/***********************************************************************/
-/* $Id: dblalign.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <signal.h>
/* */
/***********************************************************************/
-/* $Id: divmod.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Test semantics of division and modulus for negative arguments */
/* */
/***********************************************************************/
-/* $Id: elf.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
/* */
/***********************************************************************/
-/* $Id: endian.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include "m.h"
/* */
/***********************************************************************/
-/* $Id: longlong.c 4833 2002-05-25 08:33:26Z xleroy $ */
+/* $Id$ */
#include <math.h>
/* */
/***********************************************************************/
-/* $Id: getgroups.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <sys/types.h>
#include <limits.h>
/* */
/***********************************************************************/
-/* $Id: gethostbyaddr.c 4771 2002-05-06 08:29:52Z xleroy $ */
+/* $Id$ */
#ifndef _REENTRANT
/* This helps detection on Digital Unix... */
/* */
/***********************************************************************/
-/* $Id: gethostbyname.c 4771 2002-05-06 08:29:52Z xleroy $ */
+/* $Id$ */
#ifndef _REENTRANT
/* This helps detection on Digital Unix... */
/* */
/***********************************************************************/
-/* $Id: ia32sse2.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
/* Test whether IA32 assembler supports SSE2 instructions */
/* Contributed by Stephane Glondu <steph@glondu.net> */
-/* $Id: initgroups.c 9220 2009-04-01 16:50:10Z xleroy $ */
+/* $Id$ */
#include <errno.h>
/* */
/***********************************************************************/
-/* $Id: int64align.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <signal.h>
/* */
/***********************************************************************/
-/* $Id: longlong.c 4833 2002-05-25 08:33:26Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: schar.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
char foo[]="\377";
/* */
/***********************************************************************/
-/* $Id: schar2.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
signed char foo[]="\377";
/* Contributed by Stephane Glondu <steph@glondu.net> */
-/* $Id: setgroups.c 9220 2009-04-01 16:50:10Z xleroy $ */
+/* $Id$ */
#include <errno.h>
/* */
/***********************************************************************/
-/* $Id: sighandler.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <signal.h>
/* */
/***********************************************************************/
-/* $Id: signals.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
/* To determine the semantics of signal handlers
(System V: signal is reset to default behavior on entrance to the handler
/* */
/***********************************************************************/
-/* $Id: sizes.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
/* */
/***********************************************************************/
-/* $Id: stackov.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <signal.h>
/* */
/***********************************************************************/
-/* $Id: m-nt.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Machine configuration, Intel x86 processors, Win32,
Visual C++ or Mingw compiler */
/* */
/***********************************************************************/
-/* $Id: m-templ.h 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
/* Processor dependencies */
/* */
/***********************************************************************/
-/* $Id: s-nt.h 4933 2002-06-18 13:01:53Z xleroy $ */
+/* $Id$ */
/* Operating system dependencies, Intel x86 processors, Windows NT */
/* */
/***********************************************************************/
-/* $Id: s-templ.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Operating system and standard library dependencies. */
# #
#########################################################################
-# $Id: configure 11110 2011-07-04 21:15:01Z doligez $
+# $Id$
configure_options="$*"
prefix=/usr/local
# #
#########################################################################
-# $Id: Makefile 8955 2008-07-29 08:31:41Z xleroy $
+# $Id$
UNIXDIR=../otherlibs/unix
include Makefile.shared
# #
#########################################################################
-# $Id: Makefile.nt 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
UNIXDIR=../otherlibs/win32unix
include Makefile.shared
# #
#########################################################################
-# $Id: Makefile.shared 10413 2010-05-17 15:49:53Z doligez $
+# $Id$
include ../config/Makefile
(* *)
(***********************************************************************)
-(* $Id: breakpoints.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(******************************* Breakpoints ***************************)
(* *)
(***********************************************************************)
-(* $Id: breakpoints.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(******************************* Breakpoints ***************************)
(* *)
(***********************************************************************)
-(* $Id: checkpoints.ml 5200 2002-10-29 17:53:24Z doligez $ *)
+(* $Id$ *)
(*************************** Checkpoints *******************************)
(* *)
(***********************************************************************)
-(* $Id: checkpoints.mli 5200 2002-10-29 17:53:24Z doligez $ *)
+(* $Id$ *)
(***************************** Checkpoints *****************************)
(* *)
(***********************************************************************)
-(* $Id: command_line.ml 10695 2010-09-29 16:46:54Z doligez $ *)
+(* $Id$ *)
(************************ Reading and executing commands ***************)
(* *)
(***********************************************************************)
-(* $Id: command_line.mli 2919 2000-03-07 18:22:19Z weis $ *)
+(* $Id$ *)
(************************ Reading and executing commands ***************)
(* *)
(***********************************************************************)
-(* $Id: debugcom.ml 10287 2010-04-20 15:47:15Z doligez $ *)
+(* $Id$ *)
(* Low-level communication with the debuggee *)
(* *)
(***********************************************************************)
-(* $Id: debugcom.mli 10287 2010-04-20 15:47:15Z doligez $ *)
+(* $Id$ *)
(* Low-level communication with the debuggee *)
(* *)
(***********************************************************************)
-(* $Id: debugger_config.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(**************************** Configuration file ***********************)
(* *)
(***********************************************************************)
-(* $Id: debugger_config.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(********************** Configuration file *****************************)
(* *)
(***********************************************************************)
-(* $Id: envaux.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Misc
open Types
(* *)
(***********************************************************************)
-(* $Id: envaux.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: eval.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Misc
open Path
(* *)
(***********************************************************************)
-(* $Id: eval.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
open Types
open Parser_aux
(* *)
(***********************************************************************)
-(* $Id: events.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(********************************* Events ******************************)
(* *)
(***********************************************************************)
-(* $Id: events.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Instruct
(* *)
(***********************************************************************)
-(* $Id: exec.ml 8955 2008-07-29 08:31:41Z xleroy $ *)
+(* $Id$ *)
(* Handling of keyboard interrupts *)
(* *)
(***********************************************************************)
-(* $Id: exec.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* Handling of keyboard interrupts *)
(* *)
(***********************************************************************)
-(* $Id: frames.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(***************************** Frames **********************************)
(* *)
(***********************************************************************)
-(* $Id: frames.mli 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
(****************************** Frames *********************************)
(* *)
(***********************************************************************)
-(* $Id: history.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
open Int64ops
open Checkpoints
(* *)
(***********************************************************************)
-(* $Id: history.mli 5200 2002-10-29 17:53:24Z doligez $ *)
+(* $Id$ *)
val empty_history : unit -> unit
(* *)
(***********************************************************************)
-(* $Id: input_handling.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(**************************** Input control ****************************)
(* *)
(***********************************************************************)
-(* $Id: input_handling.mli 7767 2006-12-09 13:49:10Z ertai $ *)
+(* $Id$ *)
(***************************** Input control ***************************)
(* *)
(***********************************************************************)
-(* $Id: int64ops.ml 5200 2002-10-29 17:53:24Z doligez $ *)
+(* $Id$ *)
(****************** arithmetic operators for Int64 *********************)
(* *)
(***********************************************************************)
-(* $Id: int64ops.mli 5200 2002-10-29 17:53:24Z doligez $ *)
+(* $Id$ *)
(****************** arithmetic operators for Int64 *********************)
(* *)
(***********************************************************************)
-(* $Id: lexer.mli 6394 2004-06-13 12:46:11Z xleroy $ *)
+(* $Id$ *)
val line: Lexing.lexbuf -> string
val lexeme: Lexing.lexbuf -> Parser.token
(* *)
(***********************************************************************)
-(* $Id: lexer.mll 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
{
(* *)
(***********************************************************************)
-(* $Id: loadprinter.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Loading and installation of user-defined printer functions *)
(* *)
(***********************************************************************)
-(* $Id: loadprinter.mli 2919 2000-03-07 18:22:19Z weis $ *)
+(* $Id$ *)
(* Loading and installation of user-defined printer functions *)
(* *)
(***********************************************************************)
-(* $Id: main.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Input_handling
open Question
(* *)
(***********************************************************************)
-(* $Id: parameters.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(* Miscellaneous parameters *)
(* *)
(***********************************************************************)
-(* $Id: parameters.mli 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(* Miscellaneous parameters *)
/* */
/***********************************************************************/
-/* $Id: parser.mly 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
%{
(* *)
(***********************************************************************)
-(* $Id: parser_aux.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(*open Globals*)
(* *)
(***********************************************************************)
-(* $Id: pattern_matching.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(************************ Simple pattern matching **********************)
(* *)
(***********************************************************************)
-(* $Id: pattern_matching.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(************************ Simple pattern matching **********************)
(* *)
(***********************************************************************)
-(* $Id: pos.ml 7767 2006-12-09 13:49:10Z ertai $ *)
+(* $Id$ *)
open Instruct;;
open Lexing;;
(* *)
(***********************************************************************)
-(* $Id: pos.mli 5966 2003-11-21 16:10:57Z doligez $ *)
+(* $Id$ *)
val get_desc : Instruct.debug_event -> string;;
(* *)
(***********************************************************************)
-(* $Id: primitives.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(*********************** Basic functions and types *********************)
(* *)
(***********************************************************************)
-(* $Id: primitives.mli 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(********************* Basic functions and types ***********************)
(* *)
(***********************************************************************)
-(* $Id: printval.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* To print values *)
(* *)
(***********************************************************************)
-(* $Id: printval.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: program_loading.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(* Program loading *)
(* *)
(***********************************************************************)
-(* $Id: program_loading.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(*** Debugging. ***)
(* *)
(***********************************************************************)
-(* $Id: program_management.ml 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
(* Manage the loading of the program *)
(* *)
(***********************************************************************)
-(* $Id: program_management.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(*** Program loading and initializations. ***)
(* *)
(***********************************************************************)
-(* $Id: show_information.ml 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
open Instruct
open Format
(* *)
(***********************************************************************)
-(* $Id: show_information.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
open Format;;
(* *)
(***********************************************************************)
-(* $Id: show_source.ml 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
open Debugger_config
open Instruct
(* *)
(***********************************************************************)
-(* $Id: show_source.mli 7767 2006-12-09 13:49:10Z ertai $ *)
+(* $Id$ *)
(* Print the line containing the point *)
val show_point : Instruct.debug_event -> bool -> unit;;
(* *)
(***********************************************************************)
-(* $Id: source.ml 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
(************************ Source management ****************************)
(* *)
(***********************************************************************)
-(* $Id: source.mli 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
(************************ Source management ****************************)
(* *)
(***********************************************************************)
-(* $Id: symbols.ml 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
(* Handling of symbol tables (globals and events) *)
(* *)
(***********************************************************************)
-(* $Id: symbols.mli 7031 2005-08-25 15:35:16Z doligez $ *)
+(* $Id$ *)
(* Modules used by the program. *)
val modules : string list ref
(* *)
(***********************************************************************)
-(* $Id: time_travel.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(**************************** Time travel ******************************)
(* *)
(***********************************************************************)
-(* $Id: time_travel.mli 7745 2006-11-20 10:29:45Z ertai $ *)
+(* $Id$ *)
(**************************** Time travel ******************************)
(* *)
(***********************************************************************)
-(* $Id: trap_barrier.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(************************** Trap barrier *******************************)
(* *)
(***********************************************************************)
-(* $Id: trap_barrier.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(************************* Trap barrier ********************************)
(* *)
(***********************************************************************)
-(* $Id: unix_tools.ml 9270 2009-05-20 11:52:42Z doligez $ *)
+(* $Id$ *)
(****************** Tools for Unix *************************************)
(* *)
(***********************************************************************)
-(* $Id: unix_tools.mli 5232 2002-11-02 22:36:46Z doligez $ *)
+(* $Id$ *)
(**************************** Tools for Unix ***************************)
(* *)
(***********************************************************************)
-(* $Id: compile.ml 9074 2008-10-06 13:53:54Z doligez $ *)
+(* $Id$ *)
(* The batch compiler *)
(* *)
(***********************************************************************)
-(* $Id: compile.mli 6395 2004-06-13 12:46:41Z xleroy $ *)
+(* $Id$ *)
(* Compile a .ml or .mli file *)
(* *)
(***********************************************************************)
-(* $Id: errors.ml 8705 2007-12-04 13:38:58Z doligez $ *)
+(* $Id$ *)
(* WARNING: if you change something in this file, you must look at
opterrors.ml and ocamldoc/odoc_analyse.ml
(* *)
(***********************************************************************)
-(* $Id: errors.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
(* Error report *)
open Format
(* *)
(***********************************************************************)
-(* $Id: main.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Config
open Clflags
(* *)
(***********************************************************************)
-(* $Id: main.mli 2740 2000-01-07 16:03:04Z doligez $ *)
+(* $Id$ *)
(*
this "empty" file is here to speed up garbage collection in ocamlc.opt
(* *)
(***********************************************************************)
-(* $Id: main_args.ml 10621 2010-07-06 14:05:26Z maranget $ *)
+(* $Id$ *)
let mk_a f =
"-a", Arg.Unit f, " Build a library"
(* *)
(***********************************************************************)
-(* $Id: main_args.mli 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
module type Bytecomp_options =
sig
(* *)
(***********************************************************************)
-(* $Id: optcompile.ml 9153 2008-12-03 18:09:09Z doligez $ *)
+(* $Id$ *)
(* The batch compiler *)
(* *)
(***********************************************************************)
-(* $Id: optcompile.mli 6395 2004-06-13 12:46:41Z xleroy $ *)
+(* $Id$ *)
(* Compile a .ml or .mli file *)
(* *)
(***********************************************************************)
-(* $Id: opterrors.ml 8705 2007-12-04 13:38:58Z doligez $ *)
+(* $Id$ *)
(* WARNING: if you change something in this file, you must look at
errors.ml to see if you need to make the same changes there.
(* *)
(***********************************************************************)
-(* $Id: opterrors.mli 2910 2000-03-07 05:02:33Z garrigue $ *)
+(* $Id$ *)
(* Error report *)
(* *)
(***********************************************************************)
-(* $Id: optmain.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Config
open Clflags
(* *)
(***********************************************************************)
-(* $Id: optmain.mli 2740 2000-01-07 16:03:04Z doligez $ *)
+(* $Id$ *)
(*
this "empty" file is here to speed up garbage collection in ocamlopt.opt
(* *)
(***********************************************************************)
-(* $Id: pparse.ml 6415 2004-06-16 16:58:46Z doligez $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: pparse.mli 4365 2002-02-08 10:14:31Z ddr $ *)
+(* $Id$ *)
open Format
# #
#########################################################################
-# $Id: Makefile 10661 2010-08-30 10:16:22Z doligez $
+# $Id$
include ../config/Makefile
;(* *)
;(***********************************************************************)
-;(* $Id: caml-compat.el 9547 2010-01-22 12:48:24Z doligez $ *)
+;(* $Id$ *)
;; function definitions for old versions of emacs
;(* *)
;(***********************************************************************)
-;(* $Id: caml-emacs.el 10662 2010-08-30 15:15:33Z doligez $ *)
+;(* $Id$ *)
;; for caml-help.el
(defalias 'caml-info-other-window 'info-other-window)
;(* *)
;(***********************************************************************)
-;(* $Id: caml-font-old.el 9547 2010-01-22 12:48:24Z doligez $ *)
+;(* $Id$ *)
;; useful colors
;(* *)
;(***********************************************************************)
-;(* $Id: caml-help.el 10323 2010-04-28 11:11:07Z remy $ *)
+;(* $Id$ *)
;; caml-info.el --- contextual completion and help to caml-mode
;(* *)
;(***********************************************************************)
-;(* $Id: caml-hilit.el 6612 2004-08-20 17:04:35Z doligez $ *)
+;(* $Id$ *)
; Highlighting patterns for hilit19 under caml-mode
;(* *)
;(***********************************************************************)
-;(* $Id: caml-types.el 10661 2010-08-30 10:16:22Z doligez $ *)
+;(* $Id$ *)
; An emacs-lisp complement to the "-annot" option of ocamlc and ocamlopt.
;(* *)
;(***********************************************************************)
-;(* $Id: caml-xemacs.el 10662 2010-08-30 15:15:33Z doligez $ *)
+;(* $Id$ *)
(require 'overlay)
;(* *)
;(***********************************************************************)
-;(* $Id: caml.el 11055 2011-05-20 07:40:01Z garrigue $ *)
+;(* $Id$ *)
;;; caml.el --- O'Caml code editing commands for Emacs
;(* *)
;(***********************************************************************)
-;(* $Id: camldebug.el 10661 2010-08-30 10:16:22Z doligez $ *)
+;(* $Id$ *)
;;; Run camldebug under Emacs
;;; Derived from gdb.el.
;(* *)
;(***********************************************************************)
-;(* $Id: inf-caml.el 11027 2011-05-05 11:28:57Z doligez $ *)
+;(* $Id$ *)
;;; inf-caml.el --- run the Caml toplevel in an Emacs buffer
;(* *)
;(***********************************************************************)
-;(* $Id: ocamltags.in 6612 2004-08-20 17:04:35Z doligez $ *)
+;(* $Id$ *)
;; Copyright (C) 1998 Ian Zimmerman <itz@transbay.net>
;; This program is free software; you can redistribute it and/or
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;; General Public License for more details.
-;; $Id: ocamltags.in 6612 2004-08-20 17:04:35Z doligez $
+;; $Id$
(require 'caml)
# #
#########################################################################
-# $Id: Makefile 9467 2009-12-09 09:52:47Z weis $
+# $Id$
# The lexer generator
CAMLC=../boot/ocamlrun ../boot/ocamlc -strict-sequence -nostdlib -I ../boot
# #
#########################################################################
-# $Id: Makefile.nt 9540 2010-01-20 16:26:46Z doligez $
+# $Id$
# The lexer generator
(* *)
(***********************************************************************)
-(* $Id: compact.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Compaction of an automata *)
(* *)
(***********************************************************************)
-(* $Id: compact.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Compaction of an automata *)
type lex_tables =
(* *)
(***********************************************************************)
-(* $Id: cset.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
exception Bad
(* *)
(***********************************************************************)
-(* $Id: cset.mli 10268 2010-04-18 09:02:40Z xleroy $ *)
+(* $Id$ *)
(* Set of characters encoded as list of intervals *)
(* *)
(***********************************************************************)
-(* $Id: lexer.mli 6244 2004-04-21 23:26:06Z doligez $ *)
+(* $Id$ *)
val main: Lexing.lexbuf -> Parser.token
(* *)
(***********************************************************************)
-(* $Id: lexer.mll 7307 2006-01-04 16:55:50Z doligez $ *)
+(* $Id$ *)
(* The lexical analyzer for lexer definitions. Bootstrapped! *)
(* *)
(***********************************************************************)
-(* $Id: lexgen.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Compiling a lexer definition *)
(* *)
(***********************************************************************)
-(* $Id: lexgen.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* raised when there are too many bindings (>= 254 memory cells) *)
(* *)
(***********************************************************************)
-(* $Id: main.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
(* The lexer generator. Command-line parsing. *)
(* *)
(***********************************************************************)
-(* $Id: output.ml 10695 2010-09-29 16:46:54Z doligez $ *)
+(* $Id$ *)
(* Output the DFA tables and its entry points *)
(* *)
(***********************************************************************)
-(* $Id: output.mli 5323 2002-12-09 10:44:46Z maranget $ *)
+(* $Id$ *)
(* Output the DFA tables and its entry points *)
(* *)
(***********************************************************************)
-(* $Id: outputbis.ml 10695 2010-09-29 16:46:54Z doligez $ *)
+(* $Id$ *)
(* Output the DFA tables and its entry points *)
(* *)
(***********************************************************************)
-(* $Id: outputbis.mli 5323 2002-12-09 10:44:46Z maranget $ *)
+(* $Id$ *)
val output_lexdef :
string ->
in_channel ->
/* */
/***********************************************************************/
-/* $Id: parser.mly 10271 2010-04-19 12:25:06Z maranget $ */
+/* $Id$ */
/* The grammar for lexer definitions */
(* *)
(***********************************************************************)
-(* $Id: syntax.ml 7815 2007-01-29 16:44:16Z maranget $ *)
+(* $Id$ *)
(* This apparently useless implmentation file is in fact required
by the pa_ocamllex syntax extension *)
(* *)
(***********************************************************************)
-(* $Id: syntax.mli 7815 2007-01-29 16:44:16Z maranget $ *)
+(* $Id$ *)
(* The shallow abstract syntax *)
# #
#########################################################################
-# $Id: Makefile 4733 2002-04-24 09:09:35Z xleroy $
+# $Id$
include ../config/Makefile
-\" $Id: ocaml.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAML 1
-\" $Id: ocamlc.m 10450 2010-05-21 12:00:49Z doligez $
+\" $Id$
.TH OCAMLC 1
-\" $Id: ocamlcp.m 9025 2008-09-15 14:05:30Z doligez $
+\" $Id$
.TH OCAMLCP 1
-\" $Id: ocamldebug.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLDEBUG 1
-\" $Id: ocamldep.m 10914 2011-01-04 10:33:49Z xclerc $
+\" $Id$
.TH OCAMLDEP 1
-\" $Id: ocamldoc.m 10450 2010-05-21 12:00:49Z doligez $
+\" $Id$
.TH OCAMLDOC 1
-\" $Id: ocamllex.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLLEX 1
.SH NAME
-\" $Id: ocamlmktop.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLMKTOP 1
.SH NAME
-\" $Id: ocamlopt.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLOPT 1
-\" $Id: ocamlprof.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLPROF 1
.SH NAME
-\" $Id: ocamlrun.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLRUN 1
-\" $Id: ocamlyacc.m 10444 2010-05-20 14:06:29Z doligez $
+\" $Id$
.TH OCAMLYACC 1
.SH NAME
(* *)
(***********************************************************************)
-(* $Id: myocamlbuild.ml 10941 2011-02-08 14:07:47Z xclerc $ *)
+(* $Id$ *)
open Ocamlbuild_plugin
open Command
# #
#########################################################################
-# $Id: Makefile 10286 2010-04-20 15:38:58Z doligez $
+# $Id$
.PHONY: all byte native profile debug ppcache doc
#(* *)
#(***********************************************************************)
-# $Id: Makefile 11020 2011-05-02 13:14:14Z guesdon $
+# $Id$
include ../config/Makefile
#(* *)
#(***********************************************************************)
-# $Id: Makefile.nt 10472 2010-05-28 11:21:46Z garrigue $
+# $Id$
include ../config/Makefile
(* *)
(***********************************************************************)
-(* $Id: odoc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Main module for bytecode. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_analyse.ml 10355 2010-05-03 15:06:17Z guesdon $ *)
+(* $Id$ *)
(** Analysis of source files. This module is strongly inspired from
driver/main.ml :-) *)
(* *)
(***********************************************************************)
-(* $Id: odoc_analyse.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Analysis of source files. *)
(* *)
(***********************************************************************)
-(* cvsid $Id: odoc_args.ml 11029 2011-05-09 07:29:55Z xclerc $ *)
+(* cvsid $Id$ *)
(** Command-line arguments. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_args.mli 11027 2011-05-05 11:28:57Z doligez $ *)
+(* $Id$ *)
(** Analysis of the command line arguments. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_ast.ml 10355 2010-05-03 15:06:17Z guesdon $ *)
+(* $Id$ *)
(** Analysis of implementation files. *)
open Misc
(* *)
(***********************************************************************)
-(* $Id: odoc_ast.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** The module for analysing the typed abstract syntax tree and source code and creating modules, classes, ..., elements.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_class.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Representation and manipulation of classes and class types.*)
None
-(* eof $Id: odoc_class.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* eof $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_comments.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** Analysis of comments. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_comments.mli 7619 2006-09-20 11:14:37Z doligez $ *)
+(* $Id$ *)
(** Analysis of comments. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_comments_global.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** The global variables used by the special comment parser.*)
return_value := None ;
customs := []
-(* eof $Id: odoc_comments_global.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* eof $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_comments_global.mli 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** The global variables used by the special comment parser.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_config.ml 8416 2007-10-08 14:19:34Z doligez $ *)
+(* $Id$ *)
let custom_generators_path =
Filename.concat Config.standard_library
(* *)
(***********************************************************************)
-(* $Id: odoc_config.mli 8416 2007-10-08 14:19:34Z doligez $ *)
+(* $Id$ *)
(** Ocamldoc configuration contants. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_control.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_cross.ml 10565 2010-06-14 11:13:29Z guesdon $ *)
+(* $Id$ *)
(** Cross referencing. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_cross.mli 7619 2006-09-20 11:14:37Z doligez $ *)
+(* $Id$ *)
(** Cross-referencing. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_dag2html.ml 6723 2004-12-03 14:42:09Z guesdon $ *)
+(* $Id$ *)
(** The types and functions to create a html table representing a dag. Thanks to Daniel De Rauglaudre. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_dag2html.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** The types and functions to create a html table representing a dag.
Thanks to Daniel de Rauglaudre. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_dep.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Top modules dependencies. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_dot.ml 7619 2006-09-20 11:14:37Z doligez $ *)
+(* $Id$ *)
(** Definition of a class which outputs a dot file showing
top modules dependencies.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_env.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Environment for finding complete names from relative names. *)
in
iter t
-(* eof $Id: odoc_env.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* eof $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_env.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Environment for finding complete names from relative names. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_exception.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Representation and manipulation of exceptions. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_global.ml 5973 2003-11-24 10:44:07Z starynke $ *)
+(* $Id$ *)
(** Global variables. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_global.mli 5973 2003-11-24 10:44:07Z starynke $ *)
+(* $Id$ *)
(** Global variables. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_html.ml 11023 2011-05-02 13:55:00Z guesdon $ *)
+(* $Id$ *)
(** Generation of html documentation.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_info.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** Interface for analysing documented OCaml source files and to the collected information. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_info.mli 11027 2011-05-05 11:28:57Z doligez $ *)
+(* $Id$ *)
(** Interface to the information collected in source files. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_inherit.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_latex.ml 10355 2010-05-03 15:06:17Z guesdon $ *)
+(* $Id$ *)
(** Generation of LaTeX documentation. *)
(** The content of the LaTeX style to generate when generating LaTeX code. *)
-(* $Id: odoc_latex_style.ml 10695 2010-09-29 16:46:54Z doligez $ *)
+(* $Id$ *)
let content ="\
\n%% Support macros for LaTeX documentation generated by ocamldoc.\
(* *)
(***********************************************************************)
-(* $Id: odoc_lexer.mll 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** The lexer for special comments. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_man.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** The man pages generator. *)
open Odoc_info
(* *)
(***********************************************************************)
-(* $Id: odoc_merge.ml 10871 2010-11-30 08:08:24Z xclerc $ *)
+(* $Id$ *)
(** Merge of information from [.ml] and [.mli] for a module.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_merge.mli 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** Merge of information from [.ml] and [.mli] for a module.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_messages.ml 11027 2011-05-05 11:28:57Z doligez $ *)
+(* $Id$ *)
(** The messages of the application. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_misc.ml 9638 2010-03-08 16:54:13Z guesdon $ *)
+(* $Id$ *)
let no_blanks s =
let len = String.length s in
(* *)
(***********************************************************************)
-(* $Id: odoc_misc.mli 7307 2006-01-04 16:55:50Z doligez $ *)
+(* $Id$ *)
(** Miscelaneous functions *)
(* *)
(***********************************************************************)
-(* $Id: odoc_module.ml 10355 2010-05-03 15:06:17Z guesdon $ *)
+(* $Id$ *)
(** Representation and manipulation of modules and module types. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_name.ml 10565 2010-06-14 11:13:29Z guesdon $ *)
+(* $Id$ *)
(** Representation of element names. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_name.mli 10565 2010-06-14 11:13:29Z guesdon $ *)
+(* $Id$ *)
(** Representation of element names. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_ocamlhtml.mll 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Generation of html code to display OCaml code. *)
open Lexing
(* *)
(***********************************************************************)
-(* $Id: odoc_parameter.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Representation and manipulation of method / function / class parameters. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_parser.mly 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
open Odoc_types
open Odoc_comments_global
(* *)
(***********************************************************************)
-(* $Id: odoc_print.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: odoc_print.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Printing functions. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_scan.ml 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
(** Scanning of modules and elements.
(* *)
(***********************************************************************)
-(* $Id: odoc_search.ml 9638 2010-03-08 16:54:13Z guesdon $ *)
+(* $Id$ *)
(** Research of elements through modules. *)
Res_section (_,t) -> t
| _ -> assert false
-(* eof $Id: odoc_search.ml 9638 2010-03-08 16:54:13Z guesdon $ *)
+(* eof $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_search.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Research of elements through modules. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_see_lexer.mll 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
let print_DEBUG2 s = print_string s ; print_newline ()
(* *)
(***********************************************************************)
-(* $Id: odoc_sig.ml 10282 2010-04-19 16:59:55Z guesdon $ *)
+(* $Id$ *)
(** Analysis of interface files. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_sig.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** The module for analysing a signature and source code and creating modules, classes, ..., elements.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_str.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** The functions to get a string from different kinds of elements (types, modules, ...). *)
None -> ""
| Some i -> Odoc_misc.string_of_info i)
-(* eof $Id: odoc_str.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* eof $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_str.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** The functions to get a string from different kinds of elements (types, modules, ...). *)
(* *)
(***********************************************************************)
-(* $Id: odoc_test.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
(** Custom generator to perform test on ocamldoc. *)
(* under the terms of the Q Public License version 1.0. *)
(***********************************************************************)
-(* $Id: odoc_texi.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** Generation of Texinfo documentation. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_text.ml 9638 2010-03-08 16:54:13Z guesdon $ *)
+(* $Id$ *)
exception Text_syntax of int * int * string (* line, char, string *)
(* *)
(***********************************************************************)
-(* $Id: odoc_text.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** A module with a function to parse strings to obtain a [Odoc_types.text] value. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_text_lexer.mll 10584 2010-06-16 11:38:22Z guesdon $ *)
+(* $Id$ *)
(** The lexer for string to build text structures. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_text_parser.mly 9638 2010-03-08 16:54:13Z guesdon $ *)
+(* $Id$ *)
open Odoc_types
(* *)
(***********************************************************************)
-(* $Id: odoc_to_text.ml 10480 2010-05-31 11:52:13Z guesdon $ *)
+(* $Id$ *)
(** Text generation.
(* *)
(***********************************************************************)
-(* $Id: odoc_type.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Representation and manipulation of a type, but not class nor module type.*)
(* *)
(***********************************************************************)
-(* $Id: odoc_types.ml 10867 2010-11-29 12:49:46Z xclerc $ *)
+(* $Id$ *)
type ref_kind =
RK_module
(* *)
(***********************************************************************)
-(* $Id: odoc_types.mli 10867 2010-11-29 12:49:46Z xclerc $ *)
+(* $Id$ *)
(** Types for the information collected in comments. *)
(* *)
(***********************************************************************)
-(* $Id: odoc_value.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Representation and manipulation of values, class attributes and class methods. *)
#(* *)
#(***********************************************************************)
-# $Id: remove_DEBUG 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
# usage: remove_DEBUG <file>
# remove from <file> every line that contains the string "DEBUG",
#!/bin/sh
-# $Id: runocamldoc 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
case "$1" in
true) shift
# #
#########################################################################
-# $Id: Makefile 8489 2007-11-08 09:17:48Z frisch $
+# $Id$
# Common Makefile for otherlibs on the Unix ports
# #
#########################################################################
-# $Id: Makefile.nt 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
# Common Makefile for otherlibs on the Win32/MinGW ports
# #
#########################################################################
-# $Id: Makefile.shared 8916 2008-07-15 15:31:32Z frisch $
+# $Id$
# Common Makefile for otherlibs
# #
#########################################################################
-# $Id: Makefile 8748 2008-01-04 09:52:27Z xleroy $
+# $Id$
LIBNAME=bigarray
EXTRACFLAGS=-I../unix -DIN_OCAML_BIGARRAY -DCAML_NAME_SPACE
# #
#########################################################################
-# $Id: Makefile.nt 8754 2008-01-04 15:01:48Z xleroy $
+# $Id$
LIBNAME=bigarray
EXTRACFLAGS=-I../win32unix -DIN_OCAML_BIGARRAY -DCAML_NAME_SPACE
/* */
/***********************************************************************/
-/* $Id: bigarray.h 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
#ifndef CAML_BIGARRAY_H
#define CAML_BIGARRAY_H
(* *)
(***********************************************************************)
-(* $Id: bigarray.ml 8911 2008-07-14 09:09:53Z xleroy $ *)
+(* $Id$ *)
(* Module [Bigarray]: large, multi-dimensional, numerical arrays *)
(* *)
(***********************************************************************)
-(* $Id: bigarray.mli 9153 2008-12-03 18:09:09Z doligez $ *)
+(* $Id$ *)
(** Large, multi-dimensional, numerical arrays.
/* */
/***********************************************************************/
-/* $Id: bigarray_stubs.c 11037 2011-05-12 14:34:05Z xleroy $ */
+/* $Id$ */
#include <stddef.h>
#include <stdarg.h>
/* */
/***********************************************************************/
-/* $Id: mmap_unix.c 10648 2010-08-18 12:46:09Z doligez $ */
+/* $Id$ */
#include <stddef.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: mmap_win32.c 11066 2011-06-04 13:53:24Z xleroy $ */
+/* $Id$ */
#include <stddef.h>
#include <stdio.h>
# #
#########################################################################
-# $Id: Makefile 9270 2009-05-20 11:52:42Z doligez $
+# $Id$
# Makefile for the ndbm library
/* */
/***********************************************************************/
-/* $Id: cldbm.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <fcntl.h>
(* *)
(***********************************************************************)
-(* $Id: dbm.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type t
(* *)
(***********************************************************************)
-(* $Id: dbm.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Interface to the NDBM database. *)
# #
#########################################################################
-# $Id: Makefile 10476 2010-05-28 15:09:22Z frisch $
+# $Id$
# Makefile for the dynamic link library
# #
#########################################################################
-# $Id: Makefile.nt 8477 2007-11-06 15:16:56Z frisch $
+# $Id$
# Makefile for the dynamic link library
(* *)
(***********************************************************************)
-(* $Id: dynlink.ml 10471 2010-05-28 10:16:31Z frisch $ *)
+(* $Id$ *)
(* Dynamic loading of .cmo files *)
(* *)
(***********************************************************************)
-(* $Id: dynlink.mli 10471 2010-05-28 10:16:31Z frisch $ *)
+(* $Id$ *)
(** Dynamic loading of object files. *)
(* *)
(***********************************************************************)
-(* $Id: extract_crc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Print the digests of unit interfaces *)
(* *)
(***********************************************************************)
-(* $Id: natdynlink.ml 10471 2010-05-28 10:16:31Z frisch $ *)
+(* $Id$ *)
(* Dynamic loading of .cmx files *)
# #
#########################################################################
-# $Id: Makefile 8490 2007-11-08 09:23:06Z frisch $
+# $Id$
# Makefile for the portable graphics library
/* */
/***********************************************************************/
-/* $Id: color.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "libgraph.h"
#include <X11/Xatom.h>
/* */
/***********************************************************************/
-/* $Id: draw.c 6351 2004-05-30 14:11:41Z xleroy $ */
+/* $Id$ */
#include "libgraph.h"
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: dump_img.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
#include "libgraph.h"
#include "image.h"
/* */
/***********************************************************************/
-/* $Id: events.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <signal.h>
#include "libgraph.h"
/* */
/***********************************************************************/
-/* $Id: fill.c 6351 2004-05-30 14:11:41Z xleroy $ */
+/* $Id$ */
#include "libgraph.h"
#include <memory.h>
(* *)
(***********************************************************************)
-(* $Id: graphics.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
exception Graphic_failure of string
(* *)
(***********************************************************************)
-(* $Id: graphics.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Machine-independent graphics primitives. *)
(* *)
(***********************************************************************)
-(* $Id: graphicsX11.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Module [GraphicsX11]: additional graphics primitives for the X Windows system *)
(* *)
(***********************************************************************)
-(* $Id: graphicsX11.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Additional graphics primitives for the X Windows system. *)
/* */
/***********************************************************************/
-/* $Id: image.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
#include "libgraph.h"
#include "image.h"
return Val_unit;
}
-/* eof $Id: image.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* eof $Id$ */
/* */
/***********************************************************************/
-/* $Id: image.h 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
struct grimage {
int width, height; /* Dimensions of the image */
/* */
/***********************************************************************/
-/* $Id: libgraph.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <X11/Xlib.h>
/* */
/***********************************************************************/
-/* $Id: make_img.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
#include "libgraph.h"
#include "image.h"
/* */
/***********************************************************************/
-/* $Id: open.c 7019 2005-08-13 20:59:37Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <fcntl.h>
/* */
/***********************************************************************/
-/* $Id: point_col.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "libgraph.h"
/* */
/***********************************************************************/
-/* $Id: sound.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
#include "libgraph.h"
/* */
/***********************************************************************/
-/* $Id: subwindow.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
#include "libgraph.h"
/* */
/***********************************************************************/
-/* $Id: text.c 6171 2004-03-24 15:02:06Z starynke $ */
+/* $Id$ */
#include "libgraph.h"
#include <alloc.h>
-# $Id: Makefile 10425 2010-05-19 11:33:23Z doligez $
+# $Id$
OTHERSLIB=-I $(OTHERS)/unix -I $(OTHERS)/str
-# $Id: Makefile.nt 9153 2008-12-03 18:09:09Z doligez $
+# $Id$
OTHERSLIB=-I $(OTHERS)/win32unix -I $(OTHERS)/str -I $(OTHERS)/systhreads
(* *)
(*************************************************************************)
-(* $Id: dummyUnix.mli 6041 2003-12-29 22:15:02Z doligez $ *)
+(* $Id$ *)
module Mutex : sig
type t
(* *)
(*************************************************************************)
-(* $Id: dummyWin.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* *)
(*************************************************************************)
-(* $Id: editor.ml 7307 2006-01-04 16:55:50Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: editor.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: fileselect.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* file selection box *)
(* *)
(*************************************************************************)
-(* $Id: fileselect.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
val f :
title:string ->
(* *)
(*************************************************************************)
-(* $Id: jg_bind.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_bind.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: jg_box.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_button.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_completion.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
let lt_string ?(nocase=false) s1 s2 =
if nocase then String.lowercase s1 < String.lowercase s2 else s1 < s2
(* *)
(*************************************************************************)
-(* $Id: jg_completion.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
val lt_string : ?nocase:bool -> string -> string -> bool
(* *)
(*************************************************************************)
-(* $Id: jg_config.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open StdLabels
open Jg_tk
(* *)
(*************************************************************************)
-(* $Id: jg_config.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
val init: unit -> unit
(* *)
(*************************************************************************)
-(* $Id: jg_entry.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_memo.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type ('a, 'b) assoc_list =
Nil
(* *)
(*************************************************************************)
-(* $Id: jg_memo.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
val fast : f:('a -> 'b) -> 'a -> 'b
(* "fast" memoizer: uses a List.assq like function *)
(* *)
(*************************************************************************)
-(* $Id: jg_menu.ml 7307 2006-01-04 16:55:50Z doligez $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_message.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_message.mli 5045 2002-07-26 00:04:05Z garrigue $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: jg_multibox.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
(* *)
(*************************************************************************)
-(* $Id: jg_multibox.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
class c :
cols:int -> texts:string list ->
(* *)
(*************************************************************************)
-(* $Id: jg_text.ml 5094 2002-08-09 10:34:44Z garrigue $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_text.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: jg_tk.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: jg_toplevel.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Tk
(* *)
(*************************************************************************)
-(* $Id: lexical.ml 9319 2009-07-20 11:51:50Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: lexical.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: list2.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open StdLabels
(* *)
(*************************************************************************)
-(* $Id: main.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open StdLabels
module Unix = UnixLabels
(* *)
(*************************************************************************)
-(* $Id: mytypes.mli 8232 2007-05-16 08:21:41Z doligez $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: searchid.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Location
(* *)
(*************************************************************************)
-(* $Id: searchid.mli 5044 2002-07-25 22:51:47Z garrigue $ *)
+(* $Id$ *)
val start_env : Env.t ref
val module_list : string list ref
(* *)
(*************************************************************************)
-(* $Id: searchpos.ml 10227 2010-04-02 12:53:33Z xleroy $ *)
+(* $Id$ *)
open StdLabels
open Support
(* *)
(*************************************************************************)
-(* $Id: searchpos.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: setpath.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: setpath.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Widget
(* *)
(*************************************************************************)
-(* $Id: shell.ml 10659 2010-08-28 06:10:22Z garrigue $ *)
+(* $Id$ *)
open StdLabels
module Unix = UnixLabels
(* *)
(*************************************************************************)
-(* $Id: shell.mli 5044 2002-07-25 22:51:47Z garrigue $ *)
+(* $Id$ *)
class ['a] history :
unit ->
(* *)
(*************************************************************************)
-(* $Id: typecheck.ml 9319 2009-07-20 11:51:50Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: typecheck.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
open Widget
open Mytypes
(* *)
(*************************************************************************)
-(* $Id: useunix.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open UnixLabels
(* *)
(*************************************************************************)
-(* $Id: useunix.mli 5094 2002-08-09 10:34:44Z garrigue $ *)
+(* $Id$ *)
(* Unix utilities *)
(* *)
(*************************************************************************)
-(* $Id: viewer.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tk
(* *)
(*************************************************************************)
-(* $Id: viewer.mli 4990 2002-07-11 13:49:51Z garrigue $ *)
+(* $Id$ *)
(* Module viewer *)
open Widget
-/* $Id: winmain.c 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
#include <windows.h>
#include <mlvalues.h>
(* *)
(*************************************************************************)
-(* $Id: LICENSE 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
All the files in this directory are subject to the above copyright notice.
\ No newline at end of file
(* *)
(***********************************************************************)
-(* $Id: compile.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Tables
(* *)
(***********************************************************************)
-(* $Id: intf.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
(* *)
(***********************************************************************)
-(* $Id: lexer.mll 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
{
open StdLabels
(* *)
(***********************************************************************)
-(* $Id: maincompile.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Support
/* */
/***********************************************************************/
-/* $Id: parser.mly 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
%{
(* *)
(***********************************************************************)
-(* $Id: tables.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Support
(* *)
(***********************************************************************)
-(* $Id: tsort.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
-$Id: README 4745 2002-04-26 12:16:26Z furuse $
+$Id$
Some examples for LablTk.
They are written in classic mode, except testris.ml which uses label
(* *)
(***********************************************************************)
-(* $Id: calc.ml 5175 2002-10-11 19:01:19Z doligez $ *)
+(* $Id$ *)
(* A simple calculator demonstrating OO programming with O'Labl
and LablTk.
(* *)
(***********************************************************************)
-(* $Id: clock.ml 4745 2002-04-26 12:16:26Z furuse $ *)
+(* $Id$ *)
(* Clock/V, a simple clock.
Reverts every time you push the right button.
(* *)
(***********************************************************************)
-(* $Id: demo.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Some CamlTk4 Demonstration by JPF *)
(* *)
(***********************************************************************)
-(* $Id: eyes.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Tk
(* *)
(***********************************************************************)
-(* $Id: hello.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* LablTk4 Demonstration by JPF *)
(* *)
(***********************************************************************)
-(* $Id: taquin.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Tk;;
(* *)
(***********************************************************************)
-(* $Id: tetris.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* A Tetris game for LablTk *)
(* written by Jun P. Furuse *)
(***********************************************************************)
open Camltk
-let version = "$Id: frx_entry.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(*
* Tk 4.0 has emacs bindings for entry widgets
(***********************************************************************)
open Camltk
-let version = "$Id: frx_fileinput.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(*
* Simple spooling for fileinput callbacks
open Camltk
open Widget
-let version = "$Id: frx_font.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(*
* Finding fonts. Inspired by code in Ical by Sanjay Ghemawat.
open Widget
-let version = "$Id: frx_lbutton.ml 4745 2002-04-26 12:16:26Z furuse $"
+let version = "$Id$"
(*
* Simulate a button with a bitmap AND a label
(***********************************************************************)
open Camltk
-let version = "$Id: frx_listbox.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(*
* Link a scrollbar and a listbox
* jargon).
*)
-let version = "$Id: frx_req.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(*
* Simple requester
(***********************************************************************)
open Camltk
-let version = "$Id: frx_text.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(*
* convert an integer to an absolute index
open Camltk
open Widget
-let version = "$Id: frx_widget.ml 9547 2010-01-22 12:48:24Z doligez $"
+let version = "$Id$"
(* Make a window (toplevel widget) resizeable *)
let resizeable t =
update_idletasks(); (* wait until layout is computed *)
(* *)
(***********************************************************************)
-(* $Id: balloon.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
(* *)
(***********************************************************************)
-(* $Id: balloon.mli 4745 2002-04-26 12:16:26Z furuse $ *)
+(* $Id$ *)
(* easy balloon help facility *)
open Widget
(* *)
(***********************************************************************)
-(* $Id: balloontest.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Tk
open Widget
(* *)
(***********************************************************************)
-(* $Id: fileselect.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* file selection box *)
(* *)
(***********************************************************************)
-(* $Id: fileselect.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* This file selecter works only under the OS with the full unix support.
For the portability, Tk.getOpenFile and Tk.getSaveFile are recommended. *)
/* */
/*************************************************************************/
-/* $Id: camltk.h 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
#if defined(_WIN32) && defined(CAML_DLL) && defined(IN_CAMLTKSUPPORT)
#define CAMLTKextern CAMLexport
/* */
/***********************************************************************/
-/* $Id: cltkCaml.c 9036 2008-09-26 07:35:24Z garrigue $ */
+/* $Id$ */
#include <tcl.h>
#include <tk.h>
/* */
/*************************************************************************/
-/* $Id: cltkDMain.c 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
#include <unistd.h>
#include <fcntl.h>
/* */
/***********************************************************************/
-/* $Id: cltkEval.c 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
#include <stdlib.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: cltkEvent.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <tcl.h>
#include <tk.h>
/* */
/***********************************************************************/
-/* $Id: cltkFile.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#ifdef __CYGWIN__
#define _WIN32
/* */
/***********************************************************************/
-/* $Id: cltkMain.c 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
#include <string.h>
#include <tcl.h>
/* */
/***********************************************************************/
-/* $Id: cltkMisc.c 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
#include <string.h>
#include <tcl.h>
/* */
/***********************************************************************/
-/* $Id: cltkTimer.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <tcl.h>
#include <tk.h>
/* */
/***********************************************************************/
-/* $Id: cltkUtf.c 4745 2002-04-26 12:16:26Z furuse $ */
+/* $Id$ */
#include <stdlib.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: cltkVar.c 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
/* Alternative to tkwait variable */
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: cltkWait.c 10230 2010-04-03 06:43:51Z furuse $ */
+/* $Id$ */
#include <tcl.h>
#include <tk.h>
(* *)
(***********************************************************************)
-(* $Id: fileevent.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Unix
open Support
(* *)
(***********************************************************************)
-(* $Id: fileevent.mli 4745 2002-04-26 12:16:26Z furuse $ *)
+(* $Id$ *)
open Unix
(* *)
(***********************************************************************)
-(* $Id: protocol.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Support
open Widget
(* *)
(***********************************************************************)
-(* $Id: protocol.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Widget
(* *)
(***********************************************************************)
-(* $Id: rawwidget.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Support
(* *)
(***********************************************************************)
-(* $Id: rawwidget.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Support for widget manipulations *)
(* *)
(***********************************************************************)
-(* $Id: slave.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* The code run on initialisation, in addition to normal Tk code
* NOTE: camltk has not fully been initialised yet
(* *)
(***********************************************************************)
-(* $Id: support.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Parsing results of Tcl *)
(* List.split a string according to char_sep predicate *)
(* *)
(***********************************************************************)
-(* $Id: support.mli 4745 2002-04-26 12:16:26Z furuse $ *)
+(* $Id$ *)
val split_str : pred:(char -> bool) -> string -> string list
val may : ('a -> 'b) -> 'a option -> 'b option
(* *)
(***********************************************************************)
-(* $Id: textvariable.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Support
open Protocol
(* *)
(***********************************************************************)
-(* $Id: textvariable.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Support for Tk -textvariable option *)
open Widget
(* *)
(***********************************************************************)
-(* $Id: timer.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Timers *)
open Support
(* *)
(***********************************************************************)
-(* $Id: timer.mli 4745 2002-04-26 12:16:26Z furuse $ *)
+(* $Id$ *)
type t
(* *)
(***********************************************************************)
-(* $Id: tkthread.ml 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
let jobs : (unit -> unit) Queue.t = Queue.create ()
let m = Mutex.create ()
(* *)
(***********************************************************************)
-(* $Id: tkthread.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Helper functions for using LablTk with threads.
To use, add tkthread.cmo or tkthread.cmx to your command line *)
(* *)
(***********************************************************************)
-(* $Id: tkwait.ml 9358 2009-09-25 12:56:10Z weis $ *)
+(* $Id$ *)
external internal_tracevis : string -> Protocol.cbid -> unit
= "camltk_wait_vis"
(* *)
(***********************************************************************)
-(* $Id: widget.ml 4745 2002-04-26 12:16:26Z furuse $ *)
+(* $Id$ *)
(* Hack to permit having the different data type with the same name
[widget] for CamlTk and LablTk. *)
(* *)
(***********************************************************************)
-(* $Id: widget.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Support for widget manipulations *)
# #
#########################################################################
-# $Id: Makefile 9623 2010-02-09 14:17:20Z doligez $
+# $Id$
# Makefile for the "num" (exact rational arithmetic) library
# #
#########################################################################
-# $Id: Makefile.nt 10337 2010-04-30 13:27:35Z frisch $
+# $Id$
# Makefile for the "num" (exact rational arithmetic) library
(* *)
(***********************************************************************)
-(* $Id: arith_flags.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
let error_when_null_denominator_flag = ref true;;
(* *)
(***********************************************************************)
-(* $Id: arith_flags.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
val error_when_null_denominator_flag : bool ref
val normalize_ratio_flag : bool ref
(* *)
(***********************************************************************)
-(* $Id: arith_status.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Arith_flags;;
(* *)
(***********************************************************************)
-(* $Id: arith_status.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Flags that control rational arithmetic. *)
(* *)
(***********************************************************************)
-(* $Id: big_int.ml 10649 2010-08-18 13:22:48Z doligez $ *)
+(* $Id$ *)
open Int_misc
open Nat
(* *)
(***********************************************************************)
-(* $Id: big_int.mli 10327 2010-04-29 13:53:01Z xleroy $ *)
+(* $Id$ *)
(** Operations on arbitrary-precision integers.
/* */
/***********************************************************************/
-/* $Id: bng.c 10450 2010-05-21 12:00:49Z doligez $ */
+/* $Id$ */
#include "bng.h"
#include "config.h"
/* */
/***********************************************************************/
-/* $Id: bng.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <string.h>
#include "config.h"
/* */
/***********************************************************************/
-/* $Id: bng_alpha.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Code specific to the Alpha architecture. */
/* */
/***********************************************************************/
-/* $Id: bng_amd64.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Code specific to the AMD x86_64 architecture. */
/* */
/***********************************************************************/
-/* $Id: bng_digit.c 10324 2010-04-28 11:59:09Z xleroy $ */
+/* $Id$ */
/**** Generic operations on digits ****/
/* */
/***********************************************************************/
-/* $Id: bng_ia32.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Code specific to the Intel IA32 (x86) architecture. */
/* */
/***********************************************************************/
-/* $Id: bng_mips.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Code specific to the MIPS architecture. */
/* */
/***********************************************************************/
-/* $Id: bng_ppc.c 7430 2006-05-31 08:16:34Z xleroy $ */
+/* $Id$ */
/* Code specific to the PowerPC architecture. */
/* */
/***********************************************************************/
-/* $Id: bng_sparc.c 5880 2003-10-24 09:18:01Z xleroy $ */
+/* $Id$ */
/* Code specific to the SPARC (V8 and above) architecture. */
(* *)
(***********************************************************************)
-(* $Id: int_misc.ml 4845 2002-05-27 12:06:49Z weis $ *)
+(* $Id$ *)
(* Some extra operations on integers *)
(* *)
(***********************************************************************)
-(* $Id: int_misc.mli 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Some extra operations on integers *)
/* */
/***********************************************************************/
-/* $Id: nat.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* Nats are represented as unstructured blocks with tag Custom_tag. */
(* *)
(***********************************************************************)
-(* $Id: nat.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Int_misc
(* *)
(***********************************************************************)
-(* $Id: nat.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Module [Nat]: operations on natural numbers *)
/* */
/***********************************************************************/
-/* $Id: nat_stubs.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "alloc.h"
#include "config.h"
(* *)
(***********************************************************************)
-(* $Id: num.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Int_misc
open Nat
(* *)
(***********************************************************************)
-(* $Id: num.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Operation on arbitrary-precision numbers.
(* *)
(***********************************************************************)
-(* $Id: ratio.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Module [Ratio]: operations on rational numbers *)
# #
#########################################################################
-# $Id: Makefile 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
# Makefile for the str library
# #
#########################################################################
-# $Id: Makefile.nt 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
# Makefile for the str library
(* *)
(***********************************************************************)
-(* $Id: str.ml 10375 2010-05-05 14:36:41Z guesdon $ *)
+(* $Id$ *)
(** String utilities *)
(* *)
(***********************************************************************)
-(* $Id: str.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Regular expressions and high-level string processing *)
/* */
/***********************************************************************/
-/* $Id: strstubs.c 10429 2010-05-19 12:22:24Z xleroy $ */
+/* $Id$ */
#include <string.h>
#include <ctype.h>
# #
#########################################################################
-# $Id: Makefile 10315 2010-04-27 07:55:08Z xleroy $
+# $Id$
include ../../config/Makefile
# #
#########################################################################
-# $Id: Makefile.nt 10315 2010-04-27 07:55:08Z xleroy $
+# $Id$
include ../../config/Makefile
(* *)
(***********************************************************************)
-(* $Id: condition.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
type t
external create: unit -> t = "caml_condition_new"
(* *)
(***********************************************************************)
-(* $Id: condition.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Condition variables to synchronize between threads.
(* *)
(***********************************************************************)
-(* $Id: event.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Events *)
type 'a basic_event =
(* *)
(***********************************************************************)
-(* $Id: event.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** First-class synchronous communication.
(* *)
(***********************************************************************)
-(* $Id: mutex.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
type t
external create: unit -> t = "caml_mutex_new"
(* *)
(***********************************************************************)
-(* $Id: mutex.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Locks for mutual exclusion.
/* */
/***********************************************************************/
-/* $Id: posix.c 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
/* POSIX thread implementation of the "st" interface */
/* */
/***********************************************************************/
-/* $Id: posix.c 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
#include "alloc.h"
#include "backtrace.h"
/* */
/***********************************************************************/
-/* $Id: posix.c 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
/* Win32 implementation of the "st" interface */
(* *)
(***********************************************************************)
-(* $Id: thread_posix.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* User-level threads *)
(* *)
(***********************************************************************)
-(* $Id: thread.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Lightweight threads for Posix [1003.1c] and Win32. *)
(* *)
(***********************************************************************)
-(* $Id: threadUnix.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Module [ThreadUnix]: thread-compatible system calls *)
(* *)
(***********************************************************************)
-(* $Id: threadUnix.mli 4951 2002-06-26 09:48:00Z xleroy $ *)
+(* $Id$ *)
(** Thread-compatible system calls.
/* */
/***********************************************************************/
-/* $Id: posix.c 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
#ifndef CAML_THREADS_H
#define CAML_THREADS_H
# #
#########################################################################
-# $Id: Makefile 9153 2008-12-03 18:09:09Z doligez $
+# $Id$
include ../../config/Makefile
(* *)
(***********************************************************************)
-(* $Id: condition.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type t = { mutable waiting: Thread.t list }
(* *)
(***********************************************************************)
-(* $Id: condition.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Condition variables to synchronize between threads.
(* *)
(***********************************************************************)
-(* $Id: event.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Events *)
type 'a basic_event =
(* *)
(***********************************************************************)
-(* $Id: event.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** First-class synchronous communication.
(* *)
(***********************************************************************)
-(* $Id: marshal.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type extern_flags =
No_sharing
(* *)
(***********************************************************************)
-(* $Id: mutex.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type t = { mutable locked: bool; mutable waiting: Thread.t list }
(* *)
(***********************************************************************)
-(* $Id: mutex.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Locks for mutual exclusion.
(* *)
(***********************************************************************)
-(* $Id: pervasives.ml 10547 2010-06-09 10:23:48Z weis $ *)
+(* $Id$ *)
(* Same as ../../stdlib/pervasives.ml, except that I/O functions have
been redefined to not block the whole process, but only the calling
/* */
/***********************************************************************/
-/* $Id: scheduler.c 7064 2005-09-22 14:21:50Z xleroy $ */
+/* $Id$ */
/* The thread scheduler */
(* *)
(***********************************************************************)
-(* $Id: thread.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* User-level threads *)
(* *)
(***********************************************************************)
-(* $Id: thread.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(** Lightweight threads. *)
(* *)
(***********************************************************************)
-(* $Id: threadUnix.ml 6553 2004-07-13 12:25:21Z xleroy $ *)
+(* $Id$ *)
(* Module [ThreadUnix]: thread-compatible system calls *)
(* *)
(***********************************************************************)
-(* $Id: threadUnix.mli 6553 2004-07-13 12:25:21Z xleroy $ *)
+(* $Id$ *)
(** Thread-compatible system calls.
(* *)
(***********************************************************************)
-(* $Id: unix.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* An alternate implementation of the Unix module from ../unix
which is safe in conjunction with bytecode threads. *)
# #
#########################################################################
-# $Id: Makefile 10442 2010-05-20 09:40:41Z xleroy $
+# $Id$
# Makefile for the Unix interface library
/* */
/***********************************************************************/
-/* $Id: accept.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: access.c 8768 2008-01-11 16:13:18Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: addrofstr.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <fail.h>
/* */
/***********************************************************************/
-/* $Id: alarm.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: bind.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: chdir.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: chmod.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <sys/types.h>
#include <sys/stat.h>
/* */
/***********************************************************************/
-/* $Id: chown.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: chroot.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: close.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: closedir.c 6113 2004-02-14 10:21:23Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: connect.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: cst2constr.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <fail.h>
/* */
/***********************************************************************/
-/* $Id: cst2constr.h 6193 2004-04-09 13:25:23Z xleroy $ */
+/* $Id$ */
extern value cst_to_constr(int n, int * tbl, int size, int deflt);
/* */
/***********************************************************************/
-/* $Id: cstringv.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: dup.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: dup2.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: envir.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: errmsg.c 6315 2004-05-23 15:53:50Z xleroy $ */
+/* $Id$ */
#include <errno.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: execv.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: execve.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: execvp.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: exit.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: fchmod.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <sys/types.h>
#include <sys/stat.h>
/* */
/***********************************************************************/
-/* $Id: fchown.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: fcntl.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: fork.c 10287 2010-04-20 15:47:15Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <debugger.h>
/* */
/***********************************************************************/
-/* $Id: ftruncate.c 7849 2007-02-09 13:31:15Z doligez $ */
+/* $Id$ */
#include <sys/types.h>
#include <fail.h>
/* */
/***********************************************************************/
-/* $Id: getaddrinfo.c 7019 2005-08-13 20:59:37Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: getcwd.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getegid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: geteuid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: getgid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: getgr.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <fail.h>
/* */
/***********************************************************************/
-/* $Id: getgroups.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: gethost.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: gethostname.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getlogin.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getnameinfo.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: getpeername.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: getpid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: getppid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: getproto.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getpw.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getserv.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getsockname.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: gettimeofday.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: getuid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: gmtime.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* Contributed by Stephane Glondu <steph@glondu.net> */
-/* $Id: initgroups.c 9235 2009-04-16 07:23:35Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: isatty.c 7632 2006-09-21 13:54:26Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: itimer.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: kill.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <fail.h>
/* */
/***********************************************************************/
-/* $Id: link.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: listen.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: lockf.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <fcntl.h>
/* */
/***********************************************************************/
-/* $Id: lseek.c 10647 2010-08-18 12:44:33Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <sys/types.h>
/* */
/***********************************************************************/
-/* $Id: mkdir.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <sys/types.h>
#include <sys/stat.h>
/* */
/***********************************************************************/
-/* $Id: mkfifo.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <sys/types.h>
#include <sys/stat.h>
/* */
/***********************************************************************/
-/* $Id: nice.c 8967 2008-08-01 13:14:36Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: open.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: opendir.c 6113 2004-02-14 10:21:23Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: pipe.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: putenv.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <stdlib.h>
#include <string.h>
/* */
/***********************************************************************/
-/* $Id: read.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: readdir.c 6113 2004-02-14 10:21:23Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <fail.h>
/* */
/***********************************************************************/
-/* $Id: readlink.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: rename.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: rewinddir.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: rmdir.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: select.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: sendrecv.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: setgid.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* Contributed by Stephane Glondu <steph@glondu.net> */
-/* $Id: setgroups.c 9220 2009-04-01 16:50:10Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: setsid.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: setuid.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: shutdown.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: signals.c 8768 2008-01-11 16:13:18Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <signal.h>
/* */
/***********************************************************************/
-/* $Id: sleep.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <signals.h>
/* */
/***********************************************************************/
-/* $Id: socket.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: socketaddr.c 9540 2010-01-20 16:26:46Z doligez $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: socketaddr.h 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <misc.h>
#include <sys/types.h>
/* */
/***********************************************************************/
-/* $Id: socketpair.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: sockopt.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: stat.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: strofaddr.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: symlink.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: termios.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: time.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <time.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: times.c 7382 2006-04-16 23:28:22Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: truncate.c 7849 2007-02-09 13:31:15Z doligez $ */
+/* $Id$ */
#include <sys/types.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: umask.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <sys/types.h>
#include <sys/stat.h>
(* *)
(***********************************************************************)
-(* $Id: unix.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type error =
E2BIG
(* *)
(***********************************************************************)
-(* $Id: unix.mli 10972 2011-03-06 16:17:09Z weis $ *)
+(* $Id$ *)
(** Interface to the Unix system *)
(* *)
(***********************************************************************)
-(* $Id: unixLabels.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Module [UnixLabels]: labelled Unix module *)
(* *)
(***********************************************************************)
-(* $Id: unixLabels.mli 10971 2011-03-06 16:15:34Z weis $ *)
+(* $Id$ *)
(** Interface to the Unix system.
To use as replacement to default {!Unix} module,
/* */
/***********************************************************************/
-/* $Id: unixsupport.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: unixsupport.h 7045 2005-09-06 12:38:32Z doligez $ */
+/* $Id$ */
#ifdef HAS_UNISTD
#include <unistd.h>
/* */
/***********************************************************************/
-/* $Id: unlink.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: utimes.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <fail.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: wait.c 6845 2005-04-17 08:23:51Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: write.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <string.h>
# #
#########################################################################
-# $Id: Makefile.nt 8477 2007-11-06 15:16:56Z frisch $
+# $Id$
LIBNAME=graphics
COBJS=open.$(O) draw.$(O) events.$(O) dib.$(O)
/* */
/***********************************************************************/
-/* $Id: dib.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
//-----------------------------------------------------------------------------
// DIB.C
/* */
/***********************************************************************/
-/* $Id: draw.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <math.h>
#include "mlvalues.h"
/* */
/***********************************************************************/
-/* $Id: events.c 6553 2004-07-13 12:25:21Z xleroy $ */
+/* $Id$ */
#include "mlvalues.h"
#include "alloc.h"
/* */
/***********************************************************************/
-/* $Id: libgraph.h 6553 2004-07-13 12:25:21Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <windows.h>
/* */
/***********************************************************************/
-/* $Id: open.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <fcntl.h>
#include <signal.h>
# #
#########################################################################
-# $Id: Makefile.nt 10442 2010-05-20 09:40:41Z xleroy $
+# $Id$
# Files in this directory
WIN_FILES = accept.c bind.c channels.c close.c \
/* */
/***********************************************************************/
-/* $Id: accept.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: bind.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: channels.c 11030 2011-05-09 11:38:43Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: close.c 11030 2011-05-09 11:38:43Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: close_on.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <windows.h>
/* */
/***********************************************************************/
-/* $Id: connect.c 7697 2006-10-18 08:26:54Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <signals.h>
/* */
/***********************************************************************/
-/* $Id: createprocess.c 9319 2009-07-20 11:51:50Z doligez $ */
+/* $Id$ */
#include <windows.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: dup.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: dup2.c 7630 2006-09-21 09:43:58Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: errmsg.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <errno.h>
/* */
/***********************************************************************/
-/* $Id: getpeername.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: getpid.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: getsockname.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: gettimeofday.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: link.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <windows.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: listen.c 4765 2002-04-30 15:00:48Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: lockf.c 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <fcntl.h>
/* */
/***********************************************************************/
-/* $Id: lseek.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: mkdir.c 4144 2001-12-07 13:41:02Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: nonblock.c 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <signals.h>
/* */
/***********************************************************************/
-/* $Id: open.c 8768 2008-01-11 16:13:18Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: pipe.c 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: read.c 7697 2006-10-18 08:26:54Z xleroy $ */
+/* $Id$ */
#include <string.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: rename.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: select.c 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: sendrecv.c 7697 2006-10-18 08:26:54Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
/* */
/***********************************************************************/
-/* $Id: shutdown.c 4765 2002-04-30 15:00:48Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: sleep.c 4899 2002-06-07 09:49:45Z xleroy $ */
+/* $Id$ */
#include <mlvalues.h>
#include <signals.h>
/* */
/***********************************************************************/
-/* $Id: socket.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include "unixsupport.h"
/* */
/***********************************************************************/
-/* $Id: socketaddr.h 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <misc.h>
/* */
/***********************************************************************/
-/* $Id: sockopt.c 8968 2008-08-01 13:46:08Z xleroy $ */
+/* $Id$ */
#include <errno.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: stat.c 9270 2009-05-20 11:52:42Z doligez $ */
+/* $Id$ */
#include <errno.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: system.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
(* *)
(***********************************************************************)
-(* $Id: unix.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Initialization *)
/* */
/***********************************************************************/
-/* $Id: unixsupport.c 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#include <stddef.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: unixsupport.h 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#define WIN32_LEAN_AND_MEAN
#include <wtypes.h>
/* */
/***********************************************************************/
-/* $Id: windbug.c 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#include "windbug.h"
/* */
/***********************************************************************/
-/* $Id: windbug.h 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#ifdef DEBUG
/* */
/***********************************************************************/
-/* $Id: windir.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <mlvalues.h>
#include <memory.h>
/* */
/***********************************************************************/
-/* $Id: winlist.c 8961 2008-07-31 12:09:18Z xleroy $ */
+/* $Id$ */
/* Basic list function in C. */
/* */
/***********************************************************************/
-/* $Id: winlist.h 8961 2008-07-31 12:09:18Z xleroy $ */
+/* $Id$ */
#ifndef _WINLIST_H
#define _WINLIST_H
/* */
/***********************************************************************/
-/* $Id: winwait.c 8768 2008-01-11 16:13:18Z doligez $ */
+/* $Id$ */
#include <windows.h>
#include <mlvalues.h>
/* */
/***********************************************************************/
-/* $Id: winworker.c 10467 2010-05-25 13:01:06Z xleroy $ */
+/* $Id$ */
#include "winworker.h"
#include "winlist.h"
/* */
/***********************************************************************/
-/* $Id: winworker.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#ifndef _WINWORKER_H
#define _WINWORKER_H
/* */
/***********************************************************************/
-/* $Id: write.c 9359 2009-09-25 15:03:06Z weis $ */
+/* $Id$ */
#include <errno.h>
#include <string.h>
(* *)
(***********************************************************************)
-(* $Id: asttypes.mli 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
(* Auxiliary a.s.t. types used by parsetree and typedtree. *)
(* *)
(***********************************************************************)
-(* $Id: lexer.mli 5961 2003-11-21 16:01:13Z xleroy $ *)
+(* $Id$ *)
(* The lexical analyzer *)
(* *)
(***********************************************************************)
-(* $Id: lexer.mll 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
(* The lexer definition *)
(* *)
(***********************************************************************)
-(* $Id: linenum.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
+(* $Id$ *)
(* An auxiliary lexer for determining the line number corresponding to
a file position, honoring the directives # linenum "filename" *)
(* *)
(***********************************************************************)
-(* $Id: linenum.mll 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* An auxiliary lexer for determining the line number corresponding to
a file position, honoring the directives # linenum "filename" *)
(* *)
(***********************************************************************)
-(* $Id: location.ml 11050 2011-05-17 16:14:39Z doligez $ *)
+(* $Id$ *)
open Lexing
(* *)
(***********************************************************************)
-(* $Id: location.mli 8705 2007-12-04 13:38:58Z doligez $ *)
+(* $Id$ *)
(* Source code locations (ranges of positions), used in parsetree. *)
(* *)
(***********************************************************************)
-(* $Id: longident.ml 9324 2009-08-27 08:19:08Z xleroy $ *)
+(* $Id$ *)
type t =
Lident of string
(* *)
(***********************************************************************)
-(* $Id: longident.mli 9324 2009-08-27 08:19:08Z xleroy $ *)
+(* $Id$ *)
(* Long identifiers, used in parsetree. *)
(* *)
(***********************************************************************)
-(* $Id: parse.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Entry points in the parser *)
(* *)
(***********************************************************************)
-(* $Id: parse.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Entry points in the parser *)
/* */
/***********************************************************************/
-/* $Id: parser.mly 11016 2011-04-29 04:56:21Z furuse $ */
+/* $Id$ */
/* The parser definition */
(* *)
(***********************************************************************)
-(* $Id: parsetree.mli 10263 2010-04-17 14:45:12Z garrigue $ *)
+(* $Id$ *)
(* Abstract syntax tree produced by parsing *)
(* *)
(***********************************************************************)
-(* $Id: printast.ml 10263 2010-04-17 14:45:12Z garrigue $ *)
+(* $Id$ *)
open Asttypes;;
open Format;;
(* *)
(***********************************************************************)
-(* $Id: printast.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
open Parsetree;;
open Format;;
(* *)
(***********************************************************************)
-(* $Id: syntaxerr.ml 9316 2009-07-15 14:06:37Z xleroy $ *)
+(* $Id$ *)
(* Auxiliary type for reporting syntax errors *)
(* *)
(***********************************************************************)
-(* $Id: syntaxerr.mli 9316 2009-07-15 14:06:37Z xleroy $ *)
+(* $Id$ *)
(* Auxiliary type for reporting syntax errors *)
# #
#########################################################################
-# $Id: Compflags 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
case $1 in
pervasives.cm[iox]|pervasives.p.cmx) echo ' -nopervasives';;
# #
#########################################################################
-# $Id: Makefile 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
include Makefile.shared
# #
#########################################################################
-# $Id: Makefile.nt 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
include Makefile.shared
# #
#########################################################################
-# $Id: Makefile.shared 10448 2010-05-21 11:28:21Z doligez $
+# $Id$
include ../config/Makefile
RUNTIME=../boot/ocamlrun
# This file lists all standard library modules. -*- Makefile -*-
# It is used in particular to know what to expunge in toplevels.
-# $Id: StdlibModules 8974 2008-08-01 16:57:10Z mauny $
+# $Id$
STDLIB_MODULES=\
arg \
(* *)
(***********************************************************************)
-(* $Id: arg.ml 11028 2011-05-09 07:28:57Z xclerc $ *)
+(* $Id$ *)
type key = string
type doc = string
(* *)
(***********************************************************************)
-(* $Id: arg.mli 11031 2011-05-09 11:39:33Z doligez $ *)
+(* $Id$ *)
(** Parsing of command line arguments.
(* *)
(***********************************************************************)
-(* $Id: array.ml 10482 2010-05-31 12:46:27Z doligez $ *)
+(* $Id$ *)
(* Array operations *)
(* *)
(***********************************************************************)
-(* $Id: array.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Array operations. *)
(* *)
(***********************************************************************)
-(* $Id: arrayLabels.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Module [ArrayLabels]: labelled Array module *)
(* *)
(***********************************************************************)
-(* $Id: arrayLabels.mli 7805 2007-01-22 08:06:09Z garrigue $ *)
+(* $Id$ *)
(** Array operations. *)
(* *)
(***********************************************************************)
-(* $Id: buffer.ml 10216 2010-03-28 08:16:45Z xleroy $ *)
+(* $Id$ *)
(* Extensible buffers *)
(* *)
(***********************************************************************)
-(* $Id: buffer.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** Extensible string buffers.
(* *)
(***********************************************************************)
-(* $Id: callback.ml 6044 2003-12-31 14:20:40Z doligez $ *)
+(* $Id$ *)
(* Registering Caml values with the C runtime for later callbacks *)
(* *)
(***********************************************************************)
-(* $Id: callback.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Registering Caml values with the C runtime.
(* *)
(***********************************************************************)
-(* $Id: camlinternalLazy.ml 8974 2008-08-01 16:57:10Z mauny $ *)
+(* $Id$ *)
(* Internals of forcing lazy values. *)
(* *)
(***********************************************************************)
-(* $Id: camlinternalLazy.mli 8974 2008-08-01 16:57:10Z mauny $ *)
+(* $Id$ *)
(* Internals of forcing lazy values *)
(* *)
(***********************************************************************)
-(* $Id: camlinternalMod.ml 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
type shape =
| Function
(* *)
(***********************************************************************)
-(* $Id: camlinternalMod.mli 6586 2004-08-12 12:57:00Z xleroy $ *)
+(* $Id$ *)
type shape =
| Function
(* *)
(***********************************************************************)
-(* $Id: camlinternalOO.ml 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
open Obj
(* *)
(***********************************************************************)
-(* $Id: camlinternalOO.mli 7372 2006-04-05 02:28:13Z garrigue $ *)
+(* $Id$ *)
(** Run-time support for objects and classes.
All functions in this module are for system use only, not for the
(* *)
(***********************************************************************)
-(* $Id: char.ml 8189 2007-04-16 11:06:51Z weis $ *)
+(* $Id$ *)
(* Character operations *)
(* *)
(***********************************************************************)
-(* $Id: char.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Character operations. *)
(* *)
(***********************************************************************)
-(* $Id: complex.ml 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(* Complex numbers *)
(* *)
(***********************************************************************)
-(* $Id: complex.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Complex numbers.
(* *)
(***********************************************************************)
-(* $Id: digest.ml 6044 2003-12-31 14:20:40Z doligez $ *)
+(* $Id$ *)
(* Message digest (MD5) *)
(* *)
(***********************************************************************)
-(* $Id: digest.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** MD5 message digest.
(* *)
(***********************************************************************)
-(* $Id: filename.ml 9540 2010-01-20 16:26:46Z doligez $ *)
+(* $Id$ *)
let generic_quote quotequote s =
let l = String.length s in
(* *)
(***********************************************************************)
-(* $Id: filename.mli 10957 2011-02-21 15:17:38Z xclerc $ *)
+(* $Id$ *)
(** Operations on file names. *)
(* *)
(***********************************************************************)
-(* $Id: format.ml 10348 2010-05-03 09:18:20Z weis $ *)
+(* $Id$ *)
(* A pretty-printing facility and definition of formatters for ``parallel''
(i.e. unrelated or independent) pretty-printing on multiple out channels. *)
(* *)
(***********************************************************************)
-(* $Id: format.mli 10970 2011-03-06 16:13:14Z weis $ *)
+(* $Id$ *)
(** Pretty printing.
(* *)
(***********************************************************************)
-(* $Id: gc.ml 10315 2010-04-27 07:55:08Z xleroy $ *)
+(* $Id$ *)
type stat = {
minor_words : float;
(* *)
(***********************************************************************)
-(* $Id: gc.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** Memory management control and statistics; finalised values. *)
(* *)
(***********************************************************************)
-(* $Id: genlex.ml 4694 2002-04-18 07:27:47Z garrigue $ *)
+(* $Id$ *)
type token =
Kwd of string
(* *)
(***********************************************************************)
-(* $Id: genlex.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** A generic lexical analyzer.
(* *)
(***********************************************************************)
-(* $Id: hashtbl.ml 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(* Hash tables *)
(* *)
(***********************************************************************)
-(* $Id: hashtbl.mli 6854 2005-05-04 13:36:47Z doligez $ *)
+(* $Id$ *)
(** Hash tables and hash functions.
/* */
/***********************************************************************/
-/* $Id: header.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
/* The launcher for bytecode executables (if #! is not working) */
/* */
/***********************************************************************/
-/* $Id: headernt.c 7829 2007-02-07 10:31:36Z ertai $ */
+/* $Id$ */
#define STRICT
#define WIN32_LEAN_AND_MEAN
(* *)
(***********************************************************************)
-(* $Id: int32.ml 7818 2007-01-30 09:34:36Z xleroy $ *)
+(* $Id$ *)
(* Module [Int32]: 32-bit integers *)
(* *)
(***********************************************************************)
-(* $Id: int32.mli 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
(** 32-bit integers.
(* *)
(***********************************************************************)
-(* $Id: int64.ml 7818 2007-01-30 09:34:36Z xleroy $ *)
+(* $Id$ *)
(* Module [Int64]: 64-bit integers *)
(* *)
(***********************************************************************)
-(* $Id: int64.mli 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
(** 64-bit integers.
(* *)
(***********************************************************************)
-(* $Id: lazy.ml 8974 2008-08-01 16:57:10Z mauny $ *)
+(* $Id$ *)
(* Module [Lazy]: deferred computations *)
(* *)
(***********************************************************************)
-(* $Id: lazy.mli 10394 2010-05-12 14:56:09Z doligez $ *)
+(* $Id$ *)
(** Deferred computations. *)
(* *)
(***********************************************************************)
-(* $Id: lexing.ml 8787 2008-01-22 16:27:53Z doligez $ *)
+(* $Id$ *)
(* The run-time library for lexers generated by camllex *)
(* *)
(***********************************************************************)
-(* $Id: lexing.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** The run-time library for lexers generated by [ocamllex]. *)
(* *)
(***********************************************************************)
-(* $Id: list.ml 7597 2006-09-11 12:18:00Z doligez $ *)
+(* $Id$ *)
(* List operations *)
(* *)
(***********************************************************************)
-(* $Id: list.mli 7597 2006-09-11 12:18:00Z doligez $ *)
+(* $Id$ *)
(** List operations.
(* *)
(***********************************************************************)
-(* $Id: listLabels.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Module [ListLabels]: labelled List module *)
(* *)
(***********************************************************************)
-(* $Id: listLabels.mli 7805 2007-01-22 08:06:09Z garrigue $ *)
+(* $Id$ *)
(** List operations.
(* *)
(***********************************************************************)
-(* $Id: map.ml 10468 2010-05-25 13:29:43Z frisch $ *)
+(* $Id$ *)
module type OrderedType =
sig
(* *)
(***********************************************************************)
-(* $Id: map.mli 10632 2010-07-24 14:16:58Z garrigue $ *)
+(* $Id$ *)
(** Association tables over ordered types.
(* *)
(***********************************************************************)
-(* $Id: marshal.ml 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
type extern_flags =
No_sharing
(* *)
(***********************************************************************)
-(* $Id: marshal.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Marshaling of data structures.
(* *)
(***********************************************************************)
-(* $Id: moreLabels.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Module [MoreLabels]: meta-module for compatibility labelled libraries *)
(* *)
(***********************************************************************)
-(* $Id: moreLabels.mli 10468 2010-05-25 13:29:43Z frisch $ *)
+(* $Id$ *)
(** Extra labeled libraries.
(* *)
(***********************************************************************)
-(* $Id: nativeint.ml 7818 2007-01-30 09:34:36Z xleroy $ *)
+(* $Id$ *)
(* Module [Nativeint]: processor-native integers *)
(* *)
(***********************************************************************)
-(* $Id: nativeint.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Processor-native integers.
(* *)
(***********************************************************************)
-(* $Id: obj.ml 9561 2010-01-25 11:55:30Z doligez $ *)
+(* $Id$ *)
(* Operations on internal representations of values *)
(* *)
(***********************************************************************)
-(* $Id: obj.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** Operations on internal representations of values.
(* *)
(***********************************************************************)
-(* $Id: oo.ml 6331 2004-05-26 11:10:52Z garrigue $ *)
+(* $Id$ *)
let copy = CamlinternalOO.copy
external id : < .. > -> int = "%field1"
(* *)
(***********************************************************************)
-(* $Id: oo.mli 6331 2004-05-26 11:10:52Z garrigue $ *)
+(* $Id$ *)
(** Operations on objects *)
(* *)
(***********************************************************************)
-(* $Id: parsing.ml 10908 2010-12-22 13:05:55Z xleroy $ *)
+(* $Id$ *)
(* The parsing engine *)
(* *)
(***********************************************************************)
-(* $Id: parsing.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** The run-time library for parsers generated by [ocamlyacc]. *)
(* *)
(***********************************************************************)
-(* $Id: pervasives.ml 10549 2010-06-09 10:27:01Z weis $ *)
+(* $Id$ *)
(* type 'a option = None | Some of 'a *)
(* *)
(***********************************************************************)
-(* $Id: pervasives.mli 11048 2011-05-17 13:31:32Z doligez $ *)
+(* $Id$ *)
(** The initially opened module.
(* *)
(***********************************************************************)
-(* $Id: printexc.ml 10272 2010-04-19 12:25:46Z frisch $ *)
+(* $Id$ *)
open Printf;;
(* *)
(***********************************************************************)
-(* $Id: printexc.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** Facilities for printing exceptions. *)
(* *)
(***********************************************************************)
-(* $Id: printf.ml 10969 2011-03-06 16:11:50Z weis $ *)
+(* $Id$ *)
external format_float: string -> float -> string
= "caml_format_float"
(* *)
(***********************************************************************)
-(* $Id: printf.mli 10968 2011-03-06 16:10:59Z weis $ *)
+(* $Id$ *)
(** Formatted output functions. *)
(* *)
(***********************************************************************)
-(* $Id: queue.ml 7032 2005-08-26 12:10:47Z doligez $ *)
+(* $Id$ *)
exception Empty
(* *)
(***********************************************************************)
-(* $Id: queue.mli 4956 2002-06-27 08:48:26Z xleroy $ *)
+(* $Id$ *)
(** First-in first-out queues.
(* *)
(***********************************************************************)
-(* $Id: random.ml 9621 2010-02-05 17:34:14Z doligez $ *)
+(* $Id$ *)
(* Pseudo-random number generator
This is a lagged-Fibonacci F(55, 24, +) with a modified addition
(* *)
(***********************************************************************)
-(* $Id: random.mli 10457 2010-05-21 18:30:12Z doligez $ *)
+(* $Id$ *)
(** Pseudo-random number generators (PRNG). *)
(* *)
(***********************************************************************)
-(* $Id: scanf.ml 10377 2010-05-05 17:49:19Z weis $ *)
+(* $Id$ *)
(* The run-time library for scanners. *)
(* *)
(***********************************************************************)
-(* $Id: scanf.mli 10967 2011-03-06 16:08:33Z weis $ *)
+(* $Id$ *)
(** Formatted input functions. *)
(* *)
(***********************************************************************)
-(* $Id: set.ml 6694 2004-11-25 00:06:06Z doligez $ *)
+(* $Id$ *)
(* Sets over ordered types *)
(* *)
(***********************************************************************)
-(* $Id: set.mli 6974 2005-07-21 14:52:45Z doligez $ *)
+(* $Id$ *)
(** Sets over ordered types.
(* *)
(***********************************************************************)
-(* $Id: sort.ml 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(* Merging and sorting *)
(* *)
(***********************************************************************)
-(* $Id: sort.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Sorting and merging lists.
(* *)
(***********************************************************************)
-(* $Id: stack.ml 4956 2002-06-27 08:48:26Z xleroy $ *)
+(* $Id$ *)
type 'a t = { mutable c : 'a list }
(* *)
(***********************************************************************)
-(* $Id: stack.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Last-in first-out stacks.
(* *)
(***********************************************************************)
-(* $Id: stdLabels.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Module [StdLabels]: meta-module for labelled libraries *)
(* *)
(***********************************************************************)
-(* $Id: stdLabels.mli 6694 2004-11-25 00:06:06Z doligez $ *)
+(* $Id$ *)
(** Standard labeled libraries.
(* *)
(***********************************************************************)
-(* $Id: std_exit.ml 4144 2001-12-07 13:41:02Z xleroy $ *)
+(* $Id$ *)
(* Ensure that [at_exit] functions are called at the end of every program *)
# This file lists all standard library modules
# (in the same order as Makefile.shared).
# It is used in particular to know what to expunge in toplevels.
-# $Id: stdlib.mllib 9540 2010-01-20 16:26:46Z doligez $
+# $Id$
Pervasives
Array
(* *)
(***********************************************************************)
-(* $Id: stream.ml 8893 2008-06-18 15:35:02Z mauny $ *)
+(* $Id$ *)
(* The fields of type t are not mutable to preserve polymorphism of
the empty stream. This is type safe because the empty stream is never
(* *)
(***********************************************************************)
-(* $Id: stream.mli 7164 2005-10-25 18:34:07Z doligez $ *)
+(* $Id$ *)
(** Streams and parsers. *)
(* *)
(***********************************************************************)
-(* $Id: string.ml 11043 2011-05-16 15:00:33Z doligez $ *)
+(* $Id$ *)
(* String operations *)
(* *)
(***********************************************************************)
-(* $Id: string.mli 9153 2008-12-03 18:09:09Z doligez $ *)
+(* $Id$ *)
(** String operations.
Given a string [s] of length [l], we call character number in [s]
(* *)
(***********************************************************************)
-(* $Id: stringLabels.ml 6054 2004-01-03 22:08:38Z doligez $ *)
+(* $Id$ *)
(* Module [StringLabels]: labelled String module *)
(* *)
(***********************************************************************)
-(* $Id: stringLabels.mli 7805 2007-01-22 08:06:09Z garrigue $ *)
+(* $Id$ *)
(** String operations. *)
(* *)
(***********************************************************************)
-(* $Id: sys.mli 10715 2010-10-12 09:55:46Z doligez $ *)
+(* $Id$ *)
(** System interface. *)
(* *)
(***********************************************************************)
-(* $Id: sys.mlp 7927 2007-02-26 14:21:57Z xleroy $ *)
+(* $Id$ *)
(* WARNING: sys.ml is generated from sys.mlp. DO NOT EDIT sys.ml or
your changes will be lost.
(* *)
(***********************************************************************)
-(* $Id: weak.ml 8823 2008-02-29 14:21:22Z doligez $ *)
+(* $Id$ *)
(** Weak array operations *)
(* *)
(***********************************************************************)
-(* $Id: weak.mli 9153 2008-12-03 18:09:09Z doligez $ *)
+(* $Id$ *)
(** Arrays of weak pointers and hash tables of weak pointers. *)
-(* $Id: printers.ml 5492 2003-04-03 02:16:20Z garrigue $ *)
+(* $Id$ *)
open Types
-(* $Id: tests.ml 2745 2000-01-07 16:47:25Z doligez $ *)
+(* $Id$ *)
let f1 = function `a x -> x=1 | `b -> true
let f2 = function `a x -> x | `b -> true
-# $Id: Makefile 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
BASEDIR=${PWD}
NO_PRINT=`($(MAKE) empty --no-print-directory > /dev/null 2>&1) && echo '--no-print-directory' || echo ''`
(* *)
(***********************************************************************)
-(* $Id: alloc.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Random allocation test *)
-# $Id: Makefile 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
compile: testing.cmi testing.cmo testing.cmx
(* *)
(***********************************************************************)
-(* $Id: testing.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Testing auxilliaries. *)
(* *)
(***********************************************************************)
-(* $Id: testing.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Testing auxilliaries. *)
-# $Id: Makefile.common 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
TOPDIR=$(BASEDIR)/..
-# $Id: Makefile.okbad 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
default: compile
-# $Id: Makefile.one 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
CMI_FILES=$(MODULES:=.cmi)
CMO_FILES=$(MODULES:=.cmo)
-# $Id: Makefile.several 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
CC=$(NATIVECC) $(NATIVECCCOMPOPTS)
FC=$(FORTAN_COMPILER)
-# $Id: Makefile.toplevel 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
default:
@for file in *.ml; do \
/* */
/***********************************************************************/
-/* $Id: alpha.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
.globl call_gen_code
.ent call_gen_code
/* */
/***********************************************************************/
-/* $Id: amd64.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
#ifdef SYS_macosx
#define ALIGN 4
(* *)
(***********************************************************************)
-(* $Id: arith.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Regression test for arithmetic instructions *)
/* */
/***********************************************************************/
-/* $Id: arm.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
.text
(* *)
(***********************************************************************)
-(* $Id: checkbound.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "checkbound2" (x: int y: int)
(checkbound x y))
(* *)
(***********************************************************************)
-(* $Id: fib.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "fib" (n: int)
(if (< n 2)
;* *
;*********************************************************************
-; $Id: hppa.S 10713 2010-10-08 11:53:19Z doligez $
+; $Id$
; Must be preprocessed by cpp
#ifdef SYS_hpux
/* */
/***********************************************************************/
-/* $Id: i386.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
/* Linux with ELF binaries does not prefix identifiers with _.
Linux with a.out binaries, FreeBSD, and NextStep do. */
;
;*********************************************************************
-; $Id: i386nt.asm 10713 2010-10-08 11:53:19Z doligez $
+; $Id$
.386
.MODEL FLAT
/* */
/***********************************************************************/
-/* $Id: ia64.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
#define ST8OFF(a,b,d) st8 [a] = b, d
#define LD8OFF(a,b,d) ld8 a = [b], d
(* *)
(***********************************************************************)
-(* $Id: integr.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "square" (x: float)
( *f x x))
(* *)
(***********************************************************************)
-(* $Id: lexcmm.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
val token: Lexing.lexbuf -> Parsecmm.token
(* *)
(***********************************************************************)
-(* $Id: lexcmm.mll 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
{
open Parsecmm
|* *
|***********************************************************************
-| $Id: m68k.S 10713 2010-10-08 11:53:19Z doligez $
+| $Id$
| call_gen_code is used with the following types:
| unit -> int
/* */
/***********************************************************************/
-/* $Id: main.c 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
#include <stddef.h>
#include <stdio.h>
(* *)
(***********************************************************************)
-(* $Id: main.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Clflags
/* */
/***********************************************************************/
-/* $Id: mainarith.c 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <math.h>
/* */
/***********************************************************************/
-/* $Id: mips.s 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
.globl call_gen_code
.ent call_gen_code
/* */
/***********************************************************************/
-/* $Id: parsecmm.mly 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
/* A simple parser for C-- */
(* *)
(***********************************************************************)
-(* $Id: parsecmmaux.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Auxiliary functions for parsing *)
(* *)
(***********************************************************************)
-(* $Id: parsecmmaux.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Auxiliary functions for parsing *)
#* *
#*********************************************************************
-# $Id: power-aix.S 10713 2010-10-08 11:53:19Z doligez $
+# $Id$
.csect .text[PR]
/* */
/*********************************************************************/
-/* $Id: power-elf.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
/* Save and restore all callee-save registers */
/* GPR 14 at sp+16 ... GPR 31 at sp+84
/* */
/*********************************************************************/
-/* $Id: power-rhapsody.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
/* Save and restore all callee-save registers */
/* GPR 14 at sp+16 ... GPR 31 at sp+84
(* *)
(***********************************************************************)
-(* $Id: quicksort.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "quicksort" (lo: int hi: int a: addr)
(if (< lo hi)
(* *)
(***********************************************************************)
-(* $Id: quicksort2.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "cmp" (i: int j: int)
(- i j))
(* *)
(***********************************************************************)
-(* $Id: soli.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
("d1": int 0 int 1
"d2": int 1 int 0
/* */
/***********************************************************************/
-/* $Id: sparc.S 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
#ifndef SYS_solaris
#define Call_gen_code _call_gen_code
(* *)
(***********************************************************************)
-(* $Id: tagged-fib.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "fib" (n: int)
(if (< n 5)
(* *)
(***********************************************************************)
-(* $Id: tagged-integr.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
("res_square": skip 8)
("h": skip 8)
(* *)
(***********************************************************************)
-(* $Id: tagged-quicksort.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "quick" (lo: int hi: int a: addr)
(if (< lo hi)
(* *)
(***********************************************************************)
-(* $Id: tagged-tak.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "tak" (x:int y:int z:int)
(if (> x y)
(* *)
(***********************************************************************)
-(* $Id: tak.cmm 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(function "tak" (x:int y:int z:int)
(if (> x y)
(* *)
(*************************************************************************)
-(* $Id: tformat.ml 10713 2010-10-08 11:53:19Z doligez $
+(* $Id$
A testbed file for the module Format.
-(* $Id: length.ml 10713 2010-10-08 11:53:19Z doligez $
+(* $Id$
A testbed file for private type abbreviation definitions.
-(* $Id: length.mli 10713 2010-10-08 11:53:19Z doligez $
+(* $Id$
A testbed file for private type abbreviation definitions.
-(* $Id: tlength.ml 10713 2010-10-08 11:53:19Z doligez $
+(* $Id$
A testbed file for private type abbreviation definitions.
(* *)
(***********************************************************************)
-(* $Id: maps.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
module IntMap = Map.Make(struct type t = int let compare x y = x-y end)
(* *)
(***********************************************************************)
-(* $Id: sets.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
module IntSet = Set.Make(struct type t = int let compare x y = x-y end)
(* *)
(***********************************************************************)
-(* $Id: fftba.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Bigarray
(* *)
(*************************************************************************)
-(* $Id: tscanf.ml 10713 2010-10-08 11:53:19Z doligez $
+(* $Id$
A testbed file for the module Scanf.
(* *)
(***********************************************************************)
-(* $Id: equations.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(****************** Equation manipulations *************)
(* *)
(***********************************************************************)
-(* $Id: equations.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Terms
(* *)
(***********************************************************************)
-(* $Id: kb.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Terms
open Equations
(* *)
(***********************************************************************)
-(* $Id: kb.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Terms
open Equations
(* *)
(***********************************************************************)
-(* $Id: kbmain.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Terms
open Equations
(* *)
(***********************************************************************)
-(* $Id: orderings.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(*********************** Recursive Path Ordering ****************************)
(* *)
(***********************************************************************)
-(* $Id: orderings.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open Terms
(* *)
(***********************************************************************)
-(* $Id: terms.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(****************** Term manipulations *****************)
(* *)
(***********************************************************************)
-(* $Id: terms.mli 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
type term =
Var of int
(* *)
(***********************************************************************)
-(* $Id: fft.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
let pi = 3.14159265358979323846
(* *)
(***********************************************************************)
-(* $Id: quicksort.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Good test for loops. Best compiled with -unsafe. *)
(* *)
(***********************************************************************)
-(* $Id: soli.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
type peg = Out | Empty | Peg
(* *)
(***********************************************************************)
-(* $Id: bdd.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Translated to Caml by Xavier Leroy *)
(* Original code written in SML by ... *)
(* *)
(***********************************************************************)
-(* $Id: boyer.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Manipulations over terms *)
(* *)
(***********************************************************************)
-(* $Id: fib.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
let rec fib n =
if n < 2 then 1 else fib(n-1) + fib(n-2)
(* *)
(***********************************************************************)
-(* $Id: hamming.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* We cannot use bignums because we don't do custom runtimes, but
int64 is a bit short, so we roll our own 37-digit numbers...
(* *)
(***********************************************************************)
-(* $Id: nucleic.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Use floating-point arithmetic *)
(* *)
(***********************************************************************)
-(* $Id: sieve.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Eratosthene's sieve *)
if not !Sys.interactive then Printexc.catch main ();;
-(* $Id: sorts.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: takc.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
let rec tak x y z =
if x > y then tak (tak (x-1) y z) (tak (y-1) z x) (tak (z-1) x y)
(* *)
(***********************************************************************)
-(* $Id: taku.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
let rec tak (x, y, z) =
if x > y then tak(tak (x-1, y, z), tak (y-1, z, x), tak (z-1, x, y))
-(* $Id: weaktest.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
let debug = false;;
(* *)
(***********************************************************************)
-(* $Id: gram_aux.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Auxiliaries for the parser. *)
/* */
/***********************************************************************/
-/* $Id: grammar.mly 10713 2010-10-08 11:53:19Z doligez $ */
+/* $Id$ */
/* The grammar for lexer definitions */
(* *)
(***********************************************************************)
-(* $Id: input 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* The lexical analyzer for lexer definitions. *)
(* *)
(***********************************************************************)
-(* $Id: lexgen.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Compiling a lexer definition *)
(* *)
(***********************************************************************)
-(* $Id: main.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* The lexer generator. Command-line parsing. *)
(* *)
(***********************************************************************)
-(* $Id: output.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Generating a DFA as a set of mutually recursive functions *)
(* *)
(***********************************************************************)
-(* $Id: scan_aux.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Auxiliaries for the lexical analyzer *)
(* *)
(***********************************************************************)
-(* $Id: scanner.mll 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* The lexical analyzer for lexer definitions. *)
(* *)
(***********************************************************************)
-(* $Id: syntax.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* The shallow abstract syntax *)
-(* file $Id: lib.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* file $Id$ *)
external raise : exn -> 'a = "%raise"
let x = 42;;
-(* eof $Id: lib.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* eof $Id$ *)
t301-object.ml -o t301-object.byte
***)
-(* $Id: t301-object.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
class c = object (self)
if y <> 2 then raise Not_found;
if z <> 4 then raise Not_found;;
-(**** eof $Id: t301-object.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(**** eof $Id$ *)
(* *)
(***********************************************************************)
-(* $Id: odoc_test.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(** Custom generator to perform test on ocamldoc. *)
-(* $Id: mixin.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
open StdLabels
open MoreLabels
-(* $Id: mixin2.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Full fledge version, using objects to structure code *)
-(* $Id: mixin3.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(* Full fledge version, using objects to structure code *)
-(* $Id: poly.ml 10713 2010-10-08 11:53:19Z doligez $ *)
+(* $Id$ *)
(*
Polymorphic methods are now available in the main branch.
Enjoy.
# Characters
-# $Id: Characters 2629 1999-11-29 19:04:21Z doligez $
+# $Id$
# Usage:
# Characters n1 to n2
# DoMake
-# $Id: DoMake 9547 2010-01-22 12:48:24Z doligez $
+# $Id$
# Execute the output of "Make -f Makefile.Mac -f Makefile.Mac.depend"
# or "Make -f Makefile -f Makefile.depend" if "Makefile.Mac" does not exist
# MakeDepend
-# $Id: MakeDepend 2631 1999-11-29 19:04:25Z doligez $
+# $Id$
# Usage: MakeDepend fileÉ
# #
#########################################################################
-# $Id: Makefile 8616 2007-11-22 22:14:43Z doligez $
+# $Id$
include Makefile.shared
# #
#########################################################################
-# $Id: Makefile.nt 8485 2007-11-07 10:14:21Z frisch $
+# $Id$
include Makefile.shared
# #
#########################################################################
-# $Id: Makefile.shared 10718 2010-10-15 15:36:55Z doligez $
+# $Id$
include ../config/Makefile
-(* $Id: addlabels.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
open StdLabels
open Asttypes
/* */
/***********************************************************************/
-/* $Id: checkstack.c 9625 2010-02-09 14:48:28Z weis $ */
+/* $Id$ */
#include <stdio.h>
#include <stdlib.h>
(* *)
(***********************************************************************)
-(* $Id: cvt_emit.mll 3304 2000-10-02 14:18:05Z maranget $ *)
+(* $Id$ *)
{
let first_item = ref false
(* *)
(***********************************************************************)
-(* $Id: depend.ml 10263 2010-04-17 14:45:12Z garrigue $ *)
+(* $Id$ *)
open Format
open Location
(* *)
(***********************************************************************)
-(* $Id: depend.mli 4694 2002-04-18 07:27:47Z garrigue $ *)
+(* $Id$ *)
(** Module dependencies. *)
(* *)
(***********************************************************************)
-(* $Id: dumpobj.ml 9015 2008-09-10 12:53:05Z doligez $ *)
+(* $Id$ *)
(* Disassembler for executable and .cmo object files *)
(* *)
(***********************************************************************)
-(* $Id: lexer299.mll 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* The lexer definition *)
(* *)
(***********************************************************************)
-(* $Id: lexer301.mll 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* The lexer definition *)
# #
#########################################################################
-# $Id: make-package-macosx 10448 2010-05-21 11:28:21Z doligez $
+# $Id$
cd package-macosx
rm -rf ocaml.pkg ocaml-rw.dmg
(* *)
(***********************************************************************)
-(* $Id: objinfo.ml 10459 2010-05-24 14:27:50Z xleroy $ *)
+(* $Id$ *)
(* Dump info on .cmi, .cmo, .cmx, .cma, .cmxa, .cmxs files
and on bytecode executables. *)
# #
#########################################################################
-# $Id: ocaml-objcopy-macosx 7307 2006-01-04 16:55:50Z doligez $
+# $Id$
TMP="${TMPDIR=/tmp}"
(* *)
(***********************************************************************)
-(* $Id: ocaml299to3.ml 3838 2001-10-03 01:34:05Z garrigue $ *)
+(* $Id$ *)
open Lexer299
(* *)
(***********************************************************************)
-(* $Id: ocamlcp.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Printf
(* *)
(***********************************************************************)
-(* $Id: ocamldep.ml 10914 2011-01-04 10:33:49Z xclerc $ *)
+(* $Id$ *)
open Format
open Location
(* *)
(***********************************************************************)
-(* $Id: ocamlmklib.mlp 10695 2010-09-29 16:46:54Z doligez $ *)
+(* $Id$ *)
open Printf
open Myocamlbuild_config
(* *)
(***********************************************************************)
-(* $Id: ocamlmktop.ml 5454 2003-03-24 15:27:01Z xleroy $ *)
+(* $Id$ *)
let _ =
let args = Ccomp.quote_files (List.tl (Array.to_list Sys.argv)) in
# #
#########################################################################
-# $Id: ocamlmktop.tpl 10443 2010-05-20 09:44:25Z doligez $
+# $Id$
exec %%BINDIR%%/ocamlc -linkall toplevellib.cma "$@" topstart.cmo
(* *)
(***********************************************************************)
-(* $Id: ocamlprof.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Printf
(* *)
(***********************************************************************)
-(* $Id: primreq.ml 7469 2006-07-05 12:09:18Z pouillar $ *)
+(* $Id$ *)
(* Determine the set of C primitives required by the given .cmo and .cma
files *)
(* *)
(***********************************************************************)
-(* $Id: profiling.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Run-time library for profiled programs *)
(* *)
(***********************************************************************)
-(* $Id: profiling.mli 6824 2005-03-24 17:20:54Z doligez $ *)
+(* $Id$ *)
(* Run-time library for profiled programs *)
(* *)
(***********************************************************************)
-(* $Id: scrapelabels.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open StdLabels
open Lexer301
(* *)
(***********************************************************************)
-(* $Id: expunge.ml 6074 2004-01-16 15:24:03Z doligez $ *)
+(* $Id$ *)
(* "Expunge" a toplevel by removing compiler modules from the global List.map.
Usage: expunge <source file> <dest file> <names of modules to keep> *)
(* *)
(***********************************************************************)
-(* $Id: genprintval.ml 9397 2009-10-26 10:53:16Z frisch $ *)
+(* $Id$ *)
(* To print values *)
(* *)
(***********************************************************************)
-(* $Id: genprintval.mli 4694 2002-04-18 07:27:47Z garrigue $ *)
+(* $Id$ *)
(* Printing of values *)
(* *)
(***********************************************************************)
-(* $Id: opttopdirs.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Toplevel directives *)
(* *)
(***********************************************************************)
-(* $Id: opttopdirs.mli 8477 2007-11-06 15:16:56Z frisch $ *)
+(* $Id$ *)
(* The toplevel directives. *)
(* *)
(***********************************************************************)
-(* $Id: opttoploop.ml 10260 2010-04-13 10:44:25Z doligez $ *)
+(* $Id$ *)
(* The interactive toplevel loop *)
(* *)
(***********************************************************************)
-(* $Id: opttoploop.mli 8705 2007-12-04 13:38:58Z doligez $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: opttopmain.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Clflags
(* *)
(***********************************************************************)
-(* $Id: opttopmain.mli 8477 2007-11-06 15:16:56Z frisch $ *)
+(* $Id$ *)
(* Start the [ocaml] toplevel loop *)
(* *)
(***********************************************************************)
-(* $Id: opttopstart.ml 8477 2007-11-06 15:16:56Z frisch $ *)
+(* $Id$ *)
let _ = Opttopmain.main()
(* *)
(***********************************************************************)
-(* $Id: topdirs.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Toplevel directives *)
(* *)
(***********************************************************************)
-(* $Id: topdirs.mli 4694 2002-04-18 07:27:47Z garrigue $ *)
+(* $Id$ *)
(* The toplevel directives. *)
(* *)
(***********************************************************************)
-(* $Id: toploop.ml 9166 2009-01-25 22:46:15Z weis $ *)
+(* $Id$ *)
(* The interactive toplevel loop *)
(* *)
(***********************************************************************)
-(* $Id: toploop.mli 8705 2007-12-04 13:38:58Z doligez $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: topmain.ml 10444 2010-05-20 14:06:29Z doligez $ *)
+(* $Id$ *)
open Clflags
(* *)
(***********************************************************************)
-(* $Id: topmain.mli 4731 2002-04-24 08:02:51Z xleroy $ *)
+(* $Id$ *)
(* Start the [ocaml] toplevel loop *)
(* *)
(***********************************************************************)
-(* $Id: topstart.ml 4731 2002-04-24 08:02:51Z xleroy $ *)
+(* $Id$ *)
let _ = Topmain.main()
(* *)
(***********************************************************************)
-(* $Id: trace.ml 3490 2001-04-19 08:34:21Z garrigue $ *)
+(* $Id$ *)
(* The "trace" facility *)
(* *)
(***********************************************************************)
-(* $Id: trace.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* The "trace" facility *)
(* *)
(***********************************************************************)
-(* $Id: annot.mli 8958 2008-07-29 15:42:44Z doligez $ *)
+(* $Id$ *)
(* Data types for annotations (Stypes.ml) *)
(* *)
(***********************************************************************)
-(* $Id: btype.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Basic operations on core types *)
(* *)
(***********************************************************************)
-(* $Id: btype.mli 8922 2008-07-19 02:13:09Z garrigue $ *)
+(* $Id$ *)
(* Basic operations on core types *)
(* *)
(***********************************************************************)
-(* $Id: ctype.ml 10702 2010-10-02 08:56:39Z garrigue $ *)
+(* $Id$ *)
(* Operations on core types *)
(* *)
(***********************************************************************)
-(* $Id: ctype.mli 10669 2010-09-06 06:34:13Z garrigue $ *)
+(* $Id$ *)
(* Operations on core types *)
(* *)
(***********************************************************************)
-(* $Id: datarepr.ml 9331 2009-09-12 12:41:07Z xleroy $ *)
+(* $Id$ *)
(* Compute constructor and label descriptions from type declarations,
determining their representation. *)
(* *)
(***********************************************************************)
-(* $Id: datarepr.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Compute constructor and label descriptions from type declarations,
determining their representation. *)
(* *)
(***********************************************************************)
-(* $Id: env.ml 11062 2011-06-01 22:23:56Z doligez $ *)
+(* $Id$ *)
(* Environment handling *)
(* *)
(***********************************************************************)
-(* $Id: env.mli 9074 2008-10-06 13:53:54Z doligez $ *)
+(* $Id$ *)
(* Environment handling *)
(* *)
(***********************************************************************)
-(* $Id: ident.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
open Format
(* *)
(***********************************************************************)
-(* $Id: ident.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Identifiers (unique names) *)
(* *)
(***********************************************************************)
-(* $Id: includeclass.ml 10541 2010-06-08 08:43:38Z garrigue $ *)
+(* $Id$ *)
(* Inclusion checks for the class language *)
(* *)
(***********************************************************************)
-(* $Id: includeclass.mli 2908 2000-03-06 22:12:09Z weis $ *)
+(* $Id$ *)
(* Inclusion checks for the class language *)
(* *)
(***********************************************************************)
-(* $Id: includecore.ml 10458 2010-05-24 06:52:16Z garrigue $ *)
+(* $Id$ *)
(* Inclusion checks for the core language *)
(* *)
(***********************************************************************)
-(* $Id: includecore.mli 10455 2010-05-21 15:13:47Z garrigue $ *)
+(* $Id$ *)
(* Inclusion checks for the core language *)
(* *)
(***********************************************************************)
-(* $Id: includemod.ml 10458 2010-05-24 06:52:16Z garrigue $ *)
+(* $Id$ *)
(* Inclusion checks for the module language *)
(* *)
(***********************************************************************)
-(* $Id: includemod.mli 10447 2010-05-21 03:36:52Z garrigue $ *)
+(* $Id$ *)
(* Inclusion checks for the module language *)
(* *)
(***********************************************************************)
-(* $Id: mtype.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Operations on module types *)
(* *)
(***********************************************************************)
-(* $Id: mtype.mli 6196 2004-04-09 13:32:28Z xleroy $ *)
+(* $Id$ *)
(* Operations on module types *)
(* *)
(***********************************************************************)
-(* $Id: oprint.ml 11051 2011-05-18 15:01:07Z xclerc $ *)
+(* $Id$ *)
open Format
open Outcometree
(* *)
(***********************************************************************)
-(* $Id: oprint.mli 10486 2010-05-31 13:18:11Z xclerc $ *)
+(* $Id$ *)
open Format
open Outcometree
(* *)
(***********************************************************************)
-(* $Id: outcometree.mli 9397 2009-10-26 10:53:16Z frisch $ *)
+(* $Id$ *)
(* Module [Outcometree]: results displayed by the toplevel *)
(* *)
(***********************************************************************)
-(* $Id: parmatch.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Detection of partial matches and unused match cases. *)
(* *)
(***********************************************************************)
-(* $Id: parmatch.mli 8906 2008-07-09 13:03:38Z mauny $ *)
+(* $Id$ *)
(* Detection of partial matches and unused match cases. *)
open Types
(* *)
(***********************************************************************)
-(* $Id: path.ml 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
type t =
Pident of Ident.t
(* *)
(***********************************************************************)
-(* $Id: path.mli 5640 2003-07-01 13:05:43Z xleroy $ *)
+(* $Id$ *)
(* Access paths *)
(* *)
(***********************************************************************)
-(* $Id: predef.ml 10288 2010-04-21 08:13:10Z xleroy $ *)
+(* $Id$ *)
(* Predefined type constructors (with special typing rules in typecore) *)
(* *)
(***********************************************************************)
-(* $Id: predef.mli 7702 2006-10-24 20:54:58Z weis $ *)
+(* $Id$ *)
(* Predefined type constructors (with special typing rules in typecore) *)
(* *)
(***********************************************************************)
-(* $Id: primitive.ml 8930 2008-07-24 05:35:22Z frisch $ *)
+(* $Id$ *)
(* Description of primitive functions *)
(* *)
(***********************************************************************)
-(* $Id: primitive.mli 8930 2008-07-24 05:35:22Z frisch $ *)
+(* $Id$ *)
(* Description of primitive functions *)
(* *)
(***********************************************************************)
-(* $Id: printtyp.ml 10703 2010-10-02 08:58:23Z garrigue $ *)
+(* $Id$ *)
(* Printing functions *)
(* *)
(***********************************************************************)
-(* $Id: printtyp.mli 7382 2006-04-16 23:28:22Z doligez $ *)
+(* $Id$ *)
(* Printing functions *)
(* *)
(***********************************************************************)
-(* $Id: stypes.ml 8958 2008-07-29 15:42:44Z doligez $ *)
+(* $Id$ *)
(* Recording and dumping (partial) type information *)
(* *)
(***********************************************************************)
-(* $Id: stypes.mli 8958 2008-07-29 15:42:44Z doligez $ *)
+(* $Id$ *)
(* Recording and dumping (partial) type information *)
(* *)
(***********************************************************************)
-(* $Id: subst.ml 10285 2010-04-20 14:11:28Z xleroy $ *)
+(* $Id$ *)
(* Substitutions *)
(* *)
(***********************************************************************)
-(* $Id: subst.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Substitutions *)
(* *)
(***********************************************************************)
-(* $Id: typeclass.ml 10702 2010-10-02 08:56:39Z garrigue $ *)
+(* $Id$ *)
open Misc
open Parsetree
(* *)
(***********************************************************************)
-(* $Id: typeclass.mli 10422 2010-05-18 17:25:02Z frisch $ *)
+(* $Id$ *)
open Asttypes
open Types
(* *)
(***********************************************************************)
-(* $Id: typecore.ml 10624 2010-07-12 09:36:07Z garrigue $ *)
+(* $Id$ *)
(* Typechecking for the core language *)
(* *)
(***********************************************************************)
-(* $Id: typecore.mli 10417 2010-05-18 16:46:46Z frisch $ *)
+(* $Id$ *)
(* Type inference for the core language *)
(* *)
(***********************************************************************)
-(* $Id: typedecl.ml 10669 2010-09-06 06:34:13Z garrigue $ *)
+(* $Id$ *)
(**** Typing of type definitions ****)
(* *)
(***********************************************************************)
-(* $Id: typedecl.mli 10669 2010-09-06 06:34:13Z garrigue $ *)
+(* $Id$ *)
(* Typing of type definitions and primitive definitions *)
(* *)
(***********************************************************************)
-(* $Id: typedtree.ml 9397 2009-10-26 10:53:16Z frisch $ *)
+(* $Id$ *)
(* Abstract syntax tree after typing *)
(* *)
(***********************************************************************)
-(* $Id: typedtree.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Abstract syntax tree after typing *)
(* *)
(***********************************************************************)
-(* $Id: typemod.ml 10706 2010-10-07 02:22:19Z garrigue $ *)
+(* $Id$ *)
(* Type-checking of the module language *)
(* *)
(***********************************************************************)
-(* $Id: typemod.mli 10419 2010-05-18 17:18:24Z frisch $ *)
+(* $Id$ *)
(* Type-checking of the module language *)
(* *)
(***********************************************************************)
-(* $Id: types.ml 9397 2009-10-26 10:53:16Z frisch $ *)
+(* $Id$ *)
(* Representation of types and declarations *)
(* *)
(***********************************************************************)
-(* $Id: types.mli 10250 2010-04-08 03:58:41Z garrigue $ *)
+(* $Id$ *)
(* Representation of types and declarations *)
(* *)
(***********************************************************************)
-(* $Id: typetexp.mli 10422 2010-05-18 17:25:02Z frisch $ *)
+(* $Id$ *)
(* Typechecking of type expressions for the core language *)
(* *)
(***********************************************************************)
-(* $Id: unused_var.ml 11110 2011-07-04 21:15:01Z doligez $ *)
+(* $Id$ *)
open Parsetree
(* *)
(***********************************************************************)
-(* $Id: unused_var.mli 7307 2006-01-04 16:55:50Z doligez $ *)
+(* $Id$ *)
val warn : Format.formatter -> Parsetree.structure -> Parsetree.structure;;
(* Warn on unused variables; return the second argument. *)
(* *)
(***********************************************************************)
-(* $Id: ccomp.ml 10326 2010-04-28 12:09:32Z xleroy $ *)
+(* $Id$ *)
(* Compiling C files and building C libraries *)
(* *)
(***********************************************************************)
-(* $Id: ccomp.mli 8768 2008-01-11 16:13:18Z doligez $ *)
+(* $Id$ *)
(* Compiling C files and building C libraries *)
(* *)
(***********************************************************************)
-(* $Id: clflags.ml 9464 2009-12-09 09:17:12Z weis $ *)
+(* $Id$ *)
(* Command-line parameters *)
(* *)
(***********************************************************************)
-(* $Id: clflags.mli 9464 2009-12-09 09:17:12Z weis $ *)
+(* $Id$ *)
val objfiles : string list ref
val ccobjs : string list ref
(* *)
(***********************************************************************)
-(* $Id: config.mlbuild 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(***********************************************************************)
(** **)
(* *)
(***********************************************************************)
-(* $Id: config.mli 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(* System configuration *)
(* *)
(***********************************************************************)
-(* $Id: config.mlp 10424 2010-05-19 11:29:38Z xleroy $ *)
+(* $Id$ *)
(***********************************************************************)
(** **)
(* *)
(***********************************************************************)
-(* $Id: consistbl.ml 5275 2002-11-18 10:41:26Z xleroy $ *)
+(* $Id$ *)
(* Consistency tables: for checking consistency of module CRCs *)
(* *)
(***********************************************************************)
-(* $Id: consistbl.mli 5275 2002-11-18 10:41:26Z xleroy $ *)
+(* $Id$ *)
(* Consistency tables: for checking consistency of module CRCs *)
(* *)
(***********************************************************************)
-(* $Id: misc.ml 7909 2007-02-23 13:44:51Z ertai $ *)
+(* $Id$ *)
(* Errors *)
(* *)
(***********************************************************************)
-(* $Id: misc.mli 9547 2010-01-22 12:48:24Z doligez $ *)
+(* $Id$ *)
(* Miscellaneous useful types and functions *)
(* *)
(***********************************************************************)
-(* $Id: tbl.ml 10285 2010-04-20 14:11:28Z xleroy $ *)
+(* $Id$ *)
type ('a, 'b) t =
Empty
(* *)
(***********************************************************************)
-(* $Id: tbl.mli 10285 2010-04-20 14:11:28Z xleroy $ *)
+(* $Id$ *)
(* Association tables from any ordered type to any type.
We use the generic ordering to compare keys. *)
(* *)
(***********************************************************************)
-(* $Id: terminfo.ml 6045 2004-01-01 16:42:43Z doligez $ *)
+(* $Id$ *)
(* Basic interface to the terminfo database *)
(* *)
(***********************************************************************)
-(* $Id: terminfo.mli 6045 2004-01-01 16:42:43Z doligez $ *)
+(* $Id$ *)
(* Basic interface to the terminfo database *)
(* *)
(***********************************************************************)
-(* $Id: warnings.ml 10450 2010-05-21 12:00:49Z doligez $ *)
+(* $Id$ *)
(* When you change this, you need to update the documentation:
- man/ocamlc.m in ocaml
(* *)
(***********************************************************************)
-(* $Id: warnings.mli 10369 2010-05-04 18:44:38Z frisch $ *)
+(* $Id$ *)
open Format
# #
#########################################################################
-# $Id: Makefile 8521 2007-11-15 13:21:15Z frisch $
+# $Id$
include ../config/Makefile
/* */
/***********************************************************************/
-/* $Id: inria.h 9153 2008-12-03 18:09:09Z doligez $ */
+/* $Id$ */
/*------------------------------------------------------------------------
Module: D:\lcc\inria\inria.h
/* */
/***********************************************************************/
-/* $Id: libgraph.h 5029 2002-07-23 14:12:03Z doligez $ */
+/* $Id$ */
#include <stdio.h>
#include <windows.h>
/* Began 14 Sept 2003 - watford@uiuc.edu */
/***********************************************************************/
-/* $Id: menu.c 7411 2006-05-09 16:03:48Z xleroy $ */
+/* $Id$ */
#include <stdio.h>
#include <windows.h>
/* Began 14 Sept 2003 - watford@uiuc.edu */
/***********************************************************************/
-/* $Id: ocaml.c 7411 2006-05-09 16:03:48Z xleroy $ */
+/* $Id$ */
/*@@ Wedit generated application. Written Sat Jun 02 18:22:38 2001
@@header: D:\lcc\inria\inriares.h
/* Began 14 Sept 2003 - watford@uiuc.edu */
/***********************************************************************/
-/* $Id: startocaml.c 6824 2005-03-24 17:20:54Z doligez $ */
+/* $Id$ */
#include <windows.h>
#include <stdio.h>
# #
#########################################################################
-# $Id: Makefile 10448 2010-05-21 11:28:21Z doligez $
+# $Id$
# Makefile for the parser generator.
# #
#########################################################################
-# $Id: Makefile.nt 10448 2010-05-21 11:28:21Z doligez $
+# $Id$
# Makefile for the parser generator.
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: closure.c 3573 2001-07-12 12:54:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: defs.h 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include <assert.h>
#include <ctype.h>
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: error.c 6654 2004-11-02 10:48:14Z doligez $ */
+/* $Id$ */
/* routines for printing error messages */
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: lalr.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: lr0.c 3573 2001-07-12 12:54:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: main.c 10444 2010-05-20 14:06:29Z doligez $ */
+/* $Id$ */
#include <signal.h>
#include <string.h>
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: mkpar.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: output.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: reader.c 9319 2009-07-20 11:51:50Z doligez $ */
+/* $Id$ */
#include <string.h>
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: skeleton.c 7019 2005-08-13 20:59:37Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: symtab.c 3573 2001-07-12 12:54:24Z doligez $ */
+/* $Id$ */
#include <string.h>
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: verbose.c 9547 2010-01-22 12:48:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
/* Based on public-domain code from Berkeley Yacc */
-/* $Id: warshall.c 3573 2001-07-12 12:54:24Z doligez $ */
+/* $Id$ */
#include "defs.h"
projects / ocaml.git / commitdiff