Changeset 3799 for trunk/ProjectFortress/syntax_abstraction_tests

Timestamp:

06/04/09 09:24:05 (6 months ago)

Author:

EricAllen

Message:

Added more testing of parametric traits. Added more testing of syntactic abstraction. Added more native math operations to libraries. Improved a static error message.

Location:

trunk/ProjectFortress/syntax_abstraction_tests

Files:

• Catch.fsi (modified) (1 diff)
• CatchUse2.fss (added)
• DoubleCaseUse.fss (modified) (1 diff)
• ForUse.fss (modified) (1 diff)
• GrammarCompositionUseA.fss (modified) (1 diff)
• LetCCUse.fss (modified) (1 diff)
• LocalFnUse.fss (modified) (1 diff)

trunk/ProjectFortress/syntax_abstraction_tests/Catch.fsi

@@ -31 +31 @@
                             fs
                         catch z
-                            IndexOutOfBounds[\ZZ32\] => (foobar bs**)
+                            FailCalled => (foobar bs**)
                         end
                     end

trunk/ProjectFortress/syntax_abstraction_tests/DoubleCaseUse.fss

@@ -21 +21 @@
 
 run() = do
-    (foo 1, 2, 3,)
+    (foo 1,2, 3,)
     (foo 1,)
-    (foo)
+    (foo )
 end
 

trunk/ProjectFortress/syntax_abstraction_tests/ForUse.fss

@@ -32 +32 @@
 
     println "And without seq"
-    for a <- n , q <- b do
+    for a <- n, q <- b 
+    do
         (println a " and " q)
     end
 
     println "Testing _"
-    for _ <- seq(n) do
+    for _ <- seq(n)  do
         (println "Works.")
     end

trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseA.fss

@@ -24 +24 @@
   assert(bar, 2)
   assert((fn(baz) => baz)1, 1)
-  (*  assert((fn(foo) => foo)1, 1) *) (* illegal because foo is a keyword *)
+  (*) assert((fn(foo) => foo)1, 1)  (*) illegal because foo is a keyword 
   println("A okay")
 end

trunk/ProjectFortress/syntax_abstraction_tests/LetCCUse.fss

@@ -20 +20 @@
 
 run(args:String...) = do
-  println (letcc cont do println "before"; cont("continuation"); println "after" end)
+  x = letcc cont do 
+        println "before"
+        cont("continuation")
+        println "after" 
+      end
+  println x
 end
 

trunk/ProjectFortress/syntax_abstraction_tests/LocalFnUse.fss

@@ -21 +21 @@
 
 run() = do
-    println(foo 2, 0)
+    println(foo 3, 2, 1, 0)
     println(foo)
 end