Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
02023d6c
Commit
02023d6c
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-05-09 11:48:14 by afrisch] Empty log message
Original author: afrisch Date: 2005-05-09 11:48:15+00:00
parent
224260ec
Changes
5
Hide whitespace changes
Inline
Side-by-side
Makefile.distrib
View file @
02023d6c
...
...
@@ -142,7 +142,7 @@ OBJECTS = \
driver/config.cmo
\
misc/stats.cmo
\
misc/serialize.cmo misc/custom.cmo
\
misc/state.cmo misc/pool.cmo misc/encodings.cmo
misc/myweak.cmo
\
misc/state.cmo misc/pool.cmo misc/encodings.cmo
\
misc/bool.cmo
\
misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo misc/imap.cmo
\
misc/html.cmo
\
...
...
depend
View file @
02023d6c
...
...
@@ -14,14 +14,8 @@ misc/pool.cmx: misc/state.cmx misc/serialize.cmx misc/custom.cmx \
misc/pool.cmi
misc/encodings.cmo: misc/serialize.cmi misc/custom.cmo misc/encodings.cmi
misc/encodings.cmx: misc/serialize.cmx misc/custom.cmx misc/encodings.cmi
misc/myweak.cmo: misc/myweak.cmi
misc/myweak.cmx: misc/myweak.cmi
misc/memo.cmo: misc/memo.cmi
misc/memo.cmx: misc/memo.cmi
misc/bool.cmo: misc/serialize.cmi misc/myweak.cmi misc/memo.cmi \
misc/custom.cmo misc/bool.cmi
misc/bool.cmx: misc/serialize.cmx misc/myweak.cmx misc/memo.cmx \
misc/custom.cmx misc/bool.cmi
misc/bool.cmo: misc/serialize.cmi misc/custom.cmo misc/bool.cmi
misc/bool.cmx: misc/serialize.cmx misc/custom.cmx misc/bool.cmi
misc/pretty.cmo: misc/pretty.cmi
misc/pretty.cmx: misc/pretty.cmi
misc/ns.cmo: misc/state.cmi misc/serialize.cmi misc/pool.cmi \
...
...
@@ -276,10 +270,10 @@ runtime/system.cmx: runtime/value.cmx types/types.cmx types/sequence.cmx \
types/builtin_defs.cmx types/builtin.cmx types/atoms.cmx
ocamliface/mltypes.cmo: types/types.cmi parser/location.cmi \
driver/librarian.cmi types/ident.cmo driver/config.cmi \
ocamliface/mltypes.cmi
ocamliface/asttypes.cmi
ocamliface/mltypes.cmi
ocamliface/mltypes.cmx: types/types.cmx parser/location.cmx \
driver/librarian.cmx types/ident.cmx driver/config.cmx \
ocamliface/mltypes.cmi
ocamliface/asttypes.cmi
ocamliface/mltypes.cmi
ocamliface/mlstub.cmo: types/types.cmi typing/typer.cmi types/sequence.cmi \
misc/ns.cmi ocamliface/mltypes.cmi parser/location.cmi \
driver/librarian.cmi types/ident.cmo types/externals.cmi \
...
...
@@ -290,6 +284,8 @@ 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
...
...
@@ -322,10 +318,10 @@ tools/validate.cmx: schema/schema_types.cmx schema/schema_parser.cmx \
schema/schema_common.cmx
ocamliface/mltypes.cmo: types/types.cmi parser/location.cmi \
driver/librarian.cmi types/ident.cmo driver/config.cmi \
ocamliface/mltypes.cmi
ocamliface/asttypes.cmi
ocamliface/mltypes.cmi
ocamliface/mltypes.cmx: types/types.cmx parser/location.cmx \
driver/librarian.cmx types/ident.cmx driver/config.cmx \
ocamliface/mltypes.cmi
ocamliface/asttypes.cmi
ocamliface/mltypes.cmi
ocamliface/mlstub.cmo: types/types.cmi typing/typer.cmi types/sequence.cmi \
misc/ns.cmi ocamliface/mltypes.cmi parser/location.cmi \
driver/librarian.cmi types/ident.cmo types/externals.cmi \
...
...
@@ -408,7 +404,7 @@ types/builtin.cmi: runtime/value.cmi typing/typer.cmi
driver/librarian.cmi: runtime/value.cmi types/types.cmi typing/typer.cmi \
types/ident.cmo compile/compile.cmi
driver/cduce.cmi: runtime/value.cmi misc/ns.cmi
ocamliface/mltypes.cmi: types/types.cmi
ocamliface/mltypes.cmi: types/types.cmi
ocamliface/mltypes.cmi: types/types.cmi
ocamliface/asttypes.cmi
ocamliface/mltypes.cmi: types/types.cmi
ocamliface/asttypes.cmi
schema/schema_types.cmi: runtime/value.cmi misc/ns.cmi misc/encodings.cmi \
types/atoms.cmi
misc/bool.ml
View file @
02023d6c
...
...
@@ -423,7 +423,7 @@ struct
(* Internalization + detection of useless branching *)
let
max_id
=
ref
2
(* Must be >= 2 *)
module
W
=
Myweak
.
Make
(
module
W
=
Weak
(*
Myweak
*)
.
Make
(
struct
type
t
=
node
...
...
@@ -593,6 +593,7 @@ struct
|
Zero
->
False
|
One
->
True
|
Branch
(
x
,
p
,
n
,_,_
)
->
Br
(
x
,
p
,
n
)
end
(*
module Simplify(M : MAKE)(X : Custom.T) = struct
module B = M(X)
type elem = X.t
...
...
@@ -1095,3 +1096,4 @@ module Simplify(M : MAKE)(X : Custom.T) = struct
mk vars subs
end
*)
misc/bool.mli
View file @
02023d6c
...
...
@@ -38,7 +38,6 @@ end
module
MakeBdd
(
X
:
Custom
.
T
)
:
S'
with
type
elem
=
X
.
t
(*
module Simplify(B : MAKE) : MAKE
*)
types/types.ml
View file @
02023d6c
...
...
@@ -484,7 +484,7 @@ end
(* It is also possible to use Boolean instead of Bool here;
need to analyze when each one is more efficient *)
and
BoolPair
:
Bool
.
S
with
type
elem
=
Node
.
t
*
Node
.
t
=
Bool
.
Simplify
(
Bool
.
Make
)(
Custom
.
Pair
(
NodeT
)(
NodeT
))
(*
Bool.Simplify
*)
(
Bool
.
Make
)(
Custom
.
Pair
(
NodeT
)(
NodeT
))
and
BoolRec
:
Bool
.
S
with
type
elem
=
bool
*
Node
.
t
label_map
=
(*Bool.Simplify*)
(
Bool
.
Make
)(
Custom
.
Pair
(
Custom
.
Bool
)(
LabelSet
.
MakeMap
(
NodeT
)))
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment