# # ChangeLog for /trunk/ProjectFortress/test_library # # Generated by Trac 0.11.5 # 11/24/09 19:58:42 Fri, 22 May 2009 19:54:23 GMT sukyoungryu [3757] * trunk/ProjectFortress/compiler_tests/Compiled6.e.fss (added) * trunk/ProjectFortress/compiler_tests/XXX6e.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/test_library/AbstractDef.fsi (added) [export checker] Improved the error message format from the export ... Fri, 22 May 2009 18:34:37 GMT sukyoungryu [3756] * trunk/ProjectFortress/compiler_tests/Compiled6.d.fss (added) * trunk/ProjectFortress/compiler_tests/XXX6d.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/CompilationUnitIndex.java (modified) * trunk/ProjectFortress/test_library/XXXExplicitImportOfNonExistingName.fsi (added) [disambiguator] Implemented checking whether imported names are indeed ... Fri, 08 May 2009 02:58:03 GMT sukyoungryu [3715] * trunk/ProjectFortress/compiler_tests/Compiled5.a.fss (added) * trunk/ProjectFortress/compiler_tests/XXX5a.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/test_library/Compiled5.a.fsi (added) [export checker] Improved error messages. Added a test. Thu, 16 Apr 2009 17:44:40 GMT sukyoungryu [3648] * trunk/Library/Generator2.fss (modified) * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled3.q.fss (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProperTraitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/TraitObject.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/TraitClauses.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/test_library/Compiled3.q.fsi (added) [static checker] Implemented a simple comprises clause check. Added a ... Mon, 13 Apr 2009 19:06:16 GMT sukyoungryu [3633] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled3.f.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled3.g.fss (added) * trunk/ProjectFortress/compiler_tests/XXX3g.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/test_library/Compiled3.f.fsi (added) * trunk/ProjectFortress/test_library/Compiled3.g.fsi (added) [export checker] Fixed a bug checking trait/object members in APIs and ... Thu, 02 Apr 2009 20:42:15 GMT sukyoungryu [3604] * trunk/ProjectFortress/compiler_tests/Compiled1.b.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled3.a.fss (copied) * trunk/ProjectFortress/compiler_tests/XXX1b.test (added) * trunk/ProjectFortress/compiler_tests/XXX1j.test (deleted) * trunk/ProjectFortress/test_library/Compiled1.b.fsi (moved) [compiler tests] Moved Compiled1.b to Compiled3.a. Mon, 16 Mar 2009 05:51:41 GMT sukyoungryu [3553] * trunk/ProjectFortress/compiler_tests/Compiled1.j.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ScalaConstraintJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/Transform.java (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/LetCC.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/LetCC.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/LetCCUse.fss (added) * trunk/ProjectFortress/test_library/Compiled1.j.fsi (modified) [syntactic abstraction] Fixed hygienic renaming. Added the LetCC ... Sat, 14 Mar 2009 21:29:29 GMT sukyoungryu [3551] * trunk/ProjectFortress/compiler_tests/Compiled1.i.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled1.j.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled2.a.fss (added) * trunk/ProjectFortress/compiler_tests/XXX1i.test (added) * trunk/ProjectFortress/compiler_tests/XXX1j.test (added) * trunk/ProjectFortress/compiler_tests/XXX2a.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/test_library/Compiled1.j.fsi (added) * trunk/ProjectFortress/test_library/Compiled2.a.fsi (added) * trunk/ProjectFortress/test_library/XXXMissingExport.fsi (deleted) * trunk/ProjectFortress/test_library/XXXMissingExport.fss (deleted) * trunk/ProjectFortress/test_library/XXXMultipleExports.fss (deleted) [static overloading check] Implemented a very simple overloading check: ... Sun, 08 Mar 2009 14:06:19 GMT sukyoungryu [3518] * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ParametricOperator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/test_library/FirstAPI.fsi (added) * trunk/ProjectFortress/test_library/SecondAPI.fsi (added) * trunk/ProjectFortress/test_library/XXXMultipleExports.fss (added) [export checker] Implemented the new static check: Multiple APIs ... Tue, 09 Dec 2008 17:38:06 GMT sukyoungryu [3179] * trunk/Library/File.fss (modified) * trunk/Library/JavaString.fss (modified) * trunk/Library/Writer.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/AnyType.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/NativeArray.fss (modified) * trunk/ProjectFortress/test_library/TestNative.fss (modified) * trunk/README.txt (modified) [library] The language and package bindings in native components should ... Fri, 07 Nov 2008 00:13:13 GMT sukyoungryu [3034] * trunk/ProjectFortress/src/com/sun/fortress/parser/Identifier.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/OtherDecl.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/SyntaxChecker.java (modified) * trunk/ProjectFortress/test_library/Foo.fss (modified) * trunk/ProjectFortress/tests/BadBounds.fss (modified) [parser] Simplified grammar for dimensions and units. [copyright] Fixed ... Wed, 05 Nov 2008 15:55:04 GMT jmaessen [3029] * trunk/ProjectFortress/not_passing_yet/XXXUseMissingExport.fss (added) * trunk/ProjectFortress/test_library/Foo.fsi (modified) * trunk/ProjectFortress/test_library/Foo.fss (modified) * trunk/ProjectFortress/test_library/XXXMissingExport.fsi (added) * trunk/ProjectFortress/test_library/XXXMissingExport.fss (added) Add test for reporting of imported entities that are not present in the ... Thu, 14 Aug 2008 11:09:16 GMT sukyoungryu [2633] * trunk/ProjectFortress/src/com/sun/fortress/parser_util/Where.java (modified) * trunk/ProjectFortress/test_library/Foo.fsi (modified) * trunk/ProjectFortress/tests/BadEncloser.fss (modified) * trunk/ProjectFortress/tests/chain0.fss (modified) * trunk/ProjectFortress/tests/unicodeTest.fss (modified) [copyright] Fixed copyright notices. Tue, 12 Aug 2008 22:40:14 GMT EricAllen [2609] * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ExprDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/NameEnv.java (modified) * trunk/ProjectFortress/static_tests/MutualLetFn.fss (modified) * trunk/ProjectFortress/test_library/Foo.fsi (modified) * trunk/ProjectFortress/tests/SetTest.fss (modified) * trunk/ProjectFortress/tests/contracts1.fss (modified) Turned on shadowing detection, after fixing remaining bugs in the ... Mon, 07 Jul 2008 21:36:08 GMT angelee [2193] * trunk/ProjectFortress/test_library/AsciiVal.fsi (added) * trunk/ProjectFortress/test_library/AsciiVal.fss (added) * trunk/ProjectFortress/tests/AsciiVal.fsi (deleted) * trunk/ProjectFortress/tests/AsciiVal.fss (deleted) [compiler] more moving files around. Mon, 07 Jul 2008 20:46:48 GMT angelee [2191] * trunk/ProjectFortress/test_library/a.b (added) * trunk/ProjectFortress/test_library/a.b/NestedOne.fsi (added) * trunk/ProjectFortress/test_library/a.b/NestedOne.fss (added) * trunk/ProjectFortress/test_library/a.b/c.d (added) * trunk/ProjectFortress/test_library/a.b/c.d/NestedTwo.fsi (added) * trunk/ProjectFortress/test_library/a.b/c.d/NestedTwo.fss (added) [compiler] Just moving test files around. Thu, 08 May 2008 12:08:19 GMT jmaessen [1597] * trunk/Library/FortressLibrary.fsi (modified) * trunk/Library/FortressLibrary.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fss (modified) * trunk/ProjectFortress/demos/HeapShakedown.fss (modified) * trunk/ProjectFortress/not_passing_yet/tree.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/CommonEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Closure.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FunctionalMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedFunction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Float.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/IntLiteral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Long.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/ZZ32.java (modified) * trunk/ProjectFortress/test_library/oddJuxtComp.fss (modified) * trunk/ProjectFortress/tests/CovariantTest.fss (modified) * trunk/ProjectFortress/tests/XXXextendOprParam1.fss (modified) * trunk/ProjectFortress/tests/XXXextendOprParam2.fss (modified) * trunk/ProjectFortress/tests/XXXflatTest.fss (modified) * trunk/ProjectFortress/tests/XXXgenericTest6.fss (modified) * trunk/ProjectFortress/tests/asifTest.fss (modified) * trunk/ProjectFortress/tests/extendOprParam.fss (modified) * trunk/ProjectFortress/tests/extendOprWithParam.fss (modified) * trunk/ProjectFortress/tests/genericTest5.fss (modified) Refactored libraries to move arithmetic operators from top level into ... Sun, 27 Apr 2008 21:58:31 GMT jmaessen [1531] * trunk/Library/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTraitOrObject.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeArrow.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeGeneric.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeNat.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeObjectInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeOpr.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeTraitInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeTuple.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/IntNat.java (modified) * trunk/ProjectFortress/test_library/oddJuxtComp.fsi (added) * trunk/ProjectFortress/test_library/oddJuxtComp.fss (added) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/oddJuxt.fss (added) Fixes bug in type inference reported by Sorin Miklós Zsejki that was ... Fri, 28 Mar 2008 04:31:04 GMT sukyoungryu [1424] * trunk/ProjectFortress/test_library/Zeepf.fss (added) * trunk/SpecData/examples/library/Ralph.compile.fss (added) * trunk/SpecData/examples/preliminaries/Blargh.fss (added) * trunk/SpecData/examples/preliminaries/Blargh2.fss (added) * trunk/SpecData/examples/preliminaries/Executable.fsi (added) * trunk/SpecData/examples/preliminaries/HelloWorld.fss (added) * trunk/SpecData/examples/preliminaries/HelloWorld2.fss (added) * trunk/SpecData/examples/preliminaries/Overview.shell.a.fss (added) * trunk/SpecData/examples/preliminaries/Zeepf.fsi (added) Added more spec examples. Mon, 24 Mar 2008 17:35:16 GMT jmaessen [1397] * trunk/Library (added) * trunk/Library/ArrayList.fsi (moved) * trunk/Library/ArrayList.fss (moved) * trunk/Library/Constants.fsi (moved) * trunk/Library/Constants.fss (moved) * trunk/Library/File.fsi (moved) * trunk/Library/File.fss (copied) * trunk/Library/FileSupport.fsi (moved) * trunk/Library/FileSupport.fss (moved) * trunk/Library/FortressAst.fsi (moved) * trunk/Library/FortressAst.fss (moved) * trunk/Library/FortressLibrary.fsi (moved) * trunk/Library/FortressLibrary.fss (moved) * trunk/Library/FortressSyntax.fsi (moved) * trunk/Library/FortressSyntax.fss (moved) * trunk/Library/Heap.fsi (moved) * trunk/Library/Heap.fss (moved) * trunk/Library/Lazy.fsi (moved) * trunk/Library/Lazy.fss (moved) * trunk/Library/Map.fsi (moved) * trunk/Library/Map.fss (moved) * trunk/Library/OneShotFlag.fsi (moved) * trunk/Library/OneShotFlag.fss (moved) * trunk/Library/PureList.fsi (moved) * trunk/Library/PureList.fss (moved) * trunk/Library/QuickSort.fsi (moved) * trunk/Library/QuickSort.fss (moved) * trunk/Library/Set.fsi (moved) * trunk/Library/Set.fss (moved) * trunk/Library/SkipList.fsi (moved) * trunk/Library/SkipList.fss (moved) * trunk/Library/Sparse.fsi (moved) * trunk/Library/Sparse.fss (moved) * trunk/Library/incomplete (added) * trunk/Library/incomplete/Collection.fss (moved) * trunk/Library/incomplete/Sequence.fss (moved) * trunk/Library/incomplete/advanced (moved) * trunk/Library/incomplete/advanced/Fortress.Operators.fsi.INCOMPLETE (copied) * trunk/Library/incomplete/advanced/Fortress.PartialTotalOrders.fsi.INCOMPLETE (copied) * trunk/Library/incomplete/advanced/Fortress.PartialTotalOrders.fss (copied) * trunk/Library/incomplete/advanced/Fortress.Predicates.fsi (copied) * trunk/Library/incomplete/basic (moved) * trunk/Library/incomplete/basic/Fortress.Convenience.fsi (copied) * trunk/Library/incomplete/basic/Fortress.Convenience.fss (copied) * trunk/Library/incomplete/basic/Fortress.Core.fsi (copied) * trunk/Library/incomplete/basic/Fortress.EnglishUnits.fsi (copied) * trunk/Library/incomplete/basic/Fortress.EnglishUnits.fss (copied) * trunk/Library/incomplete/basic/Fortress.InformationUnits.fsi (copied) * trunk/Library/incomplete/basic/Fortress.InformationUnits.fss (copied) * trunk/Library/incomplete/basic/Fortress.NegatedOperators-NYI.fsi (copied) * trunk/Library/incomplete/basic/Fortress.Number.fsi (copied) * trunk/Library/incomplete/basic/Fortress.Potrzebie.fsi (copied) * trunk/Library/incomplete/basic/Fortress.Potrzebie.fss (copied) * trunk/Library/incomplete/basic/Fortress.SIUnits.fsi (copied) * trunk/Library/incomplete/basic/Fortress.SIUnits.fss (copied) * trunk/Library/incomplete/basic/Fortress.Standard.fsi (copied) * trunk/Library/incomplete/basic/Fortress.Standard.fss (copied) * trunk/ProjectFortress/LibraryBuiltin (added) * trunk/ProjectFortress/LibraryBuiltin/CovariantCollection.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/CovariantCollection.fss (moved) * trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fss (copied) * trunk/ProjectFortress/LibraryBuiltin/NatReflect.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/NatReflect.fss (moved) * trunk/ProjectFortress/LibraryBuiltin/NativeArray.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/NativeArray.fss (copied) * trunk/ProjectFortress/LibraryBuiltin/NativeSimplePreTypes.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/NativeSimplePreTypes.fss (moved) * trunk/ProjectFortress/LibraryBuiltin/NativeSimpleTypes.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/NativeSimpleTypes.fss (moved) * trunk/ProjectFortress/LibraryBuiltin/Thread.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/Thread.fss (copied) * trunk/ProjectFortress/LibraryBuiltin/TypeReflect.fsi (moved) * trunk/ProjectFortress/LibraryBuiltin/TypeReflect.fss (copied) * trunk/ProjectFortress/test_library/List.fsi (deleted) * trunk/ProjectFortress/test_library/List.fss (deleted) * trunk/ProjectFortress/test_library/TestNative.fss (copied) * trunk/ProjectFortress/test_library_native (deleted) * trunk/bin/foreg (modified) * trunk/bin/fortex (modified) * trunk/bin/fortick (modified) * trunk/bin/fortify (modified) * trunk/fortress.properties (modified) Massive library reorganization: * Most of ... Fri, 21 Mar 2008 20:23:45 GMT jmaessen [1393] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/tests/ExceptionScoping.fss (modified) Tweaks to map api to use while loops for lookup. Replaced UnJustNothing ... Thu, 20 Mar 2008 23:42:07 GMT jmaessen [1390] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/DelegatingTypeNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/LocalStaticParamEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/Types.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/ComponentWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/FileTests.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/fs.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FBool.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/BatchCachingAnalyzingRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/BatchCachingRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/StubRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressTypeToJavaTypeJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/SyntaxAbstractionUtil.java (modified) * trunk/ProjectFortress/test_library/NativeSimpleTypes.fsi (modified) Clean up last checkin; it involved applying a whitespace-ignoring patch ... Thu, 20 Mar 2008 21:22:38 GMT skilpat [1389] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/DelegatingTypeNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/LocalStaticParamEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/Types.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/ComponentWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/FileTests.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Libraries.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/fs.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Primitives.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FBool.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/NativeConstructor.java (added) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Boolean.java (added) * trunk/ProjectFortress/src/com/sun/fortress/shell/BatchCachingRepository.java (modified) * trunk/ProjectFortress/test_library/FortressBuiltin.fsi (modified) * trunk/ProjectFortress/test_library/NativeSimplePreTypes.fsi (added) * trunk/ProjectFortress/test_library/NativeSimplePreTypes.fss (added) * trunk/ProjectFortress/test_library/NativeSimpleTypes.fsi (added) * trunk/ProjectFortress/test_library/NativeSimpleTypes.fss (added) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/test_library_native/FortressBuiltin.fss (modified) * trunk/ProjectFortress/tests/BooleanOps.fss (added) * trunk/ProjectFortress/tests/MapExprTest.fss (modified) * trunk/ProjectFortress/tests/atomicList.fss (modified) * trunk/ProjectFortress/tests/booleanGuard.fss (modified) * trunk/ProjectFortress/tests/doubledOverloading2.fss (modified) * trunk/ProjectFortress/tests/instantiateNatParam.fss (modified) * trunk/ProjectFortress/tests/monoidal.fss (modified) * trunk/ProjectFortress/tests/setMakerTest0.fss (modified) Added Jan's changes to builtin libraries. Fixed type checking qualified ... Mon, 17 Mar 2008 16:43:35 GMT sukyoungryu [1380] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/BetterEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildObjectEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildTraitEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/TypeRange.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Dummy_fcn.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FGenericFunction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FRange.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FVoid.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/MethodClosure.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/MethodClosureInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/PartiallyDefinedMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/PartiallyDefinedMethodInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/Glue.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Int.java (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fsi (modified) * trunk/ProjectFortress/test_library/Lazy.fsi (modified) * trunk/ProjectFortress/test_library/NatReflect.fsi (modified) * trunk/ProjectFortress/test_library/NatReflect.fss (modified) * trunk/ProjectFortress/tests/CovariantTest.fss (modified) Fixed copyright notices. Fri, 14 Mar 2008 17:20:26 GMT jmaessen [1374] * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) Fixed sequential generator code for Set and Map (we recursed to the ... Thu, 13 Mar 2008 19:50:53 GMT dr2chase [1370] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/FileTests.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/BetterEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildObjectEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildTraitEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTraitOrObject.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTraitOrObjectOrGeneric.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeGeneric.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeObject.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeTrait.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/GenericTypeInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Constructor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Fcn.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/GenericConstructor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/GenericMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/MethodClosure.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/MethodClosureInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Overload.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedFunction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/PartiallyDefinedMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/PartiallyDefinedMethodInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/SingleFcn.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/Glue.java (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) Refactoring to prepare for trait-method overrride; fixed big with self ... Wed, 12 Mar 2008 18:55:46 GMT jmaessen [1367] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fsi (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fss (modified) * trunk/ProjectFortress/test_library/Heap.fsi (modified) * trunk/ProjectFortress/test_library/Heap.fss (modified) * trunk/ProjectFortress/test_library/Lazy.fsi (modified) * trunk/ProjectFortress/test_library/Lazy.fss (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/NatReflect.fsi (modified) * trunk/ProjectFortress/test_library/NatReflect.fss (modified) * trunk/ProjectFortress/test_library/PureList.fsi (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/CovariantTest.fss (modified) * trunk/ProjectFortress/tests/RangeTest.fss (modified) More generic singleton cleanup. Wed, 12 Mar 2008 15:27:29 GMT sukyoungryu [1366] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/LazilyEvaluatedCell.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/FortressException.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Primitives.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/Bool.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeTrait.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rules/RuleFactory.java (modified) * trunk/ProjectFortress/test_library/Lazy.fss (modified) * trunk/ProjectFortress/tests/Exception.fss (modified) * trunk/ProjectFortress/tests/atomicList.fss (modified) * trunk/ProjectFortress/tests/atomicsets.fss (modified) * trunk/ProjectFortress/tests/maybeTest.fss (modified) Fixed copyright notices. Tue, 11 Mar 2008 19:35:01 GMT jmaessen [1361] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/test_library/Lazy.fss (modified) * trunk/ProjectFortress/tests/Region.fss (added) Regions, locality, and at (). Right now we're running on multicore ... Tue, 11 Mar 2008 16:43:21 GMT jmaessen [1360] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/FortressException.java (modified) * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/tests/Exception.fss (modified) * trunk/ProjectFortress/tests/ExceptionScoping.fss (added) * trunk/ProjectFortress/tests/MapTest.fss (modified) Fixes to exception handling, fixes to exception behavior of Map. Tue, 11 Mar 2008 03:48:39 GMT sukyoungryu [1359] * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/SpecData/examples/basic/Expr.Map.fss (added) * trunk/SpecData/examples/basic/Expr.SetComp.fss.NYI (added) * trunk/SpecData/examples/preliminaries/Overview.Expression.aggregate.l.fss (modified) * trunk/SpecData/examples/preliminaries/Overview.Expression.aggregate.s.fss (modified) Added spec examples for map aggregates and map comprehensions. Fixed ... Mon, 10 Mar 2008 21:29:30 GMT jmaessen [1358] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/LazilyEvaluatedCell.java (modified) * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/Set.fsi (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/atomicsets.fss (moved) Fixes to exception behavior of Set and Map. Map now supports disjoint ... Fri, 07 Mar 2008 23:52:53 GMT jmaessen [1351] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/HeapShakedown.fss (modified) * trunk/ProjectFortress/demos/aStar.fss (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxAST.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxRepetition.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/HeapTest.fss (modified) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/maybeTest.fss (modified) * trunk/ProjectFortress/tests/sequivTest.fss (modified) Make Nothing[\T\] into a generic singleton. Fri, 07 Mar 2008 22:39:50 GMT jmaessen [1350] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/Set.fsi (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/SetTest.fss (modified) * trunk/ProjectFortress/tests/TypeImportBug.fss (modified) List aggregates and comprehensions, Set partial ordering, Equality on ... Fri, 07 Mar 2008 19:40:51 GMT dr2chase [1349] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTraitOrObject.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeTrait.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/BatchCachingRepository.java (modified) * trunk/ProjectFortress/test_library/TestImports4.fss (modified) Fixed infinite loop after touch of cached API source Thu, 06 Mar 2008 05:26:00 GMT dr2chase [1341] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/MakeInferenceSpecific.java (modified) * trunk/ProjectFortress/test_library/TestImports3.fsi (added) * trunk/ProjectFortress/test_library/TestImports3.fss (added) * trunk/ProjectFortress/test_library/TestImports4.fsi (added) * trunk/ProjectFortress/test_library/TestImports4.fss (added) * trunk/ProjectFortress/tests/TestImportExport.fss (added) Added comments to MakeInferenceSpecific; repaired import-export bug Thu, 06 Mar 2008 02:02:44 GMT jdn [1340] * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NonterminalDisambiguator.java (moved) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Syntax.rats (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImports.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImportsA.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxHelloWorld.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxOption.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxRepetition.fsi (modified) * trunk/ProjectFortress/test_library/FortressSyntax.fsi (modified) Renamed file Tue, 04 Mar 2008 15:35:28 GMT sukyoungryu [1332] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/PrimitiveThread.java (deleted) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/StringPrim.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Thread.java (added) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/Desugarer.java (modified) * trunk/ProjectFortress/test_library/NativeThread.fsi (deleted) * trunk/ProjectFortress/test_library/Thread.fsi (added) * trunk/ProjectFortress/test_library_native/NativeThread.fss (deleted) * trunk/ProjectFortress/test_library_native/Thread.fss (added) * trunk/ProjectFortress/tests/Spawn.fss (modified) Renamed NativeThread to Thread. Tue, 04 Mar 2008 14:51:06 GMT sukyoungryu [1331] * trunk/ProjectFortress/not_passing_yet/GenericOverload4.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/VarTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/tasks/FortressTaskRunner.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/tasks/FortressTaskRunnerGroup.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/tasks/SpawnTask.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/transactions/Transaction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FBuiltinType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeBool.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeBufferedWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeChar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeFloat.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeFloatLiteral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeInt.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeIntLiteral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeIntegral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeLong.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeNat.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeNumber.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeString.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FBool.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FBufferedWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FBuiltinValue.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FChar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FFloat.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FFloatLiteral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FInt.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FIntLiteral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FLong.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FString.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/FStringLiteral.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/AnyPrim.java (modified) * trunk/ProjectFortress/test_library/NativeThread.fsi (modified) Fixed copyright notices. Fri, 29 Feb 2008 18:50:02 GMT chf [1325] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/PrimitiveThread.java (modified) * trunk/ProjectFortress/test_library/NativeThread.fsi (modified) * trunk/ProjectFortress/test_library_native/NativeThread.fss (modified) * trunk/ProjectFortress/tests/abortTest.fss (added) top level abort function Fri, 29 Feb 2008 04:51:23 GMT jdn [1322] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvalType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/IdentifierUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/IdentifierUtilJUTest.java (added) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/unicode.id.codes.pl (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/Module.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/NonterminalTypeDictionary.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/SyntaxDefTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/TerminalRewriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/util/ParserMediator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressObjectASTVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/JavaASTToFortressAST.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/SyntaxAbstractionUtil.java (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxAST.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxAST.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxASTUse.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxRepetition.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) Syntax abstraction bugfixes plus support for more AST nodes Wed, 27 Feb 2008 03:18:23 GMT jdn [1317] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarNonterminalCoreFortressIndex.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarNonterminalIndex.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarTerminalIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionDefIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionExtendIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Fortress.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/FileBasedMacroCompiler.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/GrammarIndexInitializer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/ContractedNonterminal.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/FortressModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/Module.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/UserModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/parser/FortressParser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/Analyzable.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/DependencyCollector.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ItemDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ModuleEnvironment.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ModuleTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/NonterminalContractor.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/NonterminalTypeDictionary.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ProductionTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/SyntaxDefTranslator.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/TerminalRewriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/VariableCollector.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/JavaC.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/RatsParserGenerator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/RatsUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/util/ModuleInfo.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/util/ParserMediator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressObjectASTVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressTypeToJavaType.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressTypeToJavaTypeJUTest.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/JavaAstPrettyPrinter.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/SyntaxAbstractionUtil.java (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImports.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImportsA.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxHelloWorld.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxOption.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxRepetition.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxRepetition.fss (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxRepetitionUse.fss (modified) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) * trunk/ProjectFortress/test_library/FortressSyntax.fsi (modified) Syntax abstraction, added support for import of multiple modules and ... Sat, 16 Feb 2008 00:44:00 GMT dr2chase [1301] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Overload.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/SpecData/examples/advanced/OprDecl.Infix.fss (modified) Fixed prefix/postfix/other operator ambiguity, fixes bugs #16 and #62 Sun, 10 Feb 2008 04:49:40 GMT sukyoungryu [1287] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/LocalFnEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/LocalStaticParamEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/LocalVarEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ComponentIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/DeclaredMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FieldGetterMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FieldSetterMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/FnTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/LValueTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvalType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/LHSEvaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/LHSToLValue.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/MakeInferenceSpecific.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/ScoutVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeArrow.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTypeTuple.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/WellKnownNames.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ErrorMsgMaker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeComparator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/AbsField.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Declaration.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/DelimitedExpr.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Field.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Function.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/LocalDecl.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Type.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Variable.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/precedence_resolver/TypeResolver.java (modified) * trunk/ProjectFortress/static_tests/lib/FortressLibrary.tfs (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxHelloWorldUse.fss (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxProductionExtends.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxGrammarExtendsNonExistingGrammar.fsi (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxGrammarImportsUse.fss (modified) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxNoFortressAstImport.fsi (modified) * trunk/ProjectFortress/test_library/FortressBuiltin.fsi (modified) Revising the tuple types and tuple expressions according to the new ... Fri, 08 Feb 2008 20:43:08 GMT jdn [1280] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/build.xml (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/DisambiguatorJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/IndexBuilder.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ProductionDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ProductionEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarTerminalIndex.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionExtendIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Syntax.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/GrammarIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/GrammarIndexInitializer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/SyntaxAbstractionJUTest.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/FortressModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/Module.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/UserModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/Analyzable.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ItemDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ModuleTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ProductionTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/TerminalRewriter.java (added) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/KeywordModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressObjectASTVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/JavaASTToFortressAST.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/SyntaxAbstractionUtil.java (modified) * trunk/ProjectFortress/static_tests/SyntaxGrammarImports.fsi (deleted) * trunk/ProjectFortress/static_tests/SyntaxGrammarImports.fss (deleted) * trunk/ProjectFortress/static_tests/SyntaxGrammarImportsA.fsi (deleted) * trunk/ProjectFortress/static_tests/SyntaxGrammarImportsA.fss (deleted) * trunk/ProjectFortress/static_tests/SyntaxGrammarImportsUse.fss (deleted) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fsi (deleted) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fss (deleted) * trunk/ProjectFortress/static_tests/SyntaxHelloWorldUse.fss (deleted) * trunk/ProjectFortress/static_tests/lib/SyntaxHelloWorld.tfi (deleted) * trunk/ProjectFortress/static_tests/syntax_abstraction (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImports.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImports.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImportsA.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImportsA.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxGrammarImportsUse.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxHelloWorld.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxHelloWorld.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxHelloWorldUse.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/SyntaxProductionExtends.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxGrammarExtendsNonExistingGrammar.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxGrammarImportsUse.fss (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxMultipleGrammarsWithSameName.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxMultipleNonterminalDefsWithSameName.fsi (added) * trunk/ProjectFortress/static_tests/syntax_abstraction/XXXSyntaxNoFortressAstImport.fsi (added) * trunk/ProjectFortress/test_library/FortressSyntax.fsi (modified) Option and repetition symbols are now working for syntax abstractions Thu, 07 Feb 2008 19:02:56 GMT sukyoungryu [1270] * trunk/ProjectFortress/README (modified) * trunk/ProjectFortress/astgen/README (deleted) * trunk/ProjectFortress/src/com/sun/fortress/compiler/README (deleted) * trunk/ProjectFortress/src/com/sun/fortress/parser/README (deleted) * trunk/ProjectFortress/src/com/sun/fortress/parser/preparser/README (deleted) * trunk/ProjectFortress/test_library/README (deleted) Merged README files in subdirectories to the top-level README file. Thu, 07 Feb 2008 19:00:54 GMT dr2chase [1269] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/ComponentWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/GenericTypeInstance.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/Constructor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/GenericFunctionalMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedFunction.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/FortressBuiltin.fsi (modified) * trunk/ProjectFortress/tests/nativeImmutableArrayTest.fss (modified) * trunk/ProjectFortress/tests/reflect.fss (modified) Next step in converging interpreter and static import semantics Wed, 06 Feb 2008 17:17:05 GMT sukyoungryu [1263] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/DelimitedExpr.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/MethodParam.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Parameter.rats (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/PureList.fsi (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/test_library/Set.fsi (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/setMakerTest0.fss (modified) * trunk/ProjectFortress/tests/simpleBig.fss (modified) * trunk/ProjectFortress/tests/spuriousSelf.fss (modified) * trunk/SpecData/examples/advanced/OprDecl.Bracketing.fss (modified) * trunk/SpecData/examples/preliminaries/Overview.Expression.aggregate.s.fss (modified) Implemented the changed syntax for operator declarations, ... Mon, 04 Feb 2008 03:13:16 GMT jdn [1253] * trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerTopLevelJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/parser/FortressParser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ItemDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ProductionTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/JavaC.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/RatsUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressObjectASTVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/JavaASTToFortressAST.java (added) * trunk/ProjectFortress/static_tests/SyntaxGrammarImports.fsi (added) * trunk/ProjectFortress/static_tests/SyntaxGrammarImports.fss (added) * trunk/ProjectFortress/static_tests/SyntaxGrammarImportsA.fsi (added) * trunk/ProjectFortress/static_tests/SyntaxGrammarImportsA.fss (added) * trunk/ProjectFortress/static_tests/SyntaxGrammarImportsUse.fss (added) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) Values are now carried across from nonterminal references Fri, 01 Feb 2008 16:09:45 GMT jmaessen [1247] * trunk/ProjectFortress/test_library/Heap.fsi (modified) * trunk/ProjectFortress/test_library/Heap.fss (modified) * trunk/ProjectFortress/tests/HeapTest.fss (modified) * trunk/ProjectFortress/tests/OverloadConstructor2.fss (modified) * trunk/ProjectFortress/tests/OverloadConstructor3.fss (modified) * trunk/ProjectFortress/tests/spuriousSelf.fss (modified) Fixed some [but not all] static analysis rejections. The remainder will ... Fri, 01 Feb 2008 12:08:28 GMT sukyoungryu [1245] * trunk/ProjectFortress/src/com/sun/fortress/parser_util/precedence_resolver/PrecedenceMapJUTest.java (modified) * trunk/ProjectFortress/test_library/List.fss (modified) * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/QuickSort.fss (modified) * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/test_library/Sparse.fss (modified) * trunk/ProjectFortress/tests/GenericFnWithExcludes.fss (modified) * trunk/ProjectFortress/tests/ListTest.fss (modified) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/objectTest4.fss (modified) * trunk/ProjectFortress/tests/setMakerTest0.fss (modified) * trunk/SpecData/examples/basic/Expr.Typecase.fss (modified) * trunk/SpecData/examples/basic/Fun.Decl.fss (modified) * trunk/SpecData/examples/basic/StatParam.Bool.fss (modified) Fixed some copyright notices. Fri, 01 Feb 2008 01:29:22 GMT jdn [1242] * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ProductionEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/GrammarIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Syntax.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/FileBasedMacroCompiler.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/GrammarIndexInitializer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/Module.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ItemDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ModuleTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ProductionTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/util/ModuleEnum.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/util/ModuleInfo.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fsi (modified) * trunk/ProjectFortress/test_library/FortressSyntax.fsi (modified) Fri, 01 Feb 2008 00:16:50 GMT sukyoungryu [1241] * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Set.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/test_library/Sparse.fss (modified) * trunk/ProjectFortress/tests/GenericFnWithExcludes.fss (modified) * trunk/ProjectFortress/tests/conditionalExtension.fss (modified) * trunk/ProjectFortress/tests/monoidal.fss (modified) * trunk/ProjectFortress/tests/objectTest4.fss (modified) * trunk/ProjectFortress/tests/whereTest.fss (modified) * trunk/SpecData/examples/basic/Expr.Typecase.fss (modified) * trunk/SpecData/examples/basic/Fun.Decl.fss (modified) * trunk/SpecData/examples/basic/StatParam.Bool.fss (modified) Fixed some static errors in the example programs and libraries. Thu, 31 Jan 2008 22:31:35 GMT jmaessen [1239] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/demos/Lambda.tests (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedFunction.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/List.fsi (modified) * trunk/ProjectFortress/test_library/List.fss (modified) * trunk/ProjectFortress/test_library/Map.fsi (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/QuickSort.fss (modified) * trunk/ProjectFortress/test_library/Set.fsi (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/ListTest.fss (modified) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/SetTest.fss (modified) * trunk/ProjectFortress/tests/errIN.fss (added) * trunk/ProjectFortress/tests/setMakerTest0.fss (modified) Tons of random changes to library, including final depracation of ... Thu, 31 Jan 2008 19:44:37 GMT dr2chase [1238] * trunk/.hgignore (modified) * trunk/ProjectFortress/build.xml (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/RepositoryUpdater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/ComponentWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/FileTests.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/ProjectProperties.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/fs.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/Desugarer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/RewriteInPresenceOfTypeInfo.java (added) * trunk/ProjectFortress/src/com/sun/fortress/shell/BatchCachingAnalyzingRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/BatchCachingRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/CommandInterpreter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/StringMap.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) Integrated, but switched off so we still pass unit tests Sun, 27 Jan 2008 21:59:02 GMT sukyoungryu [1214] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/DelimitedExpr.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/LocalDecl.rats (modified) * trunk/ProjectFortress/static_tests/lib/FortressLibrary.tfs (modified) * trunk/ProjectFortress/test_library/FileSupport.fss (modified) * trunk/ProjectFortress/test_library/Heap.fss (modified) * trunk/ProjectFortress/tests/ImplicitBlocks.fss (modified) * trunk/ProjectFortress/tests/XXXdispatchTest.fss (modified) * trunk/ProjectFortress/tests/XXXtypecaseShadow.fss (modified) * trunk/ProjectFortress/tests/XXXtypecaseTest.fss (modified) * trunk/ProjectFortress/tests/newlineTest.fss (modified) * trunk/ProjectFortress/tests/typecaseTest.fss (modified) Implemented the revised syntax and semantics of typecase bindings. Fri, 25 Jan 2008 14:52:00 GMT jmaessen [1203] * trunk/ProjectFortress/test_library/Heap.fss (modified) Updated comments to reflect reality. Thu, 24 Jan 2008 22:27:48 GMT jmaessen [1200] * trunk/ProjectFortress/demos/aStar.fss (modified) * trunk/ProjectFortress/demos/aStarSudokuData.txt (added) * trunk/ProjectFortress/test_library/FileSupport.fss (modified) Some A* changes, plus a bug fix (bad type information given) in ... Thu, 24 Jan 2008 19:39:00 GMT dr2chase [1198] * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fsi (modified) * trunk/ProjectFortress/test_library/FortressSyntax.fss (added) Removed disabling comment on import; added implementation of API; split ... Thu, 24 Jan 2008 05:57:54 GMT jdn [1195] * trunk/ProjectFortress/test_library/FortressSyntax.fsi (added) Fortress syntax Thu, 24 Jan 2008 03:29:23 GMT jmaessen [1193] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/aStar.fss (added) * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) A* search example (half-baked and deliberately inefficient to shake down ... Wed, 23 Jan 2008 17:24:47 GMT jdn [1186] * trunk/ProjectFortress/src/com/sun/fortress/parser/Fortress.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Spacing.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/GrammarIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/parser/GrammarCollector.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/FortressModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/KeywordModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/RatsParserGenerator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) Fixed copyrights Tue, 22 Jan 2008 22:19:24 GMT jmaessen [1183] * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/Desugarer.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/PureList.fsi (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/test_library/Set.fsi (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/PureListQuick.fss (modified) * trunk/ProjectFortress/tests/SetTest.fss (modified) * trunk/ProjectFortress/tests/TypeImportBug.fss (modified) * trunk/ProjectFortress/tests/simpleBig.fss (modified) List and Set comprehensions. Caveat emptor: comprehensions whose result ... Sat, 19 Jan 2008 04:29:24 GMT jdn [1176] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ProductionDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ProductionEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProductionIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Syntax.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/FileBasedMacroCompiler.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/FortressModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/intermediate/Module.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/GrammarTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ModuleTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ProductionTranslator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/FortressModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/KeywordModule.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/RatsParserGenerator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/RatsUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/rats/util/ModuleInfo.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) More syntax abstraction stuff Thu, 17 Jan 2008 15:53:38 GMT chf [1168] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/demos/buffons.fss (modified) * trunk/ProjectFortress/demos/mm.fss (modified) * trunk/ProjectFortress/demos/mm64.fss (modified) * trunk/ProjectFortress/demos/mm64x.fss (modified) * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/nolib.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/ant_tasks/FortressTask.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/IndexBuilder.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ProductionDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ProductionEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TraitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TypeAliasIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TypeConsIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/NonEmptyStaticParamEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/StaticParamEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeCheckerResult.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Libraries.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/MainBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/ProjectProperties.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/ReferenceCell.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/tasks/EvaluatorTask.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/tasks/ThreadState.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/NativeApp.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/RewriteInAbsenceOfTypeInfo.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeComparator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Compilation.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Header.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Identifier.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Keyword.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Method.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/NoNewlineExpr.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/OtherDecl.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Symbol.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Syntax.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Type.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/FortressUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/CacheBasedRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/CommandInterpreter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/PathBasedRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/FileBasedMacroCompiler.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ItemDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/Path.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/StringMap.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fss (modified) * trunk/ProjectFortress/test_library/List.fsi (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/AlsoDo.fss (modified) * trunk/ProjectFortress/tests/HeapTest.fss (modified) * trunk/ProjectFortress/tests/OverloadBuiltinParam.fss (modified) * trunk/ProjectFortress/tests/OverloadConstructor2.fss (modified) * trunk/ProjectFortress/tests/XXXGenericOverload3.fss (modified) * trunk/ProjectFortress/tests/XXXHashtable.fss (modified) * trunk/ProjectFortress/tests/XXXImportImportCollision.fss (modified) * trunk/ProjectFortress/tests/XXXInheritedOverload.fss (modified) * trunk/ProjectFortress/tests/XXXLetRecTest.fss (modified) * trunk/ProjectFortress/tests/XXXMultipleModifiers.fss (modified) * trunk/ProjectFortress/tests/XXXMultipleTraitClauses.fss (modified) * trunk/ProjectFortress/tests/XXXTestTest.fss (modified) * trunk/ProjectFortress/tests/XXXTypeError.fss (modified) * trunk/ProjectFortress/tests/XXXUnimplementedMethod.fss (modified) * trunk/ProjectFortress/tests/XXXarityTestFn.fss (modified) * trunk/ProjectFortress/tests/XXXarrayTest.fss (modified) * trunk/ProjectFortress/tests/XXXbroken.fss (modified) * trunk/ProjectFortress/tests/XXXcaseTest.fss (modified) * trunk/ProjectFortress/tests/XXXchain1.fss (modified) * trunk/ProjectFortress/tests/XXXdispatchTest.fss (modified) * trunk/ProjectFortress/tests/XXXextendBoolean.fss (modified) * trunk/ProjectFortress/tests/XXXextendFloatLiteral.fss (modified) * trunk/ProjectFortress/tests/XXXextendIntLiteral.fss (modified) * trunk/ProjectFortress/tests/XXXextendObject.fss (modified) * trunk/ProjectFortress/tests/XXXextendOprParam1.fss (modified) * trunk/ProjectFortress/tests/XXXextendOprParam2.fss (modified) * trunk/ProjectFortress/tests/XXXextendRR64.fss (modified) * trunk/ProjectFortress/tests/XXXextendZZ32.fss (modified) * trunk/ProjectFortress/tests/XXXextendZZ64.fss (modified) * trunk/ProjectFortress/tests/XXXfailTestFn.fss (modified) * trunk/ProjectFortress/tests/XXXflatTest.fss (modified) * trunk/ProjectFortress/tests/XXXgenericMethod1.fss (modified) * trunk/ProjectFortress/tests/XXXgenericMethod2.fss (modified) * trunk/ProjectFortress/tests/XXXgenericMethod3.fss (modified) * trunk/ProjectFortress/tests/XXXgenericTest6.fss (modified) * trunk/ProjectFortress/tests/XXXimmutable0.fss (modified) * trunk/ProjectFortress/tests/XXXimmutable1.fss (modified) * trunk/ProjectFortress/tests/XXXimmutable2.fss (modified) * trunk/ProjectFortress/tests/XXXimmutableTopLevel.fss (modified) * trunk/ProjectFortress/tests/XXXjammedKeyword.fss (modified) * trunk/ProjectFortress/tests/XXXnoclassNativeFn.fss (modified) * trunk/ProjectFortress/tests/XXXoverloadTest4.fss (modified) * trunk/ProjectFortress/tests/XXXoverloadTest5.fss (modified) * trunk/ProjectFortress/tests/XXXseqLoopError.fss (modified) * trunk/ProjectFortress/tests/XXXtesterTest.fss (modified) * trunk/ProjectFortress/tests/XXXtupleTypeParam3.fss (modified) * trunk/ProjectFortress/tests/XXXtypecaseShadow.fss (modified) * trunk/ProjectFortress/tests/XXXtypecaseTest.fss (modified) * trunk/ProjectFortress/tests/atomic2.fss (modified) * trunk/ProjectFortress/tests/atomic3.fss (modified) * trunk/ProjectFortress/tests/atomic5.fss (modified) * trunk/ProjectFortress/tests/atomicArrayOps.fss (modified) * trunk/ProjectFortress/tests/atomicTest.fss (modified) * trunk/ProjectFortress/tests/bogusNatParams.fss (modified) * trunk/ProjectFortress/tests/buffons.fss (modified) * trunk/ProjectFortress/tests/caseTest.fss (modified) * trunk/ProjectFortress/tests/conditionalExtension.fss (modified) * trunk/ProjectFortress/tests/conditionalOp.fss (modified) * trunk/ProjectFortress/tests/executable_component.fss (modified) * trunk/ProjectFortress/tests/extendAny.fss (modified) * trunk/ProjectFortress/tests/extendException.fss (modified) * trunk/ProjectFortress/tests/extendOprParam.fss (modified) * trunk/ProjectFortress/tests/extendOprWithParam.fss (modified) * trunk/ProjectFortress/tests/fmTest2.fss (modified) * trunk/ProjectFortress/tests/fmTest5.fss (modified) * trunk/ProjectFortress/tests/forFnDef.fss (modified) * trunk/ProjectFortress/tests/forTest.fss (modified) * trunk/ProjectFortress/tests/forTest2.fss (modified) * trunk/ProjectFortress/tests/genericMethod0.fss (modified) * trunk/ProjectFortress/tests/ho.fss (modified) * trunk/ProjectFortress/tests/intPrim.fss (modified) * trunk/ProjectFortress/tests/labelExit.fss (modified) * trunk/ProjectFortress/tests/longPrim.fss (modified) * trunk/ProjectFortress/tests/monoidal.fss (modified) * trunk/ProjectFortress/tests/nestedTransactions.fss (modified) * trunk/ProjectFortress/tests/newlineTest.fss (modified) * trunk/ProjectFortress/tests/overloadGenericNon.fss (modified) * trunk/ProjectFortress/tests/primOverloadTest.fss (modified) * trunk/ProjectFortress/tests/quicksortTest.fss (modified) * trunk/ProjectFortress/tests/reflect.fss (modified) * trunk/ProjectFortress/tests/restTest2a.fss (modified) * trunk/ProjectFortress/tests/taskTrace2.fss (modified) * trunk/ProjectFortress/tests/taskTrace3.fss (modified) * trunk/ProjectFortress/tests/testCharLiteral.fss (modified) * trunk/ProjectFortress/tests/testParen.fss (modified) * trunk/ProjectFortress/tests/testPrim.fss (modified) * trunk/ProjectFortress/tests/testTest2.fss (modified) * trunk/ProjectFortress/tests/trailingSemicolon.fss (modified) * trunk/ProjectFortress/tests/tryatomicTest.fss (modified) * trunk/ProjectFortress/tests/tupleTest1.fss (modified) * trunk/ProjectFortress/tests/tupleTest2.fss (modified) * trunk/ProjectFortress/tests/tupleTest3.fss (modified) * trunk/ProjectFortress/tests/tupleTypeParam2.fss (modified) * trunk/ProjectFortress/tests/typecaseBlockTest.fss (modified) * trunk/ProjectFortress/tests/typecaseTest.fss (modified) * trunk/ProjectFortress/tests/typecaseVarTest.fss (modified) * trunk/ProjectFortress/tests/whereTest.fss (modified) * trunk/ProjectFortress/tests/whileTest.fss (modified) * trunk/ProjectFortress/tests/wrapZZ.fss (modified) Updated Copyright Notices Tue, 15 Jan 2008 16:00:57 GMT jdn [1165] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ProductionDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ProductionEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Syntax.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/FileBasedMacroCompiler.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/ItemDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/StringMap.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) Disambiguation of syntax abstractions Tue, 15 Jan 2008 06:03:07 GMT sukyoungryu [1164] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/Types.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/NativeApp.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/Desugarer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/RewriteInAbsenceOfTypeInfo.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Keyword.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/OtherDecl.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Type.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/FortressUtil.java (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fss (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) Implemented the revised tight juxtaposition rules and the revised syntax ... Mon, 14 Jan 2008 01:16:22 GMT jmaessen [1163] * trunk/ProjectFortress/test_library/List.fsi (modified) Removed spurious asArray() method. Mon, 14 Jan 2008 01:14:34 GMT jmaessen [1162] * trunk/ProjectFortress/test_library/List.fsi (modified) Copied "Depracated" comment across from List.fss. I'd like to make this ... Mon, 07 Jan 2008 19:33:40 GMT chf [1152] * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) Small hack to work around a bug for now Thu, 03 Jan 2008 15:31:26 GMT dr2chase [1143] * trunk/ProjectFortress/test_library/ArrayList.fss (modified) This patch might fix the circular dependence bug in demos/Lambda on a ... Tue, 18 Dec 2007 21:23:01 GMT jmaessen [1121] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/ArrayListLong.fss (modified) * trunk/ProjectFortress/demos/HeapShakedown.fss (modified) * trunk/ProjectFortress/demos/PureListLong.fss (modified) * trunk/ProjectFortress/demos/posFeedback.fss (modified) * trunk/ProjectFortress/not_passing_yet/BigOperator.fss (deleted) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Reflect.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fss (modified) * trunk/ProjectFortress/test_library/Map.fss (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/FileReadWrite.fss (modified) * trunk/ProjectFortress/tests/ImplicitBlocks.fss (modified) * trunk/ProjectFortress/tests/PureListQuick.fss (modified) * trunk/ProjectFortress/tests/TransactionalArrayShakedown.fss (modified) * trunk/ProjectFortress/tests/naiveSeq.fss (modified) * trunk/ProjectFortress/tests/restTest.fss (modified) * trunk/ProjectFortress/tests/restTest2.fss (modified) * trunk/ProjectFortress/tests/simpleBig.fss (modified) * trunk/ProjectFortress/tests/simpleSum.fss (modified) * trunk/ProjectFortress/tests/typecaseTest.fss (modified) Replace a lot of uses of .generate by an appopriate reduction. This ... Tue, 18 Dec 2007 16:31:25 GMT jmaessen [1118] * trunk/ProjectFortress/FortressLibrary.fsi (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/NonPrimitive.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/WellKnownNames.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Reflect.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/Desugarer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fss (modified) * trunk/ProjectFortress/tests/simpleBig.fss (modified) * trunk/ProjectFortress/tests/simpleSum.fss (modified) Additional revisions to permit list comprehensions and the like to be ... Mon, 17 Dec 2007 15:30:18 GMT sukyoungryu [1114] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerTopLevelJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/FortressRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/GlobalEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/IndexBuilder.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Parser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ProductionDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/DelegatingNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/DelegatingTypeNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ExprDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ProductionEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeNameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/CompilationUnitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeCheckerResult.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/drivers/Driver.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/BetterEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/CommonEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EmptyEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Environment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/LeafEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/Desugarer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/unit_tests/ConstructorsJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeComparator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactoryJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/Printer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/Unprinter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Compilation.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Identifier.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/preparser/PreCompilation.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/NameAndImportCollection.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/NameAndImportCollector.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/precedence_resolver/ASTUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/ApiMaker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/CacheBasedRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/FileBasedRepositoryJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/PathBasedRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/parser/FortressParser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/parser/ImportedApiCollector.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/parser/PreParser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/InterpreterWrapper.java (modified) * trunk/ProjectFortress/static_tests/lib/FortressBuiltin.tfs (modified) * trunk/ProjectFortress/static_tests/lib/FortressLibrary.tfs (modified) * trunk/ProjectFortress/static_tests/lib/NativeArray.tfs (modified) * trunk/ProjectFortress/static_tests/lib/NativeThread.tfs (modified) * trunk/ProjectFortress/static_tests/lib/SyntaxHelloWorld.tfi (modified) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) Renamed some AST nodes: DottedName -> APIName AliasedDottedName -> ... Sun, 16 Dec 2007 03:19:30 GMT sukyoungryu [1113] * trunk/ProjectFortress/demos/HeapShakedown.fss (modified) * trunk/ProjectFortress/not_passing_yet/examples.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Compilation.rats (modified) * trunk/ProjectFortress/test_library/Sequence.fss (modified) Fixed a bug handling QualifiedName in import statements. Sat, 15 Dec 2007 22:09:21 GMT sukyoungryu [1112] * trunk/Fortify/fortify.el (modified) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/ArrayListLong.fss (modified) * trunk/ProjectFortress/demos/HeapShakedown.fss (modified) * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/demos/PureListLong.fss (modified) * trunk/ProjectFortress/demos/conjGrad.fss (modified) * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/not_passing_yet/atomicsets.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Compilation.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/DelimitedExpr.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Identifier.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Keyword.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Symbol.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Type.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/preparser/PreCompilation.rats (modified) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fsi (modified) * trunk/ProjectFortress/static_tests/SyntaxHelloWorldUse.fss (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/CovariantCollection.fss (modified) * trunk/ProjectFortress/test_library/File.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) * trunk/ProjectFortress/test_library/RecA.fsi (modified) * trunk/ProjectFortress/test_library/RecA.fss (modified) * trunk/ProjectFortress/test_library/RecB.fsi (modified) * trunk/ProjectFortress/test_library/RecB.fss (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/test_library_native/File.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/CovariantTest.fss (modified) * trunk/ProjectFortress/tests/FileReadWrite.fss (modified) * trunk/ProjectFortress/tests/HeapTest.fss (modified) * trunk/ProjectFortress/tests/ImportImportCollision.fss (modified) * trunk/ProjectFortress/tests/ImportLocalCollision.fss (modified) * trunk/ProjectFortress/tests/ImportNonparamObject.fss (modified) * trunk/ProjectFortress/tests/ListNullPointer.fss (modified) * trunk/ProjectFortress/tests/ListTest.fss (modified) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/PureListQuick.fss (modified) * trunk/ProjectFortress/tests/SetTest.fss (modified) * trunk/ProjectFortress/tests/SkipListTest.fss (modified) * trunk/ProjectFortress/tests/TypeImportBug.fss (modified) * trunk/ProjectFortress/tests/XXXImportImportCollision.fss (modified) * trunk/ProjectFortress/tests/XXXfailTestFn.fss (modified) * trunk/ProjectFortress/tests/XXXnoclassNativeFn.fss (modified) * trunk/ProjectFortress/tests/juxtTwice.fss (modified) * trunk/ProjectFortress/tests/nativeArrayTest.fss (modified) * trunk/ProjectFortress/tests/nativeTestFn.fss (modified) * trunk/ProjectFortress/tests/quicksort.fss (modified) * trunk/ProjectFortress/tests/reflect.fss (modified) * trunk/ProjectFortress/tests/sparseMatrix.fss (modified) * trunk/ProjectFortress/tests/stringJuxt.fss (modified) * trunk/ProjectFortress/tests/testImport.fss (modified) * trunk/ProjectFortress/tests/testPrim.fss (modified) * trunk/ProjectFortress/tests/testRecImport.fss (modified) * trunk/SpecData/examples/basic/Expr.Case.a.fss (modified) * trunk/SpecData/examples/basic/Expr.If.fss (modified) * trunk/SpecData/examples/basic/Expr.List.fss (modified) * trunk/SpecData/examples/basic/Expr.Set.fss (modified) * trunk/SpecData/examples/preliminaries/Overview.Expression.aggregate.l.fss (modified) Implemented the new import-statement syntax. Fri, 14 Dec 2007 03:21:16 GMT jmaessen [1102] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/build.xml (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/NativeFn0.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/NativeFn1.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/NativeFn2.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/NativeFn3.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/Reflect.java (added) * trunk/ProjectFortress/test_library/CovariantCollection.fsi (added) * trunk/ProjectFortress/test_library/CovariantCollection.fss (added) * trunk/ProjectFortress/test_library/TypeReflect.fsi (added) * trunk/ProjectFortress/test_library_native/TypeReflect.fss (added) * trunk/ProjectFortress/tests/CovariantTest.fss (added) Added type-level reflection to compute covariant joins among types. ... Thu, 13 Dec 2007 13:19:37 GMT jmaessen [1095] * trunk/ProjectFortress/FortressLibrary.fsi (added) * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/ArrayListLong.fss (modified) * trunk/ProjectFortress/demos/PureListLong.fss (modified) * trunk/ProjectFortress/demos/posFeedback.fss (modified) * trunk/ProjectFortress/not_passing_yet/BigOperator.fss (modified) * trunk/ProjectFortress/not_passing_yet/simpleSum.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/WellKnownNames.java (modified) * trunk/ProjectFortress/test_library/NatReflect.fsi (added) * trunk/ProjectFortress/test_library/NatReflect.fss (added) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/ListNullPointer.fss (modified) * trunk/ProjectFortress/tests/PureListQuick.fss (modified) * trunk/ProjectFortress/tests/TransactionalArrayShakedown.fss (modified) * trunk/ProjectFortress/tests/generatorTest.fss (modified) * trunk/ProjectFortress/tests/naiveSeq.fss (modified) * trunk/ProjectFortress/tests/reflect.fss (modified) * trunk/ProjectFortress/tests/restTest.fss (modified) * trunk/ProjectFortress/tests/restTest2.fss (modified) * trunk/ProjectFortress/tests/spuriousSelf.fss (modified) * trunk/SpecData/examples/advanced/OprDecl.Multifix.fss (modified) Fiddled with reductions (particularly Sum reduction) in effort to get ... Tue, 11 Dec 2007 22:57:42 GMT jmaessen [1085] * trunk/ProjectFortress/test_library/ArrayList.fss (modified) Tweaked to remove bounds checks. Sat, 08 Dec 2007 04:08:56 GMT jmaessen [1077] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/not_passing_yet/FunctionalMethodLookup.fss (added) * trunk/ProjectFortress/not_passing_yet/RangeTest.fss (added) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvaluatorBase.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/PureListQuick.fss (modified) Rather a grab bag: Improved testing of Lists to shake down equality. ... Thu, 06 Dec 2007 23:16:08 GMT mspiegel [1069] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) In skip lists, updated skip() and break() methods to deal with more than ... Thu, 06 Dec 2007 19:00:13 GMT sukyoungryu [1068] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/MethodParam.rats (modified) * trunk/ProjectFortress/static_tests/lib/FortressLibrary.tfs (modified) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) * trunk/ProjectFortress/tests/SubscriptedExpr.fss (modified) Removed SubscriptAssign. Thu, 06 Dec 2007 04:37:25 GMT jdn [1064] * trunk/ProjectFortress/test_library/FortressAst.fss (modified) Added copyright statements Thu, 06 Dec 2007 04:37:11 GMT jdn [1063] * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) Added copyright statements Tue, 04 Dec 2007 23:00:45 GMT jdn [1052] * trunk/ProjectFortress/src/com/sun/fortress/syntaxabstractions/rats/RatsUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntaxabstractions/util/ActionCreater.java (modified) * trunk/ProjectFortress/static_tests/SyntaxHelloWorld.fsi (added) * trunk/ProjectFortress/static_tests/SyntaxHelloWorldUse.fss (added) * trunk/ProjectFortress/static_tests/lib/SyntaxHelloWorld.tfi (added) * trunk/ProjectFortress/test_library/FortressAst.fsi (modified) * trunk/ProjectFortress/test_library/FortressAst.fss (modified) A testcase for syntax abstractions Tue, 04 Dec 2007 21:35:10 GMT jdn [1051] * trunk/ProjectFortress/test_library/FortressAst.fsi (added) * trunk/ProjectFortress/test_library/FortressAst.fss (added) Partial implementation of the Fortress AST. Missing nodes (as of today) ... Tue, 04 Dec 2007 18:00:12 GMT EricAllen [1048] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerTopLevelJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Fortress.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/EmptyTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/NonEmptyTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeEnvJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/shell/FileBasedRepository.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntaxabstractions/parser/FortressParser.java (modified) * trunk/ProjectFortress/static_tests/LocalVarRef.fss (modified) * trunk/ProjectFortress/static_tests/SimpleApi.fss (modified) * trunk/ProjectFortress/static_tests/SimpleProgram.fss (modified) * trunk/ProjectFortress/static_tests/lib (added) * trunk/ProjectFortress/static_tests/lib/FortressBuiltin.tfs (added) * trunk/ProjectFortress/static_tests/lib/FortressLibrary.tfs (added) * trunk/ProjectFortress/static_tests/lib/NativeArray.tfs (added) * trunk/ProjectFortress/static_tests/lib/NativeThread.tfs (added) * trunk/ProjectFortress/test_library/FortressBuiltin.fsi (added) * trunk/ProjectFortress/test_library_native/FortressBuiltin.fss (added) Modified type environments to return a new implicit type for a variable ... Sat, 24 Nov 2007 18:18:34 GMT mspiegel [1023] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/SkipListTest.fss (modified) Strengthened the trait declarations in the Skiplist implementation. Thu, 22 Nov 2007 05:11:48 GMT mspiegel [1022] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) In Skiplists, moved the height field from a constructor argument into a ... Fri, 16 Nov 2007 22:47:16 GMT jmaessen [1019] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) Cleaned up ArrayList drastically, removed a whole bunch of ... Thu, 15 Nov 2007 15:40:06 GMT jmaessen [1017] * trunk/ProjectFortress/test_library/ArrayList.fss (modified) Left out a crucial call to "sequential" in last refactoring. Fixed. Thu, 15 Nov 2007 13:47:56 GMT jmaessen [1016] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/NonPrimitive.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/WellKnownNames.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/PrimImmutableArray.java (added) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/NativeArray.fsi (modified) * trunk/ProjectFortress/test_library_native/NativeArray.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/nativeArrayTest.fss (modified) * trunk/ProjectFortress/tests/nativeImmutableArrayTest.fss (added) 1-D immutable arrays (actually initialization-only arrays, a subtle ... Tue, 13 Nov 2007 20:00:17 GMT mspiegel [1012] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) Typo in skip lists api file. Tue, 13 Nov 2007 19:05:03 GMT mspiegel [1011] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/SkipListTest.fss (modified) Two changes to SkipLists data structure. (a) SkipLists now support ... Fri, 09 Nov 2007 20:27:29 GMT jmaessen [1001] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/lutx.fss (modified) * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/FileSupport.fss (modified) * trunk/ProjectFortress/test_library/List.fss (modified) * trunk/ProjectFortress/test_library/Set.fss (modified) * trunk/ProjectFortress/tests/BadBounds.fss (modified) * trunk/ProjectFortress/tests/setMakerTest0.fss (modified) Minor fixups, primarily to use chaining or shortcutting where it makes ... Thu, 08 Nov 2007 22:17:47 GMT dr2chase [992] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/not_passing_yet/EqualityOverloadBug.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedFunction.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/PureList.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) Fixed an overloading 'misunderstanding'; opr= is now a functional method Wed, 07 Nov 2007 20:40:32 GMT jmaessen [984] * trunk/ProjectFortress/test_library/Set.fss.orig (deleted) Accidentally checked-in file from a patching process. Should not be ... Wed, 07 Nov 2007 01:48:10 GMT mspiegel [976] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) In skiplist implementation, fixed a careless bug in the insert() method, ... Mon, 05 Nov 2007 03:06:12 GMT mspiegel [958] * trunk/ProjectFortress/test_library/SkipList.fsi (modified) * trunk/ProjectFortress/test_library/SkipList.fss (modified) * trunk/ProjectFortress/tests/SkipListTest.fss (modified) Added the remove(key) operation to skip lists. The merge() operation is ... Fri, 02 Nov 2007 02:41:12 GMT mspiegel [948] * trunk/ProjectFortress/test_library/SkipList.fss (modified) Fixed a fencepost bug and some related silly bugs in SkipList.fss. Fri, 02 Nov 2007 01:00:03 GMT jmaessen [947] * trunk/ProjectFortress/FortressLibrary.fss (modified) * trunk/ProjectFortress/demos/HeapShakedown.fss (added) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/test_library/ArrayList.fsi (modified) * trunk/ProjectFortress/test_library/ArrayList.fss (modified) * trunk/ProjectFortress/test_library/FileSupport.fss (modified) * trunk/ProjectFortress/test_library/Heap.fsi (added) * trunk/ProjectFortress/test_library/Heap.fss (added) * trunk/ProjectFortress/tests/HeapTest.fss (added) Heaps (priority queues). Right now we just have pairing heaps. There ...