[r2002-11-11 20:44:28 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-11 20:44:28+00:00

tests/overloading.cd

@@ -40,13 +40,25 @@ let base : Person =
 sort base;;
 
 
-
 let fun contact(Person->String)
- | <person>[ _ _ ((<tel kind="work"> x) | (<email> x) | (<tel kind="home"> x))] -> x
+ | <person>[ _ _ ((<tel kind="work"> x) | (<email> x) | (<tel> x))] -> x
  | _ ->"no contact";;
 
 
+contact(
+    <person gender="F">[
+      <name>"Vronique"
+      <children>[
+        <person gender="F">[
+          <name>"Ilaria"
+          <children>[] 
+        ] 
+      ] 
+    <tel> "314-1592654"
+    ])
+;;
 
+contact base;;
 
 (* compilation efficace avec _ a la place de person *)