Changeset 3546 for trunk/ProjectFortress/not_passing_yet

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/not_passing_yet

Files:

• BadErrorMessageForNamespaceClash.fss (modified) (1 diff)
• CrossOverloaded.fss (modified) (1 diff)
• Expr.Array.Pasting.fss (modified) (1 diff)
• FunctionalMethodLookup.fss (modified) (1 diff)
• GenericOverload4.fss (modified) (1 diff)
• HatOps.fss (modified) (1 diff)
• HiLoInference.fss (modified) (1 diff)
• ImportLocalCollision.fss (modified) (1 diff)
• ListComprehensionDoesNotRespectAsif.fss (modified) (1 diff)
• MyIdentity.fss (modified) (1 diff)
• ParametricTree.fss (modified) (1 diff)
• ParametricTree0.fss (modified) (1 diff)
• SimpleTrait.fss (modified) (1 diff)
• SymbolicOverloadBug.fss (modified) (1 diff)
• TestImportExport.fss (modified) (1 diff)
• UnitExpr.fss (modified) (1 diff)
• WhereConstraints.fss (modified) (1 diff)
• XXXReferenceToMissingGenericFunction.fss (modified) (1 diff)
• XXXShadowTest1.fss (modified) (1 diff)
• XXXUseMissingExport.fss (modified) (1 diff)
• XXXextendZZ32.fss (modified) (1 diff)
• XXXfalseMethodVisibility.fss (modified) (1 diff)
• XXXillegalOverloading.fss (modified) (1 diff)
• XXXillegalShadowOfLocalFunc.fss (modified) (1 diff)
• XXXillegalShadowing.fss (modified) (1 diff)
• XXXoverloadTest4.fss (modified) (1 diff)
• XXXtestTuple.fss (modified) (1 diff)
• XXXwrongArrayDim.fss (modified) (1 diff)
• arrayArgs.fss (modified) (1 diff)
• arrayComp.fss (modified) (1 diff)
• builtinPrimTest.fss (modified) (1 diff)
• comprehensions.fss (modified) (1 diff)
• conditionalExtension.fss (modified) (1 diff)
• contraTest.fss (modified) (1 diff)
• contraUnification.fss (modified) (1 diff)
• desugarBug0.fss (modified) (1 diff)
• dimensionUnit.fss (modified) (1 diff)
• extendsParam.fss (modified) (1 diff)
• falseMethodVisibility.fss (modified) (1 diff)
• getterUsedNotApplied.fss (modified) (1 diff)
• hasTypeObject.fss (modified) (1 diff)
• keywords.fss (modified) (1 diff)
• knuth.fss (modified) (1 diff)
• localGeneric.fss (modified) (1 diff)
• monoidalPolymorphism.fss (modified) (1 diff)
• overloadedLocalFunctions.fss (modified) (1 diff)
• simpleForeignImport.fss (modified) (1 diff)
• singletonArray.fss (modified) (1 diff)
• staticArg.fss (modified) (1 diff)
• staticParamNotFound.fss (modified) (1 diff)
• testDupInit/testDupInit.fss (modified) (1 diff)
• testImport.fss (modified) (1 diff)
• testMethodInference.fss (modified) (1 diff)
• toplevelArray.fss (modified) (1 diff)
• tree.fss (modified) (1 diff)
• trivialForeignImport.fss (modified) (1 diff)
• typeCheckErrorForAbsFldRef.fss (modified) (1 diff)

trunk/ProjectFortress/not_passing_yet/BadErrorMessageForNamespaceClash.fss

@@ -18 +18 @@
 component BadErrorMessageForNamespaceClash
 
-  export Executable 
+  export Executable
 
   trait Element

trunk/ProjectFortress/not_passing_yet/CrossOverloaded.fss

@@ -21 +21 @@
 export Executable
 
-  run(args: String ...): () = ()
+  run(): () = ()
   
   blah(a:ZZ32, b:ZZ32): () = do

trunk/ProjectFortress/not_passing_yet/Expr.Array.Pasting.fss

@@ -33 +33 @@
 end
 
-run(args:String...) = println f()
+run() = println f()
 
 end

trunk/ProjectFortress/not_passing_yet/FunctionalMethodLookup.fss

