Changeset 3713 for trunk/ProjectFortress/tests
- Timestamp:
- 05/07/09 12:32:53 (7 months ago)
- Files:
-
- 1 modified
-
trunk/ProjectFortress/tests/dimensionUnitDecl.fss (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/ProjectFortress/tests/dimensionUnitDecl.fss
r3550 r3713 28 28 unit meter_squared = square meter 29 29 30 trait Float [\unit U absorbs unit, nat e, nat s\] end30 trait Float1[\unit U absorbs unit, nat e, nat s\] end 31 31 32 32 run() = println "Hello, World!"

