Changeset 3645 for trunk/ProjectFortress/static_tests/syntax_abstraction

Timestamp:

04/15/09 10:34:48 (7 months ago)

Author:

jmaessen

Message:

[libraries, demos] Replace emptyList[\T\]() by <|[\T\] |> throughout,
except within List and PureList themselves.

Files:

• trunk/ProjectFortress/static_tests/syntax_abstraction/Xml.fss (modified) (1 diff)

trunk/ProjectFortress/static_tests/syntax_abstraction/Xml.fss

@@ -66 +66 @@
     attributes():List[\Attribute\] = info.attributes
   end
-  Element(info:Header) = Element(info, emptyList[\Content\](), info.startTag)
-  Element(info:Header, endTag:String) = Element(info, emptyList[\Content\](), endTag)
+  Element(info:Header) = Element(info, <|[\Content\] |>, info.startTag)
+  Element(info:Header, endTag:String) = Element(info, <|[\Content\] |>, endTag)
 
   object Header(startTag:String, attributes:List[\Attribute\])