@@ -146 +146 @@
 end
 
-run(args:String...):() = do
+run():() = do
 (*
     assert((Foo CMP Foo) EQL EqTo, "CMP")

trunk/ProjectFortress/not_passing_yet/GenericOverload4.fss

@@ -32 +32 @@
 f[\ U, V \] ( u:U, v:V, a:A) = 2
 
-run(args:String...):() = do
+run():() = do
 
   x = 1

trunk/ProjectFortress/not_passing_yet/HatOps.fss

@@ -22 +22 @@
 end
 
-run(args:String...):() = do
+run():() = do
   a = A^T
   b = A^TH

trunk/ProjectFortress/not_passing_yet/HiLoInference.fss

@@ -44 +44 @@
 l(v:V):T = v
 
-run(args:String... ):() = do
+run():() = do
   f(ot, g)
 

trunk/ProjectFortress/not_passing_yet/ImportLocalCollision.fss

@@ -31 +31 @@
 end
 
-run(args:String...):()=do
+run():()=do
   println V.s()
   println W.s()

trunk/ProjectFortress/not_passing_yet/ListComprehensionDoesNotRespectAsif.fss

@@ -26 +26 @@
 object B extends A end
 
-run(args:String...) = do
+run() = do
     ls:List[\A\] = <| (B asif A) |>
     cs:List[\A\] = <| ( x asif A ) | x <- ls |>

trunk/ProjectFortress/not_passing_yet/MyIdentity.fss

@@ -41 +41 @@
 (** END EXAMPLE **)
 
-run(args:String...) = ()
+run() = ()
 
 end

trunk/ProjectFortress/not_passing_yet/ParametricTree.fss

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

trunk/ProjectFortress/not_passing_yet/ParametricTree0.fss

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

trunk/ProjectFortress/not_passing_yet/SimpleTrait.fss

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

trunk/ProjectFortress/not_passing_yet/SymbolicOverloadBug.fss

@@ -37 +37 @@
 opr AXX[\A extends HasRank\](a:A,b:A): ZZ32 = 2
 
-run(args:String...):() = do
+run():() = do
   a : ZZ32[3] = [0 1 2]
   assert(a AXX a, 2, "array AXX array")

trunk/ProjectFortress/not_passing_yet/TestImportExport.fss

@@ -20 +20 @@
 export Executable
 
-run(args:String...):()= do
+run():()= do
    println Object4().f()
 end

trunk/ProjectFortress/not_passing_yet/UnitExpr.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...) = (1.3 m in nm) per (second)squared
+run() = (1.3 m in nm) per (second)squared
 
 end

trunk/ProjectFortress/not_passing_yet/WhereConstraints.fss

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

trunk/ProjectFortress/not_passing_yet/XXXReferenceToMissingGenericFunction.fss

@@ -33 +33 @@
 end
 
-run(args:String...) = do
+run() = do
  println(ExtendsABug().bDefaultMethod())
 end

trunk/ProjectFortress/not_passing_yet/XXXShadowTest1.fss

@@ -37 +37 @@
 
 
-run(args:String...):()=do
+run():()=do
   a:A = A()
   x:T = a.m()

trunk/ProjectFortress/not_passing_yet/XXXUseMissingExport.fss

@@ -22 +22 @@
 g(u) = f(u)
 
-run(args:String...):() = do
+run():() = do
     if (17^2 < 25^3) then
         println("Should have caught missing f (which is even sorta used).")

trunk/ProjectFortress/not_passing_yet/XXXextendZZ32.fss

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

trunk/ProjectFortress/not_passing_yet/XXXfalseMethodVisibility.fss

@@ -44 +44 @@
 end
 
-run(args:String...):() = do
+run():() = do
     o:T = getT(0)
     println o.b().foo()

trunk/ProjectFortress/not_passing_yet/XXXillegalOverloading.fss

@@ -28 +28 @@
 end
 
-run(args: String...): () = do
+run(): () = do
   println("This should've f a i l ed statically with a bad overloading!")
   x: ZZ32 = 17

trunk/ProjectFortress/not_passing_yet/XXXillegalShadowOfLocalFunc.fss

@@ -34 +34 @@
 end
 
