Changeset 3546 for trunk/ProjectFortress/parser_tests
- Timestamp:
- 03/13/09 13:05:55 (9 months ago)
- Location:
- trunk/ProjectFortress/parser_tests
- Files:
-
- 55 modified
-
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)
Legend:
- Unmodified
- Added
- Removed
-
trunk/ProjectFortress/parser_tests/AbsFieldTest.fss
r3403 r3546 23 23 end 24 24 25 run( args:String...) = println "OK"25 run() = println "OK" 26 26 27 27 end -
trunk/ProjectFortress/parser_tests/DeclTest.fss
r2935 r3546 25 25 property fIsMonotonic = FORALL(x: ZZ, y: ZZ) (x < y) IMPLIES (f(x) < f(y)) 26 26 27 run( args:String...) = ()27 run() = () 28 28 29 29 end -
trunk/ProjectFortress/parser_tests/DelimitedExprTest.fss
r2587 r3546 21 21 f(x: ZZ32 = 0) = println x 22 22 23 run( args:String...) = f(x = 3)23 run() = f(x = 3) 24 24 25 25 end -
trunk/ProjectFortress/parser_tests/SymbolTest.fss
r2587 r3546 69 69 *) 70 70 71 run( args:String...) = -/->()71 run() = -/->() 72 72 73 73 end -
trunk/ProjectFortress/parser_tests/VarNYITest.fss
r2235 r3546 25 25 test w = 1 26 26 27 run( args:String...) = ()27 run() = () 28 28 29 29 end -
trunk/ProjectFortress/parser_tests/XXXArrowType.fss
r2048 r3546 24 24 end 25 25 26 run( args:String...) = println "OK"26 run() = println "OK" 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXComprisesHidden.fss
r2048 r3546 25 25 end 26 26 27 run( args:String...):()=()27 run():()=() 28 28 29 29 end -
trunk/ProjectFortress/parser_tests/XXXExportThenImport.fss
r2042 r3546 20 20 import Set.{...} 21 21 22 run( args:String...) = println "OK"22 run() = println "OK" 23 23 24 24 end -
trunk/ProjectFortress/parser_tests/XXXLabel.fss
r2042 r3546 19 19 export Executable 20 20 21 run( args:String...) = label OPR () end OPR21 run() = label OPR () end OPR 22 22 23 23 end -
trunk/ProjectFortress/parser_tests/XXXLocalOpr.fss
r2048 r3546 20 20 export Executable 21 21 22 run( args:String...) = do22 run() = do 23 23 opr LOCALOPR() = println "Local operator declarations are not allowed!" 24 24 LOCALOPR() -
trunk/ProjectFortress/parser_tests/XXXMissingExport.fss
r2067 r3546 24 24 object O(f: ZZ64) extends T end 25 25 26 run( args) = do26 run() = do 27 27 t: T = O(1) 28 28 end -
trunk/ProjectFortress/parser_tests/XXXMultipleModifiers.fss
r2042 r3546 23 23 end 24 24 25 run( args:String...):()=()25 run():()=() 26 26 27 27 end -
trunk/ProjectFortress/parser_tests/XXXMultipleTraitClauses.fss
r2042 r3546 24 24 object O extends T end 25 25 26 run( args:String...):()=()26 run():()=() 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXNotMatchingCharacterMarks.fss
r2779 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 println 'c’ 23 23 println `h' -
trunk/ProjectFortress/parser_tests/XXXNotMatchingStringMarks.fss
r2779 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 println "Hello, World!” 23 23 println “Hello, World!" -
trunk/ProjectFortress/parser_tests/XXXOprMethod.fss
r3012 r3546 24 24 end 25 25 26 run( args:String...) = ()26 run() = () 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXStaticParameterName.fss
r2042 r3546 21 21 trait Xml[\nat OPR\] end 22 22 23 run( args:String...) = ()23 run() = () 24 24 25 25 end -
trunk/ProjectFortress/parser_tests/XXXSyntaxErrorCaseDo.fss
r2142 r3546 19 19 export Executable 20 20 21 run( args:String...):() = do21 run():() = do 22 22 case 5 do 23 23 3 => println "foo" -
trunk/ProjectFortress/parser_tests/XXXTestTest.fss
r2042 r3546 29 29 end 30 30 31 run( args:String...):()=do31 run():()=do 32 32 testFactorial() 33 33 end -
trunk/ProjectFortress/parser_tests/XXXTwoThreeTwo.fss
r2042 r3546 19 19 export Executable 20 20 21 run( args:String...):() = do21 run():() = do 22 22 x = 2^3^2 23 23 assert(x,64,"Complies with unintuitive semantics in F1.0Beta") -
trunk/ProjectFortress/parser_tests/XXXTwoThreeTwoLoose.fss
r2048 r3546 19 19 export Executable 20 20 21 run( args:String...):() = do21 run():() = do 22 22 x = 2 ^ (3 ^ 2) 23 23 println(x) -
trunk/ProjectFortress/parser_tests/XXXWrongTraitName.fss
r2042 r3546 21 21 trait XML end 22 22 23 run( args:String...) = ()23 run() = () 24 24 25 25 end -
trunk/ProjectFortress/parser_tests/XXXarrayTest.fss
r2042 r3546 57 57 end 58 58 59 run( args:String...):()=do59 run():()=do 60 60 61 61 z:Array1[\String, 0, 3\] = array1[\String, 0, 3\]() -
trunk/ProjectFortress/parser_tests/XXXbadChar.fss
r2784 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 println "bad character: 23 23 " -
trunk/ProjectFortress/parser_tests/XXXcaretOperator.fss
r2048 r3546 20 20 export Executable 21 21 22 run( args:String...) = do22 run() = do 23 23 temp1 = 5 7^2 24 24 if temp1 =/= 245 then -
trunk/ProjectFortress/parser_tests/XXXchain1.fss
r2042 r3546 21 21 t(x:Boolean) = println( if x then "PASS" else "FAIL" end ) 22 22 23 run( args:String...) = do23 run() = do 24 24 25 25 t ( 0 <= 0 < 1 = 1 > 2 <= 2 ) (* SHOULD NOT PARSE *) -
trunk/ProjectFortress/parser_tests/XXXcom.sun.test8.fss
r2042 r3546 18 18 component Foo 19 19 export Executable 20 run( args:String...) = ()20 run() = () 21 21 22 22 end -
trunk/ProjectFortress/parser_tests/XXXending.Name.fss
r2219 r3546 43 43 *) 44 44 45 run( args:String...) = ()45 run() = () 46 46 47 47 end component XxXending.Name -
trunk/ProjectFortress/parser_tests/XXXequalityTesting.fss
r2042 r3546 19 19 export Executable 20 20 21 run( args) = do21 run() = do 22 22 a:ZZ32[2] = [ 3 5 ] 23 23 a[0] = a[1] (* should be parenthesized, should have type () *) -
trunk/ProjectFortress/parser_tests/XXXforbiddenCharacters.fss
r2779 r3546 19 19 export Executable 20 20 21 run( args:String...) = println ' '21 run() = println ' ' 22 22 23 23 end -
trunk/ProjectFortress/parser_tests/XXXforbiddenConnectingPunctuation.fss
r2779 r3546 19 19 export Executable 20 20 21 run( args) = do21 run() = do 22 22 id⁔test = 5 23 23 println id⁔test -
trunk/ProjectFortress/parser_tests/XXXforbiddenControlCharacters.fss
r2780 r3546 19 19 export Executable 20 20 21 run( args) = do21 run() = do 22 22 println "" 23 23 end -
trunk/ProjectFortress/parser_tests/XXXforeignLang.fss
r3253 r3546 22 22 export Executable 23 23 24 run( args:String...) = do24 run() = do 25 25 println("Hello, World!") 26 26 end -
trunk/ProjectFortress/parser_tests/XXXgetterSetter.fss
r3072 r3546 24 24 end 25 25 26 run( args:String...) = println "Fail"26 run() = println "Fail" 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXinvalidSpace.fss
r2774 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 println 23 23 "Tabs are not allowed." -
trunk/ProjectFortress/parser_tests/XXXjammedKeyword.fss
r2042 r3546 19 19 exportExecutable 20 20 21 run( args:String...):() = do21 run():() = do 22 22 end 23 23 -
trunk/ProjectFortress/parser_tests/XXXkeyword.fss
r2042 r3546 21 21 private() = () 22 22 23 run( args:String...) = println "Failed!"23 run() = println "Failed!" 24 24 25 25 end -
trunk/ProjectFortress/parser_tests/XXXmultipleColons.fss
r2042 r3546 21 21 opr :::(x: Any, y: Any) = (x,y) 22 22 23 run( args) = do23 run() = do 24 24 1 ::: 2 25 25 () -
trunk/ProjectFortress/parser_tests/XXXnoExport.fss
r2042 r3546 18 18 component XXXnoExport 19 19 20 run( args:String...) = println "OK"20 run() = println "OK" 21 21 22 22 end -
trunk/ProjectFortress/parser_tests/XXXnonewlineAssign.fss
r2042 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 var x: ZZ32 23 23 x -
trunk/ProjectFortress/parser_tests/XXXnumeralEndingWithApostrophe.fss
r2327 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 x = 123'456' 23 23 end -
trunk/ProjectFortress/parser_tests/XXXobjectClauses.fss
r2042 r3546 24 24 object V extends T end 25 25 26 run( args:String...) = println "OK"26 run() = println "OK" 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXobjectDecl.fss
r2042 r3546 24 24 end 25 25 26 run( args:String...) = println "OK"26 run() = println "OK" 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXobjectVarargs.fss
r2042 r3546 21 21 object O(x: ZZ32...) end 22 22 23 run( args:String...) = println "OK"23 run() = println "OK" 24 24 25 25 end -
trunk/ProjectFortress/parser_tests/XXXparenOpArg.fss
r3237 r3546 23 23 end 24 24 25 run( args:String...) = println O[\(+)\]25 run() = println O[\(+)\] 26 26 27 27 end -
trunk/ProjectFortress/parser_tests/XXXstaticArg.fss
r2042 r3546 38 38 end 39 39 40 run( args:String...) :() = do40 run() :() = do 41 41 42 42 t1[\RR64,200,3.0\]() -
trunk/ProjectFortress/parser_tests/XXXtab.fss
r2774 r3546 19 19 export Executable 20 20 21 run( args:String...) = do21 run() = do 22 22 println"Tabs are not allowed." 23 23 end -
trunk/ProjectFortress/parser_tests/XXXtest.OPR.name.fss
r2042 r3546 19 19 export Executable 20 20 21 run( args:String...) = ()21 run() = () 22 22 23 23 end -
trunk/ProjectFortress/parser_tests/XXXtest.test.fss
r2042 r3546 19 19 export Executable 20 20 21 run( args:String...) = ()21 run() = () 22 22 23 23 end -
trunk/ProjectFortress/parser_tests/XXXtraitClauses.fss
r2042 r3546 25 25 object V extends T end 26 26 27 run( args:String...) = println "OK"27 run() = println "OK" 28 28 29 29 end -
trunk/ProjectFortress/parser_tests/XXXtraitDecl.fss
r2042 r3546 24 24 end 25 25 26 run( args:String...) = println "OK"26 run() = println "OK" 27 27 28 28 end -
trunk/ProjectFortress/parser_tests/XXXtypecaseSelf.fss
r2301 r3546 17 17 18 18 component XXXtypecaseSelf 19 import System.{args} 19 20 export Executable 20 21 21 run( args:String...) = do22 run() = do 22 23 x = |args| 23 24 typecase self of -
trunk/ProjectFortress/parser_tests/XXXunbalancedComment.fss
r2779 r3546 20 20 export Executable 21 21 22 run( args:String...) = println "OK"22 run() = println "OK" 23 23 24 24 end -
trunk/ProjectFortress/parser_tests/fileComponent.fss
r2101 r3546 18 18 export Executable 19 19 20 run( args:String...) = println "OK"20 run() = println "OK" -
trunk/ProjectFortress/parser_tests/foreignLang.fss
r3253 r3546 22 22 export Executable 23 23 24 run( args:String...) = do24 run() = do 25 25 println("Hello, World!") 26 26 end

