Added LinearizedArray to MenhirLib.

GNUmakefile

@@ -79,6 +79,7 @@ DISTRIBUTED_FILES := AUTHORS CHANGES INSTALLATION LICENSE Makefile demos
 LIBFILES := \
   src/standard.mly \
   src/infiniteArray.{ml,mli} \
+  src/LinearizedArray.{ml,mli} \
   src/packedIntArray.{ml,mli} \
   src/rowDisplacement.{ml,mli} \
   src/IncrementalEngine.ml \

LICENSE

@@ -2,6 +2,7 @@ In the following, "the Library" refers to the following files:
 
   src/standard.mly
   src/infiniteArray.{ml,mli}
+  src/LinearizedArray.{ml,mli}
   src/packedIntArray.{ml,mli}
   src/rowDisplacement.{ml,mli}
   src/IncrementalEngine.ml

src/_tags

@@ -20,6 +20,7 @@
 # and GNUmakefile in the toplevel directory, and update the file
 # menhirLib.mlpack in this directory.
 <infiniteArray.cmx>: for-pack(MenhirLib)
+<LinearizedArray.cmx>: for-pack(MenhirLib)
 <packedIntArray.cmx>: for-pack(MenhirLib)
 <rowDisplacement.cmx>: for-pack(MenhirLib)
 <IncrementalEngine.cmx>: for-pack(MenhirLib)

src/menhirLib.mlpack

@@ -2,6 +2,7 @@
 # and GNUmakefile in the toplevel directory, and update the file
 # _tags in this directory.
 InfiniteArray
+LinearizedArray
 PackedIntArray
 RowDisplacement
 IncrementalEngine

src/tableBackend.ml

@@ -902,8 +902,8 @@ let production_defs2 () =
   let productions : int array array =
     Array.of_list (List.map Array.of_list productions)
   in
-  let productions : int LinearizedArray.t =
-    LinearizedArray.make productions
+  let productions : int MenhirLib.LinearizedArray.t =
+    MenhirLib.LinearizedArray.make productions
   in
   let (data, entry) = productions in
   define_and_measure (