-run(args:String ... ) = do
+run() = do
     println topFunc().callFoo()
 end

trunk/ProjectFortress/not_passing_yet/XXXillegalShadowing.fss

@@ -38 +38 @@
 
 
-run(args:String...):()=do
+run():()=do
   a:A = A(1)
   b:T = a.b()

trunk/ProjectFortress/not_passing_yet/XXXoverloadTest4.fss

@@ -45 +45 @@
 
 
-run(args:String...):()=do
+run():()=do
   println(a(1))
   println(a(1,2))

trunk/ProjectFortress/not_passing_yet/XXXtestTuple.fss

@@ -23 +23 @@
 s = { 1, 2, 3 }
 
-run(args:String...) = do
+run() = do
   a = (1, z = 5)        (* should be rejected *)
   b = (1, s..., z = 5)

trunk/ProjectFortress/not_passing_yet/XXXwrongArrayDim.fss

@@ -29 +29 @@
 *)
 
-run(args:String...) = do
+run() = do
   r3 : RR64[4] = [ 9 14 18 ]
   r4 : RR64[3] = [ 2 3 5 31 ]

trunk/ProjectFortress/not_passing_yet/arrayArgs.fss

@@ -21 +21 @@
 f(a : RR64[3]) = a[2]
 
-run(args:String...):() = do
+run():() = do
   (* This works *)
   a : RR64[3] = [1.1 2.2 3.3]

trunk/ProjectFortress/not_passing_yet/arrayComp.fss

@@ -19 +19 @@
 export Executable
 
