Changeset 3645 for trunk/ProjectFortress/tests

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.

Location:

trunk/ProjectFortress/tests

Files:

• ListNullPointer.fss (modified) (1 diff)
• ListTest.fss (modified) (1 diff)

trunk/ProjectFortress/tests/ListNullPointer.fss

@@ -23 +23 @@
 
 run():() = do
-  testLens : List[\ZZ32\] = emptyList[\ZZ32\]()
+  testLens : List[\ZZ32\] = <|[\ZZ32\] |>
   s0 = testLens.generate[\Number\](SumReduction, identity[\Number\])
   assert(s0,0,"Sum s0")

trunk/ProjectFortress/tests/ListTest.fss

@@ -25 +25 @@
 run():() = do
     list'  = emptyList[\ZZ32\]().addLeft(7).addLeft(5).addLeft(3)
-    list'' = emptyList[\ZZ32\]().addRight(8).addRight(6).addRight(4)
+    list'' = <|[\ZZ32\] |>.addRight(8).addRight(6).addRight(4)
 
     assert(|list'|,3," |list'|")