Commit d264570d authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-04-21 05:30:49 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-21 05:30:49+00:00
parent 26b3dca5
......@@ -358,7 +358,7 @@ is equivalent to <code>[ x::Int* _* ]</code>.
</p>
<p>
It possible to use the <code>@</code>
It is possible to use the <code>@</code>
operator (sequence concatenation) on types, including in recursive
definitions. E.g.:
</p>
......@@ -372,7 +372,7 @@ type y = x @ [ Char* ] (* [ Int* Char* ] *)
type t = [Int] @ t | [] (* [ Int* ] *)
]]></sample>
<p>
however when used in recursive definitions <code>@</code> but be right linear so for instance the following definition are not allowed:
however when used in recursive definitions <code>@</code> but must be right linear so for instance the following definition are not allowed:
</p>
<sample><![CDATA[
......
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