Changeset 3342 for trunk/ProjectFortress/not_passing_yet

Timestamp:

01/23/09 10:01:57 (10 months ago)

Author:

jdn

Message:

[Example] related to ticket 323

Files:

• trunk/ProjectFortress/not_passing_yet/BadErrorMessageForNamespaceClash.fss (modified) (1 diff)

trunk/ProjectFortress/not_passing_yet/BadErrorMessageForNamespaceClash.fss

@@ -23 +23 @@
   end
 
-  Element(a:ZZ32) = Element(a, 0, 0)
-  Element(a:ZZ32, b:ZZ32) = Element(a, b, 0)
-  Element(a:ZZ32, b:ZZ32, c:ZZ32) = do
+  Element(a:ZZ32):Element = Element(a, 0, 0)
+  Element(a:ZZ32, b:ZZ32):Element = Element(a, b, 0)
+  Element(a:ZZ32, b:ZZ32, c:ZZ32):Element = do
      (MyImplementationDetail(a,b,c) asif Element)
   end