root/trunk/ProjectFortress/static_tests
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| static_arg_inference | 2696 | 3 weeks | [unparser] Fixed printing annotations of internal types. | |
| syntax_abstraction | 2788 | 4 days | [tests] use new syntax for macro definition | |
| AngelinaTest.fss | 1.2 kB | 2427 | 1 month | [typechecker] Fixed a problem with the findCycle method in … |
| ApiDisambiguation.fsi | 0.8 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| ArrayElement.fss | 1.1 kB | 1947 | 3 months | Okay we made ArrayElement? work, and ObjectExpr?. |
| ArrayElements.fss | 1.5 kB | 2243 | 2 months | [typechecker] We now do a static test to make sure that objects and traits … |
| AsExpr.fss | 0.9 kB | 2199 | 2 months | [typechecker] New version of type inference works for most tests but not … |
| AsIf.fss | 0.9 kB | 2688 | 3 weeks | [typechecker] Changed generator clause post-inference typechecking so that … |
| AsIfInterface.fsi | 0.8 kB | 2688 | 3 weeks | [typechecker] Changed generator clause post-inference typechecking so that … |
| AssignmentTest.fss | 1.2 kB | 1736 | 3 months | Checking that assigned variables are actually assign-able. |
| AtomicDo.fss | 0.9 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| AtomicExpr.fss | 0.9 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| BuiltinTest.fss | 3.9 kB | 2701 | 3 weeks | [typechecker] Changed the typechecker so that the BuiltinTest?.fss works: … |
| CaseExpr.fss | 1.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| ChainTest.fss | 0.9 kB | 2005 | 3 months | We changed several things to get ChainExpr? to work: - We made ChainExpr?'s … |
| CrazyGenerators.fss | 1.4 kB | 2381 | 1 month | [tool] Added more cases in the Ast2Concrete tool. [copyright] Fixed a … |
| CrossOverloaded.fss | 1.0 kB | 2105 | 2 months | Fixed tests that were not passing. |
| DoFronts.fss | 1.0 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| DoFrontWithSpawn.fss | 1.0 kB | 1947 | 3 months | Okay we made ArrayElement? work, and ObjectExpr?. |
| DXXAllVoidButLast.fss | 1.0 kB | 1973 | 3 months | Made ArrayElements? work. |
| DXXArrayElement2.fss | 0.9 kB | 1947 | 3 months | Okay we made ArrayElement? work, and ObjectExpr?. |
| DXXArrayElement3.fss | 0.9 kB | 1947 | 3 months | Okay we made ArrayElement? work, and ObjectExpr?. |
| DXXArrayElement.fss | 1.2 kB | 1947 | 3 months | Okay we made ArrayElement? work, and ObjectExpr?. |
| DXXArrayElements2.fss | 1.2 kB | 2005 | 3 months | We changed several things to get ChainExpr? to work: - We made ChainExpr?'s … |
| DXXArrayElements.fss | 1.0 kB | 1973 | 3 months | Made ArrayElements? work. |
| DXXAssignmentTest2.fss | 1.0 kB | 1736 | 3 months | Checking that assigned variables are actually assign-able. |
| DXXAssignmentTest.fss | 1.1 kB | 1732 | 3 months | I named my failing tests incorrectly. |
| DXXCantExtendObject2.fss | 1.0 kB | 2243 | 2 months | [typechecker] We now do a static test to make sure that objects and traits … |
| DXXCantExtendObject3.fss | 1.0 kB | 2243 | 2 months | [typechecker] We now do a static test to make sure that objects and traits … |
| DXXCantExtendObject.fss | 1.0 kB | 2243 | 2 months | [typechecker] We now do a static test to make sure that objects and traits … |
| DXXChainTest1.fss | 0.9 kB | 2005 | 3 months | We changed several things to get ChainExpr? to work: - We made ChainExpr?'s … |
| DXXChainTest2.fss | 1.0 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| DXXDoubleExponentiation.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| DXXDoubleSub.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| DXXEqualityTesting.fss | 0.9 kB | 2211 | 2 months | [typechecker] We now insert inference variables into more places like … |
| DXXExitTargetInvalid.fss | 1.0 kB | 1543 | 4 months | Added type checking for Label and Exit expressions, with some tests. |
| DXXExitTargetOutOfScope.fss | 1.0 kB | 1543 | 4 months | Added type checking for Label and Exit expressions, with some tests. |
| DXXExitThroughSpawn.fss | 1.0 kB | 1550 | 4 months | Completed type checking of Label and Exit; also added Atomic and Spawn. … |
| DXXExpThenSubscript.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| DXXField.fss | 0.9 kB | 1840 | 3 months | Methods and fields from super-traits are now working and tested… |
| DXXFnExpr2.fss | 0.9 kB | 2029 | 3 months | [repository] use a graph-based repository that discovers dependancies in … |
| DXXFnExpr.fss | 0.9 kB | 2029 | 3 months | [repository] use a graph-based repository that discovers dependancies in … |
| DXXGeneralizedIf.fss | 0.9 kB | 1819 | 3 months | We now have tests for simple method invocations, generalized if and while … |
| DXXGeneratorTuple.fss | 0.9 kB | 1809 | 3 months | We now run the full disambiguator. This allowed us to catch a few extra … |
| DXXIfThenNotVoid.fss | 1.4 kB | 1377 | 6 months | Mainly cleaned up type checker code. Fixed some bugs that were preventing … |
| DXXInvertedAsExpr.fss | 0.9 kB | 1312 | 7 months | Fixed bug in detection of type checker errors in StaticTestSuite?. |
| DXXLooseJuxt.fss | 1.1 kB | 2519 | 1 month | Fix shadowing problems in the libraries and tests. At this point … |
| DXXMaltypedTopLevelVar.fss | 0.9 kB | 1309 | 7 months | Refactored the static testing. Changed type checker to use TypeError? … |
| DXXMethodInvocationOnTuple.fss | 0.9 kB | 1840 | 3 months | Methods and fields from super-traits are now working and tested… |
| DXXMethodInvocationSimple2.fss | 1.1 kB | 1819 | 3 months | We now have tests for simple method invocations, generalized if and while … |
| DXXMethodInvocationSimple.fss | 1.1 kB | 1819 | 3 months | We now have tests for simple method invocations, generalized if and while … |
| DXXMethodInvocationStaticInfer1.fss | 1.0 kB | 1820 | 3 months | We added new tests for method invocations, now with varargs and inference. … |
| DXXMethodInvocationStaticInfer2.fss | 1.0 kB | 1820 | 3 months | We added new tests for method invocations, now with varargs and inference. … |
| DXXMethodInvocationVarargs.fss | 1.4 kB | 1820 | 3 months | We added new tests for method invocations, now with varargs and inference. … |
| DXXNonVoidBlock.fss | 0.9 kB | 1388 | 6 months | Added missing files. Doh. |
| DXXNoParenTightJuxt.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| DXXNoTypeDecl.fss | 0.9 kB | 2199 | 2 months | [typechecker] New version of type inference works for most tests but not … |
| DXXObjectExpr.fss | 1.0 kB | 1947 | 3 months | Okay we made ArrayElement? work, and ObjectExpr?. |
| DXXPlusEq2.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| DXXPlusEq.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| DXXSetterTest.fss | 0.9 kB | 2600 | 4 weeks | [typechecker] Inference variables should now be completely removed by the … |
| DXXSpawnInsideAtomic.fss | 0.9 kB | 1550 | 4 months | Completed type checking of Label and Exit; also added Atomic and Spawn. … |
| DXXSpawnInsideAtomicBlock.fss | 0.9 kB | 1564 | 4 months | Added type checking of atomic Do blocks. |
| DXXSpawnInsideTryAtomic.fss | 0.9 kB | 1746 | 3 months | Added copyright notices. |
| DXXSubscriptAssign.fss | 1.0 kB | 2036 | 3 months | Fixed the assignment case so that it uses field setters and the subscript … |
| DXXSubscriptExpr.fss | 1.0 kB | 1988 | 3 months | Just finished checking SubscriptExpr?. Had to change the function … |
| DXXThrowTest1.fss | 0.9 kB | 1732 | 3 months | I named my failing tests incorrectly. |
| DXXTryTest.fss | 1.0 kB | 1779 | 3 months | New tests for try |
| DXXTryTestCatchNotExn.fss | 1.1 kB | 1779 | 3 months | New tests for try |
| DXXTryTestFinally.fss | 1.1 kB | 1779 | 3 months | New tests for try |
| DXXTryTestForbid.fss | 1.1 kB | 1779 | 3 months | New tests for try |
| DXXTypecaseMutable.fss | 1.0 kB | 1781 | 3 months | We now have passing tests for the typecase expression. |
| DXXTypecaseTuple2.fss | 1.0 kB | 1781 | 3 months | We now have passing tests for the typecase expression. |
| DXXTypecaseTuple.fss | 1.0 kB | 1781 | 3 months | We now have passing tests for the typecase expression. |
| DXXVoidTest.fss | 0.8 kB | 2111 | 2 months | [copyright] Fixed copyright notices. |
| DXXWhileVoid.fss | 0.9 kB | 1819 | 3 months | We now have tests for simple method invocations, generalized if and while … |
| Equals.fss | 1.0 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| ExitNotThroughSpawn.fss | 1.0 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| ExitWithoutTarget.fss | 1.2 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| ExternalConstructor.fss | 1.0 kB | 2211 | 2 months | [typechecker] We now insert inference variables into more places like … |
| FieldFromSuper.fss | 0.9 kB | 1840 | 3 months | Methods and fields from super-traits are now working and tested… |
| FieldTest.fss | 0.9 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| FieldTestGeneric.fss | 0.9 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| FnExpr.fss | 0.9 kB | 2029 | 3 months | [repository] use a graph-based repository that discovers dependancies in … |
| GeneralizedIf.fss | 0.9 kB | 1819 | 3 months | We now have tests for simple method invocations, generalized if and while … |
| GeneratorOverload.fss | 1.2 kB | 2688 | 3 weeks | [typechecker] Changed generator clause post-inference typechecking so that … |
| GeneratorTest.fss | 1.0 kB | 1809 | 3 months | We now run the full disambiguator. This allowed us to catch a few extra … |
| GenericFunctionCall.fss | 1.2 kB | 2105 | 2 months | Fixed tests that were not passing. |
| GenericGetterInSuper.fss | 0.9 kB | 2731 | 2 weeks | [typechecker] - Once we made VarTypes? work, it caused exceptions on … |
| GenericSingleton.fss | 1.0 kB | 2017 | 3 months | I added _RewriteObjectRef to the AST. Sorry if this broke things for you. … |
| IfThen.fss | 1.0 kB | 1294 | 7 months | Added more nodes to the type checker. Added lots of static test cases. … |
| IfThenElse.fss | 0.9 kB | 2199 | 2 months | [typechecker] New version of type inference works for most tests but not … |
| InheritedMethod.fss | 1.2 kB | 2375 | 1 month | [typechecker] Fixed several problems with ObjectExpr? and Traits. Methods … |
| Label.fss | 1.5 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| LocalFnRef.fss | 1.0 kB | 1973 | 3 months | Made ArrayElements? work. |
| LocalVarRef.fss | 1.0 kB | 2199 | 2 months | [typechecker] New version of type inference works for most tests but not … |
| LooseJuxt.fss | 0.9 kB | 2014 | 3 months | Added Loose juxt. |
| MathPrimary.fss | 0.9 kB | 2103 | 2 months | Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
| MethodInheritance.fss | 0.9 kB | 1898 | 3 months | [copyright] Fixed copyright notices. |
| MethodInvocationSimple.fss | 1.6 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| MethodInvocationStaticInfer1.fss | 1.0 kB | 1820 | 3 months | We added new tests for method invocations, now with varargs and inference. … |
| MethodInvocationStaticInfer2.fss | 1.1 kB | 1837 | 3 months | Fixed the build. |
| MethodInvocationVarargs.fss | 1.4 kB | 1820 | 3 months | We added new tests for method invocations, now with varargs and inference. … |
| MethodOnTypeVar.fss | 0.9 kB | 2466 | 1 month | [typechecker] Typechecker now allows you to call methods on VarTypes? that … |
| Multifix.fss | 1.3 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| MutualLetFn.fss | 1.1 kB | 2609 | 4 weeks | Turned on shadowing detection, after fixing remaining bugs in the detector … |
| MyOwnLiterals.fsi | 0.8 kB | 2688 | 3 weeks | [typechecker] Changed generator clause post-inference typechecking so that … |
| NatParamAsExpr.fss | 0.8 kB | 2299 | 2 months | [TypeChecker?] Made sure that IntParams?, NatParams?, and BoolParams? can be … |
| NoTypeDecl.fss | 0.9 kB | 2199 | 2 months | [typechecker] New version of type inference works for most tests but not … |
| ObjectExpr.fss | 1.1 kB | 2263 | 2 months | IntLiteral? is now a subtype of ZZ32 (and thus of every other … |
| ObjectFromInterface.fsi | 0.8 kB | 2703 | 3 weeks | [disambiguator] Fixed a problem with the disambiguator where objects that … |
| ObjectFromInterface.fss | 1.1 kB | 2703 | 3 weeks | [disambiguator] Fixed a problem with the disambiguator where objects that … |
| OpTest.fss | 0.8 kB | 1856 | 3 months | Now simple operator expressions work. |
| OrWorks.fss | 1.1 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| OverloadedFunctions.fss | 1.6 kB | 1973 | 3 months | Made ArrayElements? work. |
| OverloadsA.fsi | 0.8 kB | 1539 | 4 months | Moved some utility functions for type checking to TypesUtil?. Introduced a … |
| OverloadsB.fsi | 0.8 kB | 1539 | 4 months | Moved some utility functions for type checking to TypesUtil?. Introduced a … |
| PlusEq.fss | 0.9 kB | 2036 | 3 months | Fixed the assignment case so that it uses field setters and the subscript … |
| ProvokeTypecheckError.fss | 1.2 kB | 2693 | 3 weeks | [typechecker, bugfix] Fixed ticket 166 by typechecking constraints that … |
| SelfTypeTest.fss | 1.3 kB | 2722 | 3 weeks | [typechecker] - Implemented the VarType? cases in the type analyzer, … |
| SetterTest.fss | 0.9 kB | 2048 | 3 months | [copyright] Fixed copyright notices. |
| SimpleApi.fsi | 0.8 kB | 1101 | 9 months | Changed interpreter path to be not FORTRESS_PATH, reduce conflict and … |
| SimpleFunctionCall.fss | 1.0 kB | 1893 | 3 months | Several changes: - Changed TightJuxt? so that is basically works and … |
| SimpleObject.fss | 0.9 kB | 1395 | 6 months | Added basic string description to type environments. Fixed bug with … |
| SimpleTrait.fss | 0.9 kB | 2163 | 2 months | [Disambiguator] There are a lot of changes in this revision. - I found … |
| SimpleTuple.fss | 0.9 kB | 1831 | 3 months | Simple field accesses, and now we are checking the expressions in a block … |
| SingleImport.fss | 0.9 kB | 2699 | 3 weeks | [disambiguator] This is a small change that enables static_tests/AsIf.fss … |
| SingletonVar.fss | 0.9 kB | 2298 | 2 months | [TypeChecker?] Fixed a bug where StaticTypeReplacer? would replace VarRefs? … |
| SubscriptAssign.fss | 1.0 kB | 2036 | 3 months | Fixed the assignment case so that it uses field setters and the subscript … |
| SubscriptExpr.fss | 1.0 kB | 1988 | 3 months | Just finished checking SubscriptExpr?. Had to change the function … |
| ThrowTest.fss | 1.0 kB | 1726 | 3 months | Added two new cases to typchecker: Assignment and throw. Tests included. |
| TightJuxt.fss | 0.8 kB | 1893 | 3 months | Several changes: - Changed TightJuxt? so that is basically works and … |
| TryAtomic.fss | 0.9 kB | 1746 | 3 months | Added copyright notices. |
| TryTest.fss | 1.0 kB | 1779 | 3 months | New tests for try |
| TupleAssignment.fss | 1.1 kB | 2640 | 4 weeks | [typechecker] - Fixed a major bug in type inference where some inferred … |
| Typecase.fss | 1.3 kB | 1781 | 3 months | We now have passing tests for the typecase expression. |
| TypesAreSame.fss | 1.0 kB | 2211 | 2 months | [typechecker] We now insert inference variables into more places like … |
| UseConditionalOp.fss | 0.9 kB | 2472 | 1 month | [test] Fixed the mondial.fss test. |
| VarParam.fss | 0.9 kB | 2472 | 1 month | [test] Fixed the mondial.fss test. |
| VarTypeAsReturn.fss | 0.9 kB | 2731 | 2 weeks | [typechecker] - Once we made VarTypes? work, it caused exceptions on … |
| While.fss | 1.0 kB | 1819 | 3 months | We now have tests for simple method invocations, generalized if and while … |
| XXXApiDisambiguation.fss | 0.9 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| XXXExitWithoutTarget.fss | 0.9 kB | 1550 | 4 months | Completed type checking of Label and Exit; also added Atomic and Spawn. … |
| XXXGarbageExtendsClause.fss | 0.9 kB | 2731 | 2 weeks | [typechecker] - Once we made VarTypes? work, it caused exceptions on … |
| XXXIllegalShadowing.fss | 1.3 kB | 2709 | 3 weeks | [shadowing,bugfix] Issue: 152, This error is now caught, thanks to Eric's … |
| XXXMultipleRefErrors.fss | 0.9 kB | 1313 | 7 months | Implemented another subtype checker. |
| XXXMutualSeperateLetFn.fss | 1.1 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| XXXParseErrorMissingEnd.fss | 0.8 kB | 1313 | 7 months | Implemented another subtype checker. |
| XXXShadowedField.fss | 0.8 kB | 2658 | 3 weeks | [copyright] Fixed copyright notices. |
| XXXShadowedFunctionParam.fss | 0.8 kB | 2658 | 3 weeks | [copyright] Fixed copyright notices. |
| XXXShadowedMethodName2.fss | 0.8 kB | 2658 | 3 weeks | [copyright] Fixed copyright notices. |
| XXXShadowedMethodName.fss | 0.8 kB | 2658 | 3 weeks | [copyright] Fixed copyright notices. |
| XXXShadowedObjectParam.fss | 0.8 kB | 2658 | 3 weeks | [copyright] Fixed copyright notices. |
| XXXShadowedVar.fss | 0.8 kB | 2658 | 3 weeks | [copyright] Fixed copyright notices. |
| XXXUndefinedArrayRef.fss | 0.9 kB | 1313 | 7 months | Implemented another subtype checker. |
| XXXUndefinedInitializer.fss | 0.9 kB | 1313 | 7 months | Implemented another subtype checker. |
| XXXUndefinedNestedRef.fss | 0.9 kB | 1313 | 7 months | Implemented another subtype checker. |
| XXXUndefinedRefInLoop.fss | 0.9 kB | 1313 | 7 months | Implemented another subtype checker. |
| XXXUndefinedTopLevelVar.fss | 0.8 kB | 2236 | 2 months | [parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
| XXXUndefinedVar.fss | 0.8 kB | 1313 | 7 months | Implemented another subtype checker. |
Note: See TracBrowser for help on using the browser.
