Commit a441ff47 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-05-24 13:37:11 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-24 13:37:11+00:00
parent a25f2eeb
...@@ -484,7 +484,7 @@ end ...@@ -484,7 +484,7 @@ end
(* It is also possible to use Boolean instead of Bool here; (* It is also possible to use Boolean instead of Bool here;
need to analyze when each one is more efficient *) need to analyze when each one is more efficient *)
and BoolPair : Bool.S with type elem = Node.t * Node.t = 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 = and BoolRec : Bool.S with type elem = bool * Node.t label_map =
(*Bool.Simplify*)(Bool.Make)(Custom.Pair(Custom.Bool)(LabelSet.MakeMap(NodeT))) (*Bool.Simplify*)(Bool.Make)(Custom.Pair(Custom.Bool)(LabelSet.MakeMap(NodeT)))
......
...@@ -75,8 +75,8 @@ Alain Frisch. ...@@ -75,8 +75,8 @@ Alain Frisch.
<link url="http://www.cduce.org/download/ulex-0.4.tar.gz" title="Download"> <link url="http://www.cduce.org/download/ulex-0.4.tar.gz" title="Download">
Version 0.4, for OCaml &lt;= 3.07. Version 0.4, for OCaml &lt;= 3.07.
</link> </link>
<link url="http://www.cduce.org/download/ulex-0.5.tar.gz" title="Download"> <link url="http://www.cduce.org/download/ulex-0.7.tar.gz" title="Download">
Version 0.5, for OCaml 3.08. Version 0.7, for OCaml 3.08, 3.09.
</link> </link>
<p> <p>
In addition to CDuce, <code>ulex</code> is also used in other In addition to CDuce, <code>ulex</code> is also used in other
......
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