From e2177ee0b956471021426ca6f317b0c0ceb3d3f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Wed, 14 Oct 2015 09:14:24 +0200 Subject: [PATCH] Removed all $Id headers that were still around. --- src/action.ml | 2 -- src/action.mli | 2 -- src/concreteSyntax.mli | 1 - src/infiniteArray.ml | 2 -- src/infiniteArray.mli | 2 -- src/listMonad.mli | 2 -- src/misc.ml | 3 +++ src/nonTerminalDefinitionInlining.ml | 1 - src/nonTerminalDefinitionInlining.mli | 2 -- src/parameterizedGrammar.mli | 2 -- src/parameters.ml | 2 -- src/partialGrammar.ml | 1 - src/partialGrammar.mli | 2 -- src/positions.ml | 2 -- src/positions.mli | 2 -- src/stretch.mli | 2 -- src/unionFind.ml | 2 -- src/unionFind.mli | 2 -- 18 files changed, 3 insertions(+), 31 deletions(-) diff --git a/src/action.ml b/src/action.ml index 53e5773b..5d34abcb 100644 --- a/src/action.ml +++ b/src/action.ml @@ -1,5 +1,3 @@ -(* $Id: action.ml,v 1.10 2006/06/26 09:41:33 regisgia Exp $ *) - open Keyword type t = diff --git a/src/action.mli b/src/action.mli index dad6d472..c56abfb0 100644 --- a/src/action.mli +++ b/src/action.mli @@ -1,5 +1,3 @@ -(* $Id: action.mli,v 1.8 2006/06/26 09:41:33 regisgia Exp $ *) - (** Semantic action's type. *) type t diff --git a/src/concreteSyntax.mli b/src/concreteSyntax.mli index 2e04df0d..b7268371 100644 --- a/src/concreteSyntax.mli +++ b/src/concreteSyntax.mli @@ -1,4 +1,3 @@ -(* $Id: concreteSyntax.mli,v 1.3 2005/12/01 16:20:06 regisgia Exp $ *) type grammar = { pg_filename : Syntax.filename; diff --git a/src/infiniteArray.ml b/src/infiniteArray.ml index 1b7d79bb..35f839b8 100644 --- a/src/infiniteArray.ml +++ b/src/infiniteArray.ml @@ -1,5 +1,3 @@ -(* $Id: infiniteArray.ml,v 1.6 2007/09/10 21:09:37 fpottier Exp $ *) - (** This module implements infinite arrays, that is, arrays that grow transparently upon demand. *) diff --git a/src/infiniteArray.mli b/src/infiniteArray.mli index ad713de0..52b23b6d 100644 --- a/src/infiniteArray.mli +++ b/src/infiniteArray.mli @@ -1,5 +1,3 @@ -(* $Id: infiniteArray.mli,v 1.5 2007/09/10 21:09:37 fpottier Exp $ *) - (** This module implements infinite arrays. **) type 'a t diff --git a/src/listMonad.mli b/src/listMonad.mli index 8b93b96f..5007d5b2 100644 --- a/src/listMonad.mli +++ b/src/listMonad.mli @@ -1,5 +1,3 @@ -(* $Id: listMonad.mli,v 1.2 2005/12/01 16:20:06 regisgia Exp $ *) - (** Monad type which represents a list of results. *) type 'a m = 'a list diff --git a/src/misc.ml b/src/misc.ml index 99d4d4e9..14bf24d7 100644 --- a/src/misc.ml +++ b/src/misc.ml @@ -279,3 +279,6 @@ let new_intern capacity = !c (H.length table) in intern, verbose + +let new_intern_int capacity = + diff --git a/src/nonTerminalDefinitionInlining.ml b/src/nonTerminalDefinitionInlining.ml index c051b1da..28ad4963 100644 --- a/src/nonTerminalDefinitionInlining.ml +++ b/src/nonTerminalDefinitionInlining.ml @@ -1,4 +1,3 @@ -(* $Id: nonTerminalDefinitionInlining.ml,v 1.17 2006/06/26 09:41:33 regisgia Exp $ *) open UnparameterizedSyntax open ListMonad diff --git a/src/nonTerminalDefinitionInlining.mli b/src/nonTerminalDefinitionInlining.mli index a44f586b..eea3871f 100644 --- a/src/nonTerminalDefinitionInlining.mli +++ b/src/nonTerminalDefinitionInlining.mli @@ -1,5 +1,3 @@ -(* $Id: nonTerminalDefinitionInlining.mli,v 1.5 2005/12/01 16:20:06 regisgia Exp $ *) - (** [inline g] traverses the rules of [g] and inlines the non terminal definitions that are marked with [%inline]. It returns a pair of the transformed grammar and a flag that tells whether any inlining was actually done. *) diff --git a/src/parameterizedGrammar.mli b/src/parameterizedGrammar.mli index a37f8778..d43fcc11 100644 --- a/src/parameterizedGrammar.mli +++ b/src/parameterizedGrammar.mli @@ -1,5 +1,3 @@ -(* $Id: parameterizedGrammar.mli,v 1.6 2005/12/01 16:20:06 regisgia Exp $ *) - (* This turns a grammar where nonterminal symbols can be parameterized into a grammar where nonterminal symbols are not parameterized. The transformation is a textual expansion process, whose termination is diff --git a/src/parameters.ml b/src/parameters.ml index 43137cc4..54e931be 100644 --- a/src/parameters.ml +++ b/src/parameters.ml @@ -1,5 +1,3 @@ -(* $Id: parameters.ml,v 1.12 2005/12/02 16:16:22 regisgia Exp $ *) - (* TEMPORARY clean up and write an .mli file *) open Syntax diff --git a/src/partialGrammar.ml b/src/partialGrammar.ml index bb8a08a4..6ba83564 100644 --- a/src/partialGrammar.ml +++ b/src/partialGrammar.ml @@ -1,4 +1,3 @@ -(* $Id: partialGrammar.ml,v 1.63 2006/10/22 14:07:57 fpottier Exp $ *) open Misc open Syntax open ConcreteSyntax diff --git a/src/partialGrammar.mli b/src/partialGrammar.mli index 90e4d992..46dc892f 100644 --- a/src/partialGrammar.mli +++ b/src/partialGrammar.mli @@ -1,4 +1,2 @@ -(* $Id: partialGrammar.mli,v 1.4 2005/12/01 16:20:07 regisgia Exp $ *) - val join_partial_grammars : ConcreteSyntax.grammar list -> InternalSyntax.grammar diff --git a/src/positions.ml b/src/positions.ml index c43c963c..c4783124 100644 --- a/src/positions.ml +++ b/src/positions.ml @@ -1,5 +1,3 @@ -(* $Id: positions.ml,v 1.9 2005/12/01 16:20:07 regisgia Exp $ *) - (* TEMPORARY vérifier que ces fonctions sont utilisées partout et de façon cohérente; interaction avec [Error]? *) diff --git a/src/positions.mli b/src/positions.mli index f40f81cb..16dc42e3 100644 --- a/src/positions.mli +++ b/src/positions.mli @@ -1,5 +1,3 @@ -(* $Id: positions.mli,v 1.10 2005/12/01 16:20:07 regisgia Exp $ *) - (* TEMPORARY faire un peu le ménage dans cette interface pléthorique? *) (** Extension of standard library's positions. *) diff --git a/src/stretch.mli b/src/stretch.mli index 02b6bdcd..68188192 100644 --- a/src/stretch.mli +++ b/src/stretch.mli @@ -1,5 +1,3 @@ -(* $Id: stretch.mli,v 1.4 2005/12/01 16:20:07 regisgia Exp $ *) - (* A stretch is a fragment of a source file. It holds the file name, the line number, and the line count (that is, the length) of the fragment. These are used for generating #line directives when the diff --git a/src/unionFind.ml b/src/unionFind.ml index 6a07a169..4e86b6e0 100644 --- a/src/unionFind.ml +++ b/src/unionFind.ml @@ -1,5 +1,3 @@ -(* $Id: unionFind.ml,v 1.5 2005/12/01 16:20:07 regisgia Exp $ *) - (** This module implements a simple and efficient union/find algorithm. See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set Union Algorithm'', JACM 22(2), 1975. *) diff --git a/src/unionFind.mli b/src/unionFind.mli index e8d3148e..1012e641 100644 --- a/src/unionFind.mli +++ b/src/unionFind.mli @@ -1,5 +1,3 @@ -(* $Id: unionFind.mli,v 1.5 2005/12/01 16:20:07 regisgia Exp $ *) - (** This module implements a simple and efficient union/find algorithm. See Robert E. Tarjan, ``Efficiency of a Good But Not Linear Set Union Algorithm'', JACM 22(2), 1975. *) -- GitLab