Commit 9bacbf79 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2003-05-24 20:35:15+00:00
parent eb5c6691
...@@ -66,7 +66,7 @@ let rec print_exn ppf = function ...@@ -66,7 +66,7 @@ let rec print_exn ppf = function
| Typer.Constraint (s,t,msg) -> | Typer.Constraint (s,t,msg) ->
Format.fprintf ppf "This expression should have type:@\n%a@\n" Format.fprintf ppf "This expression should have type:@\n%a@\n"
print_norm t; 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; print_norm s;
Format.fprintf ppf "which is not a subtype, as shown by the sample:@\n" ; Format.fprintf ppf "which is not a subtype, as shown by the sample:@\n" ;
Location.protect ppf Location.protect ppf
......
...@@ -123,13 +123,13 @@ an alternative notation, which is lighter for several argument ...@@ -123,13 +123,13 @@ an alternative notation, which is lighter for several argument
</p> </p>
<sample><![CDATA[ <sample><![CDATA[
fun %%f%% (%%x1%% : %%t1%%, %%...%%, %%xn:tn%%) : %%s%% = %%e%% fun %%f%% (%%p1%% : %%t1%%, %%...%%, %%pn:tn%%) : %%s%% = %%e%%
]]></sample> ]]></sample>
<p> <p>
which is strictly equivalent to: which is strictly equivalent to:
</p> </p>
<sample><![CDATA[ <sample><![CDATA[
fun %%f%% ((%%t1%%,%%...%%,%%tn%%) -> %%s%%) (%%x1%%,%%...%%,%%xn%%) -> %%e%% fun %%f%% ((%%t1%%,%%...%%,%%tn%%) -> %%s%%) (%%p1%%,%%...%%,%%pn%%) -> %%e%%
]]></sample> ]]></sample>
<p> <p>
......
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