Changeset 3029 for trunk/ProjectFortress/test_library
- Timestamp:
- 11/05/08 07:55:04 (13 months ago)
- Location:
- trunk/ProjectFortress/test_library
- Files:
-
- 2 added
- 2 modified
-
Foo.fsi (modified) (1 diff)
-
Foo.fss (modified) (1 diff)
-
XXXMissingExport.fsi (added)
-
XXXMissingExport.fss (added)
Legend:
- Unmodified
- Added
- Removed
-
trunk/ProjectFortress/test_library/Foo.fsi
r2633 r3029 17 17 18 18 api Foo 19 f(x':ZZ32) 19 f(x':ZZ32): ZZ32 20 20 x:ZZ32 21 21 z:ZZ32 -
trunk/ProjectFortress/test_library/Foo.fss
r357 r3029 23 23 z:ZZ32 = 99 24 24 25 f(a:ZZ32) = a + y25 f(a:ZZ32): ZZ32 = a + y 26 26 27 27 end

