Changeset 3713 for trunk/ProjectFortress/tests

Timestamp:

05/07/09 12:32:53 (7 months ago)

Author:

jrhil47

Message:

[Static End] Added and disambiguated self types.

Files:

• trunk/ProjectFortress/tests/dimensionUnitDecl.fss (modified) (1 diff)

trunk/ProjectFortress/tests/dimensionUnitDecl.fss

@@ -28 +28 @@
 unit meter_squared = square meter
 
-trait Float[\unit U absorbs unit, nat e, nat s\] end
+trait Float1[\unit U absorbs unit, nat e, nat s\] end
 
 run() = println "Hello, World!"