-run(args:String...):() = do
+run():() = do
   a : ZZ32[17] = [ i |-> i | i <- 0#17 ]
   for i <- 0#17 do

trunk/ProjectFortress/not_passing_yet/builtinPrimTest.fss

@@ -32 +32 @@
 end
 
-run(args:String...):() = do
+run():() = do
     c = MyChar('5')
     myDigit(c, 10)

trunk/ProjectFortress/not_passing_yet/comprehensions.fss

@@ -22 +22 @@
 export Executable
 
-run(args:String...):() = ()
+run():() = ()
 
   set_comp_one = { i + j | i <- 1 # 10 , j <- 0 # 1 }

trunk/ProjectFortress/not_passing_yet/conditionalExtension.fss

@@ -40 +40 @@
 end
 
-run(args:String...) = println "Conditional extension with where clauses can be parsed."
+run() = println "Conditional extension with where clauses can be parsed."
 
 end

trunk/ProjectFortress/not_passing_yet/contraTest.fss

@@ -41 +41 @@
 end
 
-run(args:String...):() = do
+run():() = do
 
   tob:ThingOf[\B\] = ToBo()

trunk/ProjectFortress/not_passing_yet/contraUnification.fss

@@ -35 +35 @@
 g(x: T, o: T->T): T = o(x)
 
-run(args:String...):() = do
+run():() = do
   print(g(B,f).m())
 end

trunk/ProjectFortress/not_passing_yet/desugarBug0.fss

@@ -37 +37 @@
 
 
-run(args: String...):() = do
+run():() = do
  z = {x^2 | x <- {i | i <- 0#100}}
  for i <- sequential(z) do

trunk/ProjectFortress/not_passing_yet/dimensionUnit.fss

@@ -20 +20 @@
 export Executable
 
-run(args:String...) = do
+run() = do
   x: RR64 Length = 1.3 m
   t: RR64 Time = 5 s

trunk/ProjectFortress/not_passing_yet/extendsParam.fss

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

trunk/ProjectFortress/not_passing_yet/falseMethodVisibility.fss

@@ -44 +44 @@
 end
 
-run(args:String...):() = do
+run():() = do
     o:T = getT(0)
     println o.b().foo()

trunk/ProjectFortress/not_passing_yet/getterUsedNotApplied.fss

@@ -31 +31 @@
   end o
 
-  run(args: String ...) = o.verify()
+  run() = o.verify()
 
 end getterUsedNotApplied

trunk/ProjectFortress/not_passing_yet/hasTypeObject.fss

@@ -22 +22 @@
 preferredIgnore(x:Object):() = ()
 
-run(args:String...):() = ignore(args)
+run():() = ignore(args)
 
 end

trunk/ProjectFortress/not_passing_yet/keywords.fss

@@ -23 +23 @@
   g( x : Boolean, y : Boolean, z : Boolean ) : Boolean = x OR y AND z
 
-  run(args:String...):() = do
+  run():() = do
     println f(1)
     println f(1,y=7)

trunk/ProjectFortress/not_passing_yet/knuth.fss

@@ -39 +39 @@
 end
 
-run(args:String...) = do
+run() = do
     var k:ZZ32 := 8
     assert(-10, A(k,(fn () => 1), (fn () => -1), (fn () => -1), (fn () => 1), (fn () => 0)),"Incorrect result")

trunk/ProjectFortress/not_passing_yet/localGeneric.fss

@@ -28 +28 @@
 *)
 
-run(args:String...):() = do
+run():() = do
   f[\ nat n \](a : ZZ32) (* : ZZ32[n] *) = do
     r : ZZ32[n] = DefaultArray1[\ZZ32, n\]()

trunk/ProjectFortress/not_passing_yet/monoidalPolymorphism.fss

@@ -87 +87 @@
     end
 
-run(args:String...) = do
+run() = do
   n1 = Nn(1)
   n2 = Nn(2)

trunk/ProjectFortress/not_passing_yet/overloadedLocalFunctions.fss

@@ -18 +18 @@
 component overloadedLocalFunctions
   export Executable
-  run(args:String...) = do
+  run() = do
     printType(x: Any) = println (x ": " typeName x)
     typeName(_: ())      = "()"

trunk/ProjectFortress/not_passing_yet/simpleForeignImport.fss

@@ -18 +18 @@
 component simpleForeignImport
 import java com.sun.fortress.nativeHelpers.{simplePrintln.nativePrintln as jPrintln}
-export SimpleExecutable
+export Executable
 
-run(args:String...) = do
+run() = do
  jPrintln("Hello, World!")
 end

trunk/ProjectFortress/not_passing_yet/singletonArray.fss

@@ -19 +19 @@
 export Executable
 
-run(Args:String...) = do
+run() = do
     a : RR64[1] = [ 3.14159]
     println(a[1])

trunk/ProjectFortress/not_passing_yet/staticArg.fss

@@ -23 +23 @@
 object O[\S, int i, unit U, bool b\]() end
 
-run(args:String...) = do
+run() = do
   O[\P, 2 + 0, dimensionless, true AND false\]()
   println "Static arguments test."

trunk/ProjectFortress/not_passing_yet/staticParamNotFound.fss

@@ -61 +61 @@
 end
 
-run(args:String...):() = do
+run():() = do
     o4:O4[\String, String\] = O4[\String, String\]("str3", "str4")
     y2:Y = o4.foo[\ZZ32\](7)

trunk/ProjectFortress/not_passing_yet/testDupInit/testDupInit.fss

@@ -27 +27 @@
 test t2(): () = ()
 
-run(args:String...):() = do
+run():() = do
     println("Please run in test mode!!")
     tv1 = testVar

trunk/ProjectFortress/not_passing_yet/testImport.fss

@@ -26 +26 @@
 z:ZZ32 = 11
 
-run(args:String...) = do
+run() = do
     println("f(3) = " f(3))
     println("x = " x)

trunk/ProjectFortress/not_passing_yet/testMethodInference.fss

@@ -38 +38 @@
 end
 
-run(args:String...):() = do
+run():() = do
 tr:true = true
 fl:false = false

trunk/ProjectFortress/not_passing_yet/toplevelArray.fss

@@ -21 +21 @@
 a:ZZ32[3] = [ 1 2 3 ]
 
-run(args:String...) = assert(a[1],2,"a[1]")
+run() = assert(a[1],2,"a[1]")
 
 end

trunk/ProjectFortress/not_passing_yet/tree.fss

@@ -775 +775 @@
 end
 
-run(args:String...):() = do
+run():() = do
   testMe()
 end

trunk/ProjectFortress/not_passing_yet/trivialForeignImport.fss

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

trunk/ProjectFortress/not_passing_yet/typeCheckErrorForAbsFldRef.fss

@@ -27 +27 @@
 end
 
-run(args:String ... ) = do
+run() = do
     println "Pass."
 end