Commit 34c2cc05 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-16 18:44:26 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-16 18:44:26+00:00
parent 0d987226
......@@ -112,7 +112,7 @@ What about computing 10000! ?
</abstract>
<code>
<![CDATA[
(* Yes, CDuce can handle large integers ! *)
(* Yes, CDuce can handle large integers! *)
let fun facto (Int -> Int)
| 0 | 1 -> 1
| n -> n * (facto (n - 1))
......
......@@ -56,7 +56,7 @@ let examples =
let fun script (code : String) : String =
"/cgi-bin/cduce2?example=" @ code;;
"/cgi-bin/cduce?example=" @ code;;
let fun do_example (<_ code=c>[<title>t <abstract>a; _] : Example) : Li =
<li>[ <a href = script c >[ !t '.' ] ' ' !a ];;
......
......@@ -254,7 +254,7 @@ and empty_rec_times c =
and empty_rec_times_aux (left,right) =
let rec aux accu1 accu2 = function
| (t1,t2)::right ->
(* This may avoid explosion with huge rhs ...
(* This avoids explosion with huge rhs (+/- degenerated partitioning)
May be slower when List.length right is small; could optimize
this case... *)
if empty_rec (cap_t accu1 t1) || empty_rec (cap_t accu2 t2) then
......
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