Commit 42203b0c authored by Pietro Abate's avatar Pietro Abate

[r2005-05-24 20:48:51 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-24 20:48:51+00:00
parent 03f9b692
......@@ -141,7 +141,6 @@ SCHEMA_OBJS = \
OBJECTS = \
driver/config.cmo \
misc/stats.cmo \
misc/ptmap.cmo misc/hashset.cmo \
misc/serialize.cmo misc/custom.cmo \
misc/state.cmo misc/pool.cmo misc/encodings.cmo \
misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo misc/imap.cmo \
......
......@@ -2,10 +2,6 @@ driver/config.cmo: driver/config.cmi
driver/config.cmx: driver/config.cmi
misc/stats.cmo: misc/stats.cmi
misc/stats.cmx: misc/stats.cmi
misc/ptmap.cmo: misc/ptmap.cmi
misc/ptmap.cmx: misc/ptmap.cmi
misc/hashset.cmo: misc/ptmap.cmi misc/hashset.cmi
misc/hashset.cmx: misc/ptmap.cmx misc/hashset.cmi
misc/serialize.cmo: misc/serialize.cmi
misc/serialize.cmx: misc/serialize.cmi
misc/custom.cmo: misc/serialize.cmi
......@@ -55,13 +51,13 @@ types/normal.cmx: types/normal.cmi
types/types.cmo: misc/stats.cmi misc/state.cmi types/sortedList.cmi \
misc/serialize.cmi misc/pretty.cmi misc/pool.cmi misc/ns.cmi \
types/normal.cmi misc/inttbl.cmi types/intervals.cmi types/ident.cmo \
misc/hashset.cmi misc/encodings.cmi misc/custom.cmo types/chars.cmi \
misc/bool.cmi types/atoms.cmi types/types.cmi
misc/encodings.cmi misc/custom.cmo types/chars.cmi misc/bool.cmi \
types/atoms.cmi types/types.cmi
types/types.cmx: misc/stats.cmx misc/state.cmx types/sortedList.cmx \
misc/serialize.cmx misc/pretty.cmx misc/pool.cmx misc/ns.cmx \
types/normal.cmx misc/inttbl.cmx types/intervals.cmx types/ident.cmx \
misc/hashset.cmx misc/encodings.cmx misc/custom.cmx types/chars.cmx \
misc/bool.cmx types/atoms.cmx types/types.cmi
misc/encodings.cmx misc/custom.cmx types/chars.cmx misc/bool.cmx \
types/atoms.cmx types/types.cmi
types/sample.cmo: types/types.cmi types/intervals.cmi types/ident.cmo \
types/chars.cmi types/atoms.cmi types/sample.cmi
types/sample.cmx: types/types.cmx types/intervals.cmx types/ident.cmx \
......@@ -290,8 +286,6 @@ ocamliface/mlstub.cmx: types/types.cmx typing/typer.cmx types/sequence.cmx \
driver/librarian.cmx types/ident.cmx types/externals.cmx \
driver/config.cmx compile/compile.cmx types/builtin_defs.cmx \
types/atoms.cmx ocamliface/mlstub.cmi
parser/cduce_curl.cmo: parser/url.cmi driver/config.cmi
parser/cduce_curl.cmx: parser/url.cmx driver/config.cmx
runtime/cduce_expat.cmo: parser/url.cmi schema/schema_xml.cmi \
parser/location.cmi runtime/load_xml.cmi driver/config.cmi \
runtime/cduce_expat.cmi
......@@ -356,7 +350,6 @@ runtime/cduce_pxp.cmo: parser/url.cmi schema/schema_xml.cmi \
runtime/cduce_pxp.cmx: parser/url.cmx schema/schema_xml.cmx \
parser/location.cmx runtime/load_xml.cmx driver/config.cmx \
runtime/cduce_pxp.cmi
misc/hashset.cmi: misc/pretty.cmi
misc/pool.cmi: misc/custom.cmo
misc/encodings.cmi: misc/serialize.cmi misc/custom.cmo
misc/ns.cmi: misc/serialize.cmi misc/encodings.cmi misc/custom.cmo
......
......@@ -597,6 +597,7 @@ struct
| Zero -> False | One -> True | Branch (x,p,n,_,_) -> Br (x,p,n)
end
(*
module Simplify(X : Custom.T) = struct
type elem = X.t
......@@ -1496,3 +1497,4 @@ module type S'' = sig
type tree = Split of elem list * elem list * tree list option
val get_tree: t -> tree
end
*)
......@@ -38,6 +38,7 @@ end
module MakeBdd(X : Custom.T) : S' with type elem = X.t
(*
module type S'' = sig
include S
type tree = Split of elem list * elem list * tree list option
......@@ -45,6 +46,4 @@ module type S'' = sig
end
module Simplify(X : Custom.T) : S'' with type elem = X.t
*)
......@@ -489,8 +489,8 @@ and BoolPair : Bool.S with type elem = Node.t * Node.t =
and BoolRec : Bool.S with type elem = bool * Node.t label_map =
(*Bool.Simplify*)(Bool.Make)(Custom.Pair(Custom.Bool)(LabelSet.MakeMap(NodeT)))
module DescrHash = (*Hashtbl.Make*)Hashset.MakeTable(Descr)
module DescrMap = (*Map.Make*)Hashset.Make(Descr)
module DescrHash = Hashtbl.Make(Descr)
module DescrMap = Map.Make(Descr)
module DescrSet = Set.Make(Descr)
module DescrSList = SortedList.Make(Descr)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment