Changeset 4031 for trunk/ProjectFortress/astgen
- Timestamp:
- 08/03/09 11:56:38 (4 months ago)
- Files:
-
- 1 modified
-
trunk/ProjectFortress/astgen/Fortress.ast (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/ProjectFortress/astgen/Fortress.ast
r4017 r4031 990 990 BottomType(); 991 991 /** 992 * the type of a FnExpr domain that could not be inferred 993 * internal node 994 */ 995 UnknownType(); 996 /** 992 997 * named type 993 998 */

