Fixed < > encoding in int parameter example in gf-history.

This commit is contained in:
bringert
2007-05-11 13:35:43 +00:00
parent 97462f7e83
commit eb89dc2dfe

View File

@@ -202,11 +202,11 @@ value <tt>0</tt> for other integers (which are never negative). This parameter c
be used e.g. in calculating number agreement, be used e.g. in calculating number agreement,
<pre> <pre>
Risala i = {s = i.s ++ table (Predef.Ints 1 * Predef.Ints 9) { Risala i = {s = i.s ++ table (Predef.Ints 1 * Predef.Ints 9) {
<0,1> => "risalah" ; &lt;0,1&gt; =&gt; "risalah" ;
<0,2> => "risalatan" ; &lt;0,2&gt; =&gt; "risalatan" ;
<0,_> | <1,0> => "rasail" ; &lt;0,_&gt; | &lt;1,0&gt; =&gt; "rasail" ;
_ => "risalah" _ =&gt; "risalah"
} ! <i.size,i.last> } ! &lt;i.size,i.last&gt;
} ; } ;
</pre> </pre>
Notice that the table has to be typed explicitly for <tt>Ints k</tt>, Notice that the table has to be typed explicitly for <tt>Ints k</tt>,