Commit 2eb92be6 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-01-31 14:43:04 by beppe] Empty log message

Original author: beppe
Date: 2004-01-31 14:43:04+00:00
parent 1b61095f
...@@ -36,7 +36,7 @@ For instance if we declare the type <code>Person</code> defined in Section "<loc ...@@ -36,7 +36,7 @@ For instance if we declare the type <code>Person</code> defined in Section "<loc
fun name (Person -> String) fun name (Person -> String)
| <person gender = {{"F"}}>[ n ;_] -> n | <person gender = {{"F"}}>[ n ;_] -> n
]]></sample> ]]></sample>
<p> then we obtain the following message error:</p> <p> then we obtain the following message error (frames of the same form as the following denote text taken verbatim from the on line demo, no color or formatting added):</p>
<sessionsample><![CDATA[ <sessionsample><![CDATA[
Error at chars 228-298: Error at chars 228-298:
{{%%fun name (Person -> String) {{%%fun name (Person -> String)
...@@ -113,7 +113,7 @@ sequence of persons, etc generating an infinite tree. ...@@ -113,7 +113,7 @@ sequence of persons, etc generating an infinite tree.
</p> </p>
<p> <p>
Let us write the same type in CDuce and look at the result returned by the type-checker (taken verbatim from the on line demo, no color or formatting added) Let us write the same type in CDuce and look at the result returned by the type-checker
</p> </p>
<sessionsample><![CDATA[ <sessionsample><![CDATA[
type Person = <person>[ Name Children ] type Person = <person>[ Name Children ]
......
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