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

Original author: cvscast
Date: 2002-11-16 18:44:26+00:00

tests/examples.xml

@@ -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))

tests/web.cd

@@ -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  ];;

types/types.ml

@@ -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