Changeset 3546 for trunk/ProjectFortress/parser_tests

Timestamp:

03/13/09 13:05:55 (9 months ago)

Author:

jmaessen

Message:

Changed Executable api to have no arguments; program arguments are now
available from System.args. Another consequence is that the
SimpleExecutable is no longer necessary.

Location:

trunk/ProjectFortress/parser_tests

Files:

• AbsFieldTest.fss (modified) (1 diff)
• DeclTest.fss (modified) (1 diff)
• DelimitedExprTest.fss (modified) (1 diff)
• SymbolTest.fss (modified) (1 diff)
• VarNYITest.fss (modified) (1 diff)
• XXXArrowType.fss (modified) (1 diff)
• XXXComprisesHidden.fss (modified) (1 diff)
• XXXExportThenImport.fss (modified) (1 diff)
• XXXLabel.fss (modified) (1 diff)
• XXXLocalOpr.fss (modified) (1 diff)
• XXXMissingExport.fss (modified) (1 diff)
• XXXMultipleModifiers.fss (modified) (1 diff)
• XXXMultipleTraitClauses.fss (modified) (1 diff)
• XXXNotMatchingCharacterMarks.fss (modified) (1 diff)
• XXXNotMatchingStringMarks.fss (modified) (1 diff)
• XXXOprMethod.fss (modified) (1 diff)
• XXXStaticParameterName.fss (modified) (1 diff)
• XXXSyntaxErrorCaseDo.fss (modified) (1 diff)
• XXXTestTest.fss (modified) (1 diff)
• XXXTwoThreeTwo.fss (modified) (1 diff)
• XXXTwoThreeTwoLoose.fss (modified) (1 diff)
• XXXWrongTraitName.fss (modified) (1 diff)
• XXXarrayTest.fss (modified) (1 diff)
• XXXbadChar.fss (modified) (1 diff)
• XXXcaretOperator.fss (modified) (1 diff)
• XXXchain1.fss (modified) (1 diff)
• XXXcom.sun.test8.fss (modified) (1 diff)
• XXXending.Name.fss (modified) (1 diff)
• XXXequalityTesting.fss (modified) (1 diff)
• XXXforbiddenCharacters.fss (modified) (1 diff)
• XXXforbiddenConnectingPunctuation.fss (modified) (1 diff)
• XXXforbiddenControlCharacters.fss (modified) (1 diff)
• XXXforeignLang.fss (modified) (1 diff)
• XXXgetterSetter.fss (modified) (1 diff)
• XXXinvalidSpace.fss (modified) (1 diff)
• XXXjammedKeyword.fss (modified) (1 diff)
• XXXkeyword.fss (modified) (1 diff)
• XXXmultipleColons.fss (modified) (1 diff)
• XXXnoExport.fss (modified) (1 diff)
• XXXnonewlineAssign.fss (modified) (1 diff)
• XXXnumeralEndingWithApostrophe.fss (modified) (1 diff)
• XXXobjectClauses.fss (modified) (1 diff)
• XXXobjectDecl.fss (modified) (1 diff)
• XXXobjectVarargs.fss (modified) (1 diff)
• XXXparenOpArg.fss (modified) (1 diff)
• XXXstaticArg.fss (modified) (1 diff)
• XXXtab.fss (modified) (1 diff)
• XXXtest.OPR.name.fss (modified) (1 diff)
• XXXtest.test.fss (modified) (1 diff)
• XXXtraitClauses.fss (modified) (1 diff)
• XXXtraitDecl.fss (modified) (1 diff)
• XXXtypecaseSelf.fss (modified) (1 diff)
• XXXunbalancedComment.fss (modified) (1 diff)
• fileComponent.fss (modified) (1 diff)
• foreignLang.fss (modified) (1 diff)

trunk/ProjectFortress/parser_tests/AbsFieldTest.fss

@@ -23 +23 @@
 end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/DeclTest.fss

@@ -25 +25 @@
 property fIsMonotonic = FORALL(x: ZZ, y: ZZ) (x < y) IMPLIES (f(x) < f(y))
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/DelimitedExprTest.fss

@@ -21 +21 @@
 f(x: ZZ32 = 0) = println x
 
-run(args:String...) = f(x = 3)
+run() = f(x = 3)
 
 end

trunk/ProjectFortress/parser_tests/SymbolTest.fss

@@ -69 +69 @@
 *)
 
-run(args:String...) = -/->()
+run() = -/->()
 
 end

trunk/ProjectFortress/parser_tests/VarNYITest.fss

@@ -25 +25 @@
 test w = 1
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXArrowType.fss

@@ -24 +24 @@
 end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXComprisesHidden.fss

@@ -25 +25 @@
 end
 
-run(args:String...):()=()
+run():()=()
 
 end

trunk/ProjectFortress/parser_tests/XXXExportThenImport.fss

@@ -20 +20 @@
 import Set.{...}
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXLabel.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = label OPR () end OPR
+run() = label OPR () end OPR
 
 end

trunk/ProjectFortress/parser_tests/XXXLocalOpr.fss

@@ -20 +20 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   opr LOCALOPR() = println "Local operator declarations are not allowed!"
   LOCALOPR()

trunk/ProjectFortress/parser_tests/XXXMissingExport.fss

@@ -24 +24 @@
 object O(f: ZZ64) extends T end
 
-run(args) = do
+run() = do
  t: T = O(1)
 end

trunk/ProjectFortress/parser_tests/XXXMultipleModifiers.fss

@@ -23 +23 @@
 end
 
-run(args:String...):()=()
+run():()=()
 
 end

trunk/ProjectFortress/parser_tests/XXXMultipleTraitClauses.fss

@@ -24 +24 @@
 object O extends T end
 
-run(args:String...):()=()
+run():()=()
 
 end

trunk/ProjectFortress/parser_tests/XXXNotMatchingCharacterMarks.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   println 'c’
   println `h'

trunk/ProjectFortress/parser_tests/XXXNotMatchingStringMarks.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   println "Hello, World!”
   println “Hello, World!"

trunk/ProjectFortress/parser_tests/XXXOprMethod.fss

@@ -24 +24 @@
 end
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXStaticParameterName.fss

@@ -21 +21 @@
 trait Xml[\nat OPR\] end
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXSyntaxErrorCaseDo.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...):() = do
+run():() = do
   case 5 do
     3 => println "foo"

trunk/ProjectFortress/parser_tests/XXXTestTest.fss

@@ -29 +29 @@
 end
 
-run(args:String...):()=do
+run():()=do
         testFactorial()
         end

trunk/ProjectFortress/parser_tests/XXXTwoThreeTwo.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...):() = do
+run():() = do
     x = 2^3^2
     assert(x,64,"Complies with unintuitive semantics in F1.0Beta")

trunk/ProjectFortress/parser_tests/XXXTwoThreeTwoLoose.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...):() = do
+run():() = do
     x = 2 ^ (3 ^ 2)
     println(x)

trunk/ProjectFortress/parser_tests/XXXWrongTraitName.fss

@@ -21 +21 @@
 trait XML end
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXarrayTest.fss

@@ -57 +57 @@
 end
 
-run(args:String...):()=do
+run():()=do
 
   z:Array1[\String, 0, 3\] = array1[\String, 0, 3\]()

trunk/ProjectFortress/parser_tests/XXXbadChar.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   println "bad character:
 "

trunk/ProjectFortress/parser_tests/XXXcaretOperator.fss

@@ -20 +20 @@
 export Executable
 
-run(args:String...) = do
+run() = do
    temp1 = 5 7^2
    if temp1 =/= 245 then

trunk/ProjectFortress/parser_tests/XXXchain1.fss

@@ -21 +21 @@
 t(x:Boolean) = println( if x then "PASS" else "FAIL" end )
 
-run(args:String...) = do
+run() = do
 
 t ( 0 <= 0 < 1 = 1 > 2 <= 2 )   (* SHOULD NOT PARSE *)

trunk/ProjectFortress/parser_tests/XXXcom.sun.test8.fss

@@ -18 +18 @@
 component Foo
 export Executable
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXending.Name.fss

@@ -43 +43 @@
 *)
 
-run(args:String...) = ()
+run() = ()
 
 end component XxXending.Name

trunk/ProjectFortress/parser_tests/XXXequalityTesting.fss

@@ -19 +19 @@
 export Executable
 
-run(args) = do
+run() = do
   a:ZZ32[2] = [ 3 5 ]
   a[0] = a[1]           (* should be parenthesized, should have type () *)

trunk/ProjectFortress/parser_tests/XXXforbiddenCharacters.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = println ' '
+run() = println '       '
 
 end

trunk/ProjectFortress/parser_tests/XXXforbiddenConnectingPunctuation.fss

@@ -19 +19 @@
 export Executable
 
-run(args) = do
+run() = do
   id⁔test = 5
   println id⁔test

trunk/ProjectFortress/parser_tests/XXXforbiddenControlCharacters.fss

@@ -19 +19 @@
 export Executable
 
-run(args) = do
+run() = do
   println ""
 end

trunk/ProjectFortress/parser_tests/XXXforeignLang.fss

@@ -22 +22 @@
 export Executable
 
-run(args:String...) = do
+run() = do
  println("Hello, World!")
 end

trunk/ProjectFortress/parser_tests/XXXgetterSetter.fss

@@ -24 +24 @@
 end
 
-run(args:String...) = println "Fail"
+run() = println "Fail"
 
 end

trunk/ProjectFortress/parser_tests/XXXinvalidSpace.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   println 
 "Tabs are not allowed."

trunk/ProjectFortress/parser_tests/XXXjammedKeyword.fss

@@ -19 +19 @@
 exportExecutable
 
-run(args:String...):() = do
+run():() = do
 end
 

trunk/ProjectFortress/parser_tests/XXXkeyword.fss

@@ -21 +21 @@
 private() = ()
 
-run(args:String...) = println "Failed!"
+run() = println "Failed!"
 
 end

trunk/ProjectFortress/parser_tests/XXXmultipleColons.fss

@@ -21 +21 @@
 opr :::(x: Any, y: Any) = (x,y)
 
-run(args) = do
+run() = do
  1 ::: 2
  ()

trunk/ProjectFortress/parser_tests/XXXnoExport.fss

@@ -18 +18 @@
 component XXXnoExport
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXnonewlineAssign.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   var x: ZZ32
   x

trunk/ProjectFortress/parser_tests/XXXnumeralEndingWithApostrophe.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   x = 123'456'
 end

trunk/ProjectFortress/parser_tests/XXXobjectClauses.fss

@@ -24 +24 @@
 object V extends T end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXobjectDecl.fss

@@ -24 +24 @@
 end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXobjectVarargs.fss

@@ -21 +21 @@
 object O(x: ZZ32...) end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXparenOpArg.fss

@@ -23 +23 @@
 end
 
-run(args:String...) = println O[\(+)\]
+run() = println O[\(+)\]
 
 end

trunk/ProjectFortress/parser_tests/XXXstaticArg.fss

@@ -38 +38 @@
   end
 
-  run(args:String...) :() = do
+  run() :() = do
 
     t1[\RR64,200,3.0\]()

trunk/ProjectFortress/parser_tests/XXXtab.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   println"Tabs are not allowed."
 end

trunk/ProjectFortress/parser_tests/XXXtest.OPR.name.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXtest.test.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/parser_tests/XXXtraitClauses.fss

@@ -25 +25 @@
 object V extends T end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXtraitDecl.fss

@@ -24 +24 @@
 end
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/XXXtypecaseSelf.fss

@@ -17 +17 @@
 
 component XXXtypecaseSelf
+import System.{args}
 export Executable
 
-run(args:String...) = do
+run() = do
   x = |args|
   typecase self of

trunk/ProjectFortress/parser_tests/XXXunbalancedComment.fss

@@ -20 +20 @@
 export Executable
 
-run(args:String...) = println "OK"
+run() = println "OK"
 
 end

trunk/ProjectFortress/parser_tests/fileComponent.fss

@@ -18 +18 @@
 export Executable
 
-run(args:String...) = println "OK"
+run() = println "OK"

trunk/ProjectFortress/parser_tests/foreignLang.fss

@@ -22 +22 @@
 export Executable
 
-run(args:String...) = do
+run() = do
  println("Hello, World!")
 end