Changeset 3563 for trunk/ProjectFortress/not_passing_yet

Timestamp:

03/20/09 09:30:36 (8 months ago)

Author:

jmaessen

Message:

Flesh out example somewhat to better show failure.

Files:

• trunk/ProjectFortress/not_passing_yet/mapConstants.fss (modified) (1 diff)

trunk/ProjectFortress/not_passing_yet/mapConstants.fss

@@ -37 +37 @@
     b = {[\String,ZZ32\] "Hi" |-> 3, "Lois" |-> 23}
     c = {[\String,ZZ32\] "Snoopy" |-> 17}
+    d = {[\(String,ZZ32),(String,ZZ32)\] ("Hi",3) |-> ("Lois",23)}
+    (* Note that without explicit type parameterization we get the wrong answer. *)
+    e = {("Hi",3) |-> ("Lois",23)}
+    println("" a // b // c // d // e)
+    assert(d,e,"\n ie ",d," =/= ",e)
 end