[r2003-05-24 20:35:15 by cvscast] Manual

Original author: cvscast
Date: 2003-05-24 20:35:15+00:00

driver/cduce.ml

@@ -66,7 +66,7 @@ let rec print_exn ppf = function
   | Typer.Constraint (s,t,msg) ->
       Format.fprintf ppf "This expression should have type:@\n%a@\n" 
         print_norm t;
-      Format.fprintf ppf "but its infered type is:@\n%a@\n" 
+      Format.fprintf ppf "but its inferred type is:@\n%a@\n" 
         print_norm s;
       Format.fprintf ppf "which is not a subtype, as shown by the sample:@\n" ;
       Location.protect ppf

web/manual/expressions.xml

@@ -123,13 +123,13 @@ an alternative notation, which is lighter for several argument
 
 </p>
 <sample><![CDATA[
-fun %%f%% (%%x1%% : %%t1%%, %%...%%, %%xn:tn%%) : %%s%% = %%e%%
+fun %%f%% (%%p1%% : %%t1%%, %%...%%, %%pn:tn%%) : %%s%% = %%e%%
 ]]></sample>
 <p>
 which is strictly equivalent to:
 </p>
 <sample><![CDATA[
-fun %%f%% ((%%t1%%,%%...%%,%%tn%%) -> %%s%%) (%%x1%%,%%...%%,%%xn%%) -> %%e%%
+fun %%f%% ((%%t1%%,%%...%%,%%tn%%) -> %%s%%) (%%p1%%,%%...%%,%%pn%%) -> %%e%%
 ]]></sample>
 
 <p>