# # ChangeLog for /trunk/ProjectFortress # # Generated by Trac 0.11.5 # 11/24/09 19:02:16 Tue, 24 Nov 2009 22:53:41 GMT chf [4346] * trunk/ProjectFortress/demos/BirdCount0.fss (modified) one step closer Thu, 19 Nov 2009 21:47:59 GMT dr2chase [4345] * trunk/.hgignore (modified) * trunk/ProjectFortress/other_compiler_tests/Go1b.fss (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Instantiater.java (modified) Generic objects with fields (of generic type, or not) work Wed, 18 Nov 2009 21:32:23 GMT skilpat [4344] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/STypeChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [type checker] Fixed ordering of applicable overloadings to take ... Wed, 18 Nov 2009 19:59:41 GMT dr2chase [4343] * trunk/ProjectFortress/other_compiler_tests/Go.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) Supports generic singleton objects, generic objects, at least a little ... Tue, 17 Nov 2009 21:38:10 GMT jmaessen [4341] * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.Chain.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX10b.test (modified) * trunk/ProjectFortress/compiler_tests/XXX5ae.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/ChainExprDesugarer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FIntLiteral.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FRR32.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FRR64.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FZZ32.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FZZ64.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Operators.scala (modified) * trunk/ProjectFortress/src/fortress/CompilerBuiltin.java (modified) [libraries, codegen] ZZ32 now coerces IntLiteral as described in the ... Mon, 16 Nov 2009 23:58:18 GMT dr2chase [4339] * trunk/ProjectFortress/other_compiler_tests/Go0a.fss (added) * trunk/ProjectFortress/other_compiler_tests/Go0b.fss (added) * trunk/ProjectFortress/other_compiler_tests/Go1a.fss (added) Tiny tests for generic objects Mon, 16 Nov 2009 23:57:37 GMT dr2chase [4338] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/VarCodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Instantiater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiationMap.java (added) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MethodInstantiater.java (modified) Refactoring towards Compiled13; 2 of 3 microtests working Mon, 16 Nov 2009 16:30:33 GMT jmaessen [4337] * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/Iterators.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/Lists.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) More refactoring in the hopes of cleaning up code and making ... Sat, 14 Nov 2009 23:03:06 GMT dr2chase [4335] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled11.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled11.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/GenericNumberer.java (modified) Compiled11 fixed, for all (?) values of Compiled11 Fri, 13 Nov 2009 21:01:11 GMT dr2chase [4334] * trunk/ProjectFortress/compiler_tests/Compiled11.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadRewriteVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Instantiater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MethodInstantiater.java (modified) Compiled11 working, for certain values of Compiled11 (problem with ... Thu, 12 Nov 2009 21:41:46 GMT jmaessen [4333] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [compiler] Mid-re-refactoring of inheritedMethod code, checking in ... Wed, 11 Nov 2009 22:23:16 GMT skilpat [4332] * trunk/ProjectFortress/compiler_tests/Compiled11.a.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled11.b.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled11.c.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled11.test (added) * trunk/ProjectFortress/compiler_tests/XXX11b.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [type checker] Added new type checking rules for `If` expressions. Wed, 11 Nov 2009 21:17:08 GMT dr2chase [4331] * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Instantiater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SExprUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/bin/fjavap (modified) Fixed runtime instantiation to not be confused by Scott's patch ... Wed, 11 Nov 2009 20:11:31 GMT dr2chase [4330] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/VarCodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) Further refactoring towards Compiled13 Wed, 11 Nov 2009 17:05:31 GMT jmaessen [4329] * trunk/ProjectFortress/compiler_tests/XXX6an.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TypeAliasIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/linker/HygienicRenamer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (modified) * trunk/build.xml (modified) [compiler] In the middle of refactoring method access in the Scala code; ... Wed, 11 Nov 2009 16:11:08 GMT dr2chase [4328] * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/GenericNumberer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/VarCodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) Added unambiguous generic functionsm in a blunt way Wed, 11 Nov 2009 08:00:54 GMT skilpat [4327] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/CoercionDesugarer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) [coercions] Added checking for and desugaring of coercions from union ... Mon, 09 Nov 2009 23:01:14 GMT jrhil47 [4324] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadRewriteVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/GenericNumberer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/DesugaringVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/linker/HygienicRenamer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeWellFormedChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/CoveringAnalyzer.scala (deleted) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SExprUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) [Type Checker] We now propagate the schema for overloaded functions. Mon, 09 Nov 2009 21:38:14 GMT jmaessen [4323] * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/FortressExecutable.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) * trunk/ProjectFortress/third_party/jsr166y/jsr166.tar.gz (deleted) * trunk/ProjectFortress/third_party/jsr166y/jsr166y.jar (modified) [runtime] More work on runtime startup (and yet another version of ... Mon, 09 Nov 2009 20:41:13 GMT dr2chase [4322] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) Some refactoring, preparing for generic traits and objects Mon, 09 Nov 2009 19:39:55 GMT sukyoungryu [4321] * trunk/ProjectFortress/src/com/sun/fortress/parser/Symbol.rats (modified) * trunk/Specification/appendices/grammars/appendix-cst.tex (modified) * trunk/Specification/appendices/grammars/concrete-syntax.tex (modified) * trunk/Specification/fortress/preamble.tex (modified) [spec] Added a list of NYI features. Mon, 09 Nov 2009 15:24:37 GMT jmaessen [4320] * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/BaseTask.java (modified) * trunk/ProjectFortress/third_party/jsr166y/jsr166y.jar (modified) [scheduling] Update to latest JSR166y, and switch `BaseTask` to use ... Sun, 08 Nov 2009 01:35:18 GMT dr2chase [4319] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) Baby steps towards generic objects and traits Fri, 06 Nov 2009 22:37:52 GMT jmaessen [4318] * trunk/Library/Treap.fss (modified) * trunk/ProjectFortress/compiler_tests/EmptyDoEnd.fss (added) * trunk/ProjectFortress/compiler_tests/EmptyDoEnd.test (added) * trunk/ProjectFortress/compiler_tests/TreapAndTest.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) [compiler, tests] Some refactoring on `TreapAndTest`. Fixed #362 and ... Fri, 06 Nov 2009 21:16:48 GMT dr2chase [4317] * trunk/ProjectFortress/compiler_tests/TreapAndTest.fss (modified) Tweaked Treap Test to have names that would have collided, pre-jar- ... Fri, 06 Nov 2009 15:53:57 GMT dr2chase [4315] * trunk/ProjectFortress/src/com/sun/fortress/compiler/ByteCodeWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/bin/run (modified) Output classes are now stored in jar files, hooray Thu, 05 Nov 2009 11:48:08 GMT sukyoungryu [4314] * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/SyntaxAbstractionJUTestAll.java (modified) [syntax tests] Fixed a phase order in the syntax tests. Wed, 04 Nov 2009 05:46:01 GMT sukyoungryu [4311] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/compiler_tests/XXX10d.test (modified) * trunk/ProjectFortress/compiler_tests/XXX10k.test (modified) * trunk/ProjectFortress/compiler_tests/XXX10s.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/GenericNumberer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/ObjectExpressionVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/PreDisambiguationDesugaringVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/VarRefContainer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Coercion.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/DeclaredMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FieldGetterOrSetterMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FunctionalMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/HasSelfType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TraitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzerJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzerUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeCheckerTestCase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeNormalizer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypesUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvalType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/ScoutVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/types/FTraitOrObject.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/DelimitedExpr.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/TraitObject.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/repository/ForeignJava.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/SelfParamDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/linker/HygienicRenamer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExclusionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/IndexBuilder.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/STypeChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeWellFormedChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/CoveringAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SNodeUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/BaseTypeCollector.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/util/FortressTypeToJavaType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) [self type] Introduced SelfType and its immediate subclasses, ... Wed, 04 Nov 2009 05:39:40 GMT sukyoungryu [4310] * trunk/ProjectFortress/src/com/sun/fortress/tests/unit_tests/DemoTests.java (modified) [demos] Fixed a phase order in the demos test. Tue, 03 Nov 2009 23:19:06 GMT jmaessen [4309] * trunk/ProjectFortress/compiler_tests/Compiled12.inherit.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled12.inherit.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TraitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/Sets.scala (modified) [static checks] Fixed massive bugs in the `AbstractMethodChecker` ... Tue, 03 Nov 2009 21:15:52 GMT chf [4308] * trunk/ProjectFortress/demos/BirdCount0.fss (modified) birdcount interesting regions Tue, 03 Nov 2009 01:36:27 GMT dr2chase [4306] * trunk/ProjectFortress/src/com/sun/fortress/compiler/environments/TopLevelEnvGenJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/tests/unit_tests/SpecDataJUTest.java (modified) Fixed bugs that were breaking cruiseControl Mon, 02 Nov 2009 22:49:00 GMT jmaessen [4305] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled12.inherit.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled12.inherit.test (added) * trunk/ProjectFortress/compiler_tests/TreapAndTest.fss (added) * trunk/ProjectFortress/compiler_tests/TreapAndTest.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/ManglingClassWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) [codegen, testing] Tweaked `ManglingClassWriter` to try to recover ... Mon, 02 Nov 2009 21:29:21 GMT sukyoungryu [4304] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [abstract method checker] Replaced yet another copy of the old, wrong ... Mon, 02 Nov 2009 16:33:04 GMT jmaessen [4302] * trunk/ProjectFortress/compiler_tests/Compiled12.inherit.fss (added) [testing] failing test case for check that abstract methods are ... Sat, 31 Oct 2009 22:34:55 GMT jmaessen [4300] * trunk/ProjectFortress/compiler_tests/SingleInheritance.fss (moved) * trunk/ProjectFortress/compiler_tests/SingleInheritance.test (added) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritanceInternal.fss (deleted) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritanceInternalNoSelf.fss (deleted) * trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/SParallelismAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/VarRefContainer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/DesugarerVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ExprFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Operators.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/staticenv/STypeEnv.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/ASTGenHelper.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/Lists.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [codegen, typechecking] Single inheritance of methods. Uses java ... Fri, 30 Oct 2009 22:10:05 GMT jmaessen [4298] * trunk/ProjectFortress/compiler_tests/Compiled5.bfs.fss (added) [testing] This file proves that Compiled5.bf.fss wasn't *really* ... Fri, 30 Oct 2009 15:02:50 GMT sukyoungryu [4297] * trunk/ProjectFortress/hello.fss (modified) * trunk/SpecData/examples/basic/Expr.Atomic.fss (modified) * trunk/Specification/appendices/appendices.tex (modified) * trunk/Specification/appendices/operators (added) * trunk/Specification/appendices/operators/operators.tex (added) * trunk/Specification/basic/exceptions.tex (modified) * trunk/Specification/basic/expressions/aggregate.tex (added) * trunk/Specification/basic/expressions/atomic.tex (modified) * trunk/Specification/basic/expressions/case.tex (added) * trunk/Specification/basic/expressions/casting.tex (added) * trunk/Specification/basic/expressions/coerce.tex (added) * trunk/Specification/basic/expressions/comprehensions.tex (added) * trunk/Specification/basic/expressions/constant.tex (modified) * trunk/Specification/basic/expressions/expressions.tex (modified) * trunk/Specification/basic/expressions/for.tex (modified) * trunk/Specification/basic/expressions/generators.tex (modified) * trunk/Specification/basic/expressions/identity.tex (added) * trunk/Specification/basic/expressions/if.tex (added) * trunk/Specification/basic/expressions/ignore.tex (added) * trunk/Specification/basic/expressions/instanceof.tex (added) * trunk/Specification/basic/expressions/label.tex (added) * trunk/Specification/basic/expressions/others.tex (added) * trunk/Specification/basic/expressions/ranges.tex (added) * trunk/Specification/basic/expressions/reductions.tex (added) * trunk/Specification/basic/expressions/spawn.tex (added) * trunk/Specification/basic/expressions/throw.tex (added) * trunk/Specification/basic/expressions/try.tex (added) * trunk/Specification/basic/expressions/tuple-expr.tex (added) * trunk/Specification/basic/expressions/type-annotation.tex (added) * trunk/Specification/basic/expressions/typecase.tex (added) * trunk/Specification/basic/expressions/while.tex (added) * trunk/Specification/basic/trait-parameters.tex (modified) * trunk/Specification/basic/types-vals-vars.tex (modified) * trunk/Specification/basic/variables.tex (modified) [spec] Added the Expressions chapter. Thu, 29 Oct 2009 21:22:34 GMT dr2chase [4296] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/hello.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/Shell.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadRewriteVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadRewriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticTestSuite.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/GenericNumberer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/DesugaringVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/environments/TopLevelEnvGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/phases/OverloadRewritingForInterpreterPhase.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/phases/OverloadRewritingPhase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/phases/PhaseOrder.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildApiEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildTopLevelEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/Evaluator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/rewrite/OprInstantiaterVisitor.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/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/linker/HygienicRenamer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/tests/unit_tests/SystemJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) Looks like a fix for the interpreter; cleanup of compiler phase ... Thu, 29 Oct 2009 05:03:08 GMT sukyoungryu [4295] * trunk/Fortify/fortify.el (modified) * trunk/Library/FileSupport.fsi (modified) * trunk/ProjectFortress/src/com/sun/fortress/exceptions/InterpreterBug.java (modified) * trunk/SpecData/examples/basic/Expr.Assign.a.fss (modified) * trunk/Specification/advanced-lib (added) * trunk/Specification/advanced-lib/advanced-lib.tex (added) * trunk/Specification/advanced-lib/algebraic-constraints.tex (added) * trunk/Specification/advanced-lib/binary.tex (added) * trunk/Specification/advanced-lib/comparison.tex (added) * trunk/Specification/advanced-lib/components.tex (added) * trunk/Specification/advanced-lib/numbers-advanced.tex (added) * trunk/Specification/advanced/parallelism-locality/arrays-distributed.tex (added) * trunk/Specification/advanced/parallelism-locality/defining-generators.tex (added) * trunk/Specification/advanced/parallelism-locality/distributions.tex (added) * trunk/Specification/advanced/parallelism-locality/early-termination.tex (added) * trunk/Specification/advanced/parallelism-locality/intro.tex (added) * trunk/Specification/advanced/parallelism-locality/parallelism-locality.tex (modified) * trunk/Specification/advanced/parallelism-locality/primitives-distributions.tex (added) * trunk/Specification/advanced/parallelism-locality/regions-threads.tex (added) * trunk/Specification/advanced/parallelism-locality/shared-local.tex (added) * trunk/Specification/advanced/parallelism-locality/transactions.tex (added) * trunk/Specification/advanced/subscripting.tex (modified) * trunk/Specification/appendices/appendices.tex (modified) * trunk/Specification/appendices/grammars (added) * trunk/Specification/appendices/grammars/appendix-cst.tex (added) * trunk/Specification/appendices/grammars/concrete-syntax.tex (added) * trunk/Specification/appendices/grammars/grammars.tex (added) * trunk/Specification/basic/conversions-coercions.tex (modified) * trunk/Specification/basic/declarations.tex (modified) * trunk/Specification/basic/evaluation/completion.tex (added) * trunk/Specification/basic/evaluation/environments.tex (added) * trunk/Specification/basic/evaluation/evaluation.tex (modified) * trunk/Specification/basic/evaluation/intro.tex (added) * trunk/Specification/basic/evaluation/io.tex (added) * trunk/Specification/basic/evaluation/memory-ops.tex (added) * trunk/Specification/basic/evaluation/parallelism.tex (added) * trunk/Specification/basic/evaluation/reduction.tex (added) * trunk/Specification/basic/evaluation/slack.tex (added) * trunk/Specification/basic/evaluation/values.tex (added) * trunk/Specification/basic/expressions/also.tex (added) * trunk/Specification/basic/expressions/atomic.tex (added) * trunk/Specification/basic/expressions/bindings.tex (added) * trunk/Specification/basic/expressions/blocks.tex (added) * trunk/Specification/basic/expressions/constant.tex (added) * trunk/Specification/basic/expressions/expressions.tex (modified) * trunk/Specification/basic/expressions/field-access.tex (added) * trunk/Specification/basic/expressions/for.tex (added) * trunk/Specification/basic/expressions/function-calls.tex (added) * trunk/Specification/basic/expressions/function.tex (added) * trunk/Specification/basic/expressions/generated.tex (added) * trunk/Specification/basic/expressions/generators.tex (added) * trunk/Specification/basic/expressions/intro.tex (added) * trunk/Specification/basic/expressions/literals.tex (added) * trunk/Specification/basic/expressions/method-invocation.tex (added) * trunk/Specification/basic/expressions/object.tex (added) * trunk/Specification/basic/expressions/operator-app.tex (added) * trunk/Specification/basic/expressions/var-ref.tex (added) * trunk/Specification/basic/functions.tex (modified) * trunk/Specification/basic/lexical-structure.tex (modified) * trunk/Specification/basic/operators/big-opr.tex (added) * trunk/Specification/basic/operators/chained-multifix.tex (added) * trunk/Specification/basic/operators/conditionalops.tex (added) * trunk/Specification/basic/operators/enclosingops.tex (added) * trunk/Specification/basic/operators/intro.tex (added) * trunk/Specification/basic/operators/juxtameaning.tex (added) * trunk/Specification/basic/operators/operator-app.tex (added) * trunk/Specification/basic/operators/operators.tex (modified) * trunk/Specification/basic/operators/opr-fixity.tex (added) * trunk/Specification/basic/operators/opr-overview.tex (added) * trunk/Specification/basic/operators/precedence.tex (added) * trunk/Specification/basic/traits.tex (modified) * trunk/Specification/fortress/fortress.bib (modified) * trunk/Specification/fortress/fortress.tex (modified) * trunk/Specification/latex-common/macros/macros.tex (modified) * trunk/bin/copyrightCheck.pl (modified) [spec] Added some sections in the Expressions chapter. Tue, 27 Oct 2009 05:10:59 GMT sukyoungryu [4294] * trunk/Library/Treap.fsi (modified) * trunk/Library/Treap.fss (modified) * trunk/ProjectFortress/tests/TreapTest.fss (modified) * trunk/Specification/fortress/preamble.tex (modified) [copyright] Fixed copyright notices. Tue, 27 Oct 2009 05:08:05 GMT sukyoungryu [4293] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingJUTest.scala (modified) [scala util] Scala code now use TypeAnalyzer in Scala instead of one in ... Tue, 27 Oct 2009 04:56:40 GMT sukyoungryu [4292] * trunk/ProjectFortress/compiler_tests/Compiled10.s.fss (added) * trunk/ProjectFortress/compiler_tests/XXX10s.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExclusionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [self type idiom] Added another self-type idiom test. [overloading ... Tue, 27 Oct 2009 03:28:38 GMT dr2chase [4291] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/other_compiler_tests/Funmet1.fsi (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadRewriteVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/NameEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Coercion.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Constructor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/DeclaredFunction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/DeclaredMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FieldGetterOrSetterMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Functional.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FunctionalMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/nativeInterface/FortressMethodAdapter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/nativeInterface/FortressTransformer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/exceptions/InterpreterBug.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/repository/ForeignJava.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/linker/HygienicRenamer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/STypeChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/staticenv/STypeEnv.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) Unambiguous names enabled -- stack traces may look vile. Mon, 26 Oct 2009 20:32:35 GMT chf [4290] * trunk/ProjectFortress/demos/BirdCount0.fss (modified) small prettifications Mon, 26 Oct 2009 14:55:47 GMT sukyoungryu [4289] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [types util] Fixed the inheritedMethods to handle method overriding. ... Mon, 26 Oct 2009 14:31:55 GMT chf [4288] * trunk/ProjectFortress/demos/chickenData/error_rates (deleted) Removing unused error rates Mon, 26 Oct 2009 14:31:06 GMT chf [4287] * trunk/Library/FileSupport.fsi (modified) * trunk/Library/FlatString.fss (modified) * trunk/ProjectFortress/demos/BirdCount0.fss (added) * trunk/ProjectFortress/demos/chickenData (added) * trunk/ProjectFortress/demos/chickenData/chr10.fa.head (added) * trunk/ProjectFortress/demos/chickenData/error_rates (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr10.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr11.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr12.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr13.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr14.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr15.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr16.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr17.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr18.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr19.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr20.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr21.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr22.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr23.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr24.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr25.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr26.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr27.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr28.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr3.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr4.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr5.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr6.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr7.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr8.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/chr9.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10a_LA_Frag35_20080704_white_leghorn_A/composite_error_model.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr10.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr11.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr12.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr13.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr14.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr15.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr16.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr17.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr18.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr19.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr20.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr21.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr22.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr23.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr24.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr25.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr26.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr27.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr28.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr3.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr4.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr5.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr6.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr7.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr8.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/chr9.errors.txt (added) * trunk/ProjectFortress/demos/chickenData/error_rates/10b_LA_Frag35_20080704_white_leghorn_B/composite_error_model.txt (added) * trunk/ProjectFortress/demos/chickenData/test_data (added) * trunk/ProjectFortress/demos/chickenData/test_data/10a_LA_Frag35_20080704_white_leghorn_A (added) * trunk/ProjectFortress/demos/chickenData/test_data/10a_LA_Frag35_20080704_white_leghorn_A/chr10.csfasta.ma.sorted.head (added) * trunk/ProjectFortress/demos/chickenData/test_data/10b_LA_Frag35_20080704_white_leghorn_B (added) * trunk/ProjectFortress/demos/chickenData/test_data/10b_LA_Frag35_20080704_white_leghorn_B/chr10.csfasta.ma.sorted.head (added) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/glue/prim/FlatString.java (modified) birdcount0 Sun, 25 Oct 2009 06:14:49 GMT sukyoungryu [4286] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.k.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.q.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.r.fss (added) * trunk/ProjectFortress/compiler_tests/XXX10k.test (added) * trunk/ProjectFortress/compiler_tests/XXX10q.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [self type idiom] Added more tests. [type checker] Moved the ... Sat, 24 Oct 2009 01:11:33 GMT jrhil47 [4285] * 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/constraints/ConjunctiveFormula.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/constraints/ConstraintUtil.java (moved) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/constraints/DisjunctiveFormula.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/constraints/PartiallySolvedFormula.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ConstraintFormula.scala (moved) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ConstraintJUTest.scala (moved) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/STypeChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ScalaConstraintUtil.scala (deleted) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/CoveringAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [Constraint Formulas] Made scala constraints normalize types. Decoupled ... Fri, 23 Oct 2009 21:40:53 GMT jmaessen [4283] * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/ManglingMethodVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/nativeInterface/FortressMethodAdapter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) [codegen] Refactored forwarding method generation into ... Fri, 23 Oct 2009 13:35:37 GMT sukyoungryu [4281] * trunk/ProjectFortress/compiler_tests/Compiled10.o.fss (added) * trunk/ProjectFortress/compiler_tests/XXX10o.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) [type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only ... Fri, 23 Oct 2009 06:51:27 GMT jrhil47 [4280] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadSet.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/DesugaringVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Coercion.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Constructor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/DeclaredFunction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/DeclaredMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FieldGetterOrSetterMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Functional.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/FunctionalMethod.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/InferenceVarInserter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzerJUTest.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzerUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.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/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Expression.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/NoNewlineHeader.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/NoNewlineType.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Type.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/FnHeaderClause.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExportChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/phases/Transform.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) [AST] Made the throws clause allow types that are not base types. Fri, 23 Oct 2009 06:20:28 GMT sukyoungryu [4279] * trunk/ProjectFortress/compiler_tests/Compiled10.n.fss (added) * trunk/ProjectFortress/compiler_tests/XXX10g.test (modified) * trunk/ProjectFortress/compiler_tests/XXX10h.test (modified) * trunk/ProjectFortress/compiler_tests/XXX10n.test (added) * trunk/ProjectFortress/compiler_tests/XXX5y.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9z.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) [self type idiom] Implemented checking of whether a type mentioned in a ... Fri, 23 Oct 2009 04:39:21 GMT jrhil47 [4278] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/CoveringAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) [TypeAnalyzer] cleaned up reduce product Fri, 23 Oct 2009 03:03:38 GMT sukyoungryu [4277] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.j.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.p.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.pAPI.fsi (added) * trunk/ProjectFortress/compiler_tests/Compiled10.pAPI.fss (added) * trunk/ProjectFortress/compiler_tests/XXX10j.test (added) * trunk/ProjectFortress/compiler_tests/XXX10p.test (added) * trunk/ProjectFortress/compiler_tests/XXX3q.test (added) * trunk/ProjectFortress/compiler_tests/XXX5bq.test (modified) * trunk/ProjectFortress/compiler_tests/XXX5x.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) [self type idiom] A trait with a comprises ... should not be extended. ... Thu, 22 Oct 2009 18:24:51 GMT jrhil47 [4276] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ScalaConstraint.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/CoveringAnalyzer.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerUtil.scala (added) [Type Analyzer] Fixed an infinite loop due to forgetting to return True ... Thu, 22 Oct 2009 00:30:31 GMT sukyoungryu [4275] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.e.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.f.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.g.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.h.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.i.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.l.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.m.fss (added) * trunk/ProjectFortress/compiler_tests/XXX10e.test (added) * trunk/ProjectFortress/compiler_tests/XXX10f.test (added) * trunk/ProjectFortress/compiler_tests/XXX10g.test (added) * trunk/ProjectFortress/compiler_tests/XXX10h.test (added) * trunk/ProjectFortress/compiler_tests/XXX10i.test (added) * trunk/ProjectFortress/compiler_tests/XXX3s.test (modified) * trunk/ProjectFortress/compiler_tests/XXX5br.test (deleted) * trunk/ProjectFortress/compiler_tests/XXX6c.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9ad.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9ae.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9af.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9ag.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9z.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/PreDisambiguationDesugaringVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TypeDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/ProperTraitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/StaticTypeReplacer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeNormalizer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildEnvironments.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/ApiMaker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/NoNewlineHeader.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/Comprises.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser_util/TraitClauses.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/repository/ForeignJava.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/linker/HygienicRenamer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ExclusionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/IndexBuilder.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeWellFormedChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SNodeUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) [self type idiom] Implemented the new self-type idiom proposal. Thu, 22 Oct 2009 00:09:42 GMT skilpat [4274] * trunk/ProjectFortress/compiler_tests/Compiled9.i.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX9i.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) [type checker] Fixed bug that prevented expected types from propagating ... Tue, 20 Oct 2009 23:02:16 GMT jmaessen [4273] * trunk/Library/Treap.fsi (added) * trunk/Library/Treap.fss (added) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/ManglingClassWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nativeHelpers/simpleConcatenate.java (modified) * trunk/ProjectFortress/tests/TreapTest.fss (added) [library, tests] Added simple Treap library that is non-parametric in ... Tue, 20 Oct 2009 15:20:59 GMT jmaessen [4272] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/Library/FortressLibrary.fsi (modified) * trunk/Library/FortressLibrary.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/nativeHelpers/LocalRandom.java (added) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) [library] Added randomness (courtesy the jsr166y ThreadLocalRandom) to ... Tue, 20 Oct 2009 03:49:21 GMT jrhil47 [4270] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) [TypeAnalyzer] Added code to tell when two types cover the same tags. Mon, 19 Oct 2009 18:47:37 GMT jrhil47 [4267] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) [Type Analyzer] Fixed the way that union and intersections interact with ... Fri, 16 Oct 2009 19:28:01 GMT dr2chase [4262] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) Minor fix required to at least compile (incorrectly) Compiled11 Fri, 16 Oct 2009 14:05:38 GMT sukyoungryu [4261] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/IndexBuilder.scala (modified) [index builder] Fixed handling the new self type in IndexBuilder. Fri, 16 Oct 2009 10:59:37 GMT sukyoungryu [4260] * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/EvalType.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeComparator.java (modified) [interpreter] Hacked handling of intersection types and union types in ... Fri, 16 Oct 2009 05:35:20 GMT sukyoungryu [4259] * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.d.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled6.c.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX10d.test (added) * trunk/ProjectFortress/compiler_tests/XXX6c.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/SelfParamDisambiguator.java (deleted) * 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/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/SelfParamDisambiguator.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) [self-type idiom] Implemented the new self type. Rewrote ... Thu, 15 Oct 2009 23:56:28 GMT jrhil47 [4258] * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (modified) [Type analyzer] Fixed a bug in normalization. Thu, 15 Oct 2009 19:11:34 GMT jmaessen [4257] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) [library] Made some methods abstract, mostly generator-y stuff in ... Thu, 15 Oct 2009 19:08:04 GMT jmaessen [4256] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) [testing] Remove any file (like, say, Compiled10) from here if we ... Thu, 15 Oct 2009 18:49:13 GMT jmaessen [4255] * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/ChainExprDesugarer.scala (modified) [testing] Fixed the bug in Compiled10 so that it now works! Added some ... Thu, 15 Oct 2009 17:22:42 GMT jmaessen [4254] * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.Comprehensions3.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.Comprehensions4.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled200.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled220.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled260.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled3.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled3.x.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled4.a.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled4.b.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled4.c.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled4.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.Binding.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.Elif.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.ar.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.ax.A.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.ax.A1.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.h.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled5.seq.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.ac.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.ai.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.aj.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.by.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.bz.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.u.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.x.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.y.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.z.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.ForLoops.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.e.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.ParametricFields.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.SingleInheritanceNotUsed.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX4a.test (modified) * trunk/ProjectFortress/compiler_tests/XXX4c.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6by.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6bz.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6x.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6y.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6z.test (modified) * trunk/ProjectFortress/long_term_not_working/fields/OrdinaryFields.fss (modified) * trunk/ProjectFortress/long_term_not_working/fields/ParamFieldsNoTypes.fss (modified) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritance.fss (modified) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritanceInternal.fss (modified) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritanceInternalNoSelf.fss (modified) * trunk/ProjectFortress/long_term_not_working/overriding/SimpleOverriding.fss (modified) * trunk/ProjectFortress/long_term_not_working/wordcount/MapComprehensions.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/GlobalEnvironment.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadSet.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/FreeNameCollector.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/TraitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/phases/CodeGenerationPhase.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzer.java (modified) [testing] eliminate printlnZZ32 in favor of overloaded println. This ... Thu, 15 Oct 2009 02:56:24 GMT dr2chase [4253] * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) Turned off noisy code generation for function expansion flag Thu, 15 Oct 2009 02:30:50 GMT dr2chase [4252] * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGenClassWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGenMethodVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/ManglingClassWriter.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/ManglingMethodVisitor.java (added) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Instantiater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MethodInstantiater.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) Generic function instantiation working; chain-equality not working Wed, 14 Oct 2009 18:27:57 GMT jrhil47 [4251] * trunk/ProjectFortress/compiler_tests/XXX5bp.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingJUTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionTest.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/STypeChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeWellFormedChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzer.scala (moved) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeAnalyzerJUTest.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (modified) [Type Analyzer] Turned on the new type analyzer. Tue, 13 Oct 2009 20:04:42 GMT jmaessen [4250] * trunk/ProjectFortress/compiler_tests/Compiled9.AbstractDottedMethods.test (moved) * trunk/ProjectFortress/compiler_tests/MultipleInheritanceAbstract.test (deleted) * trunk/ProjectFortress/compiler_tests/SingleInheritanceAbstract.test (deleted) [testing] Pruned redundant tests, renamed abstract dotted method tests ... Tue, 13 Oct 2009 19:55:46 GMT jmaessen [4249] * trunk/ProjectFortress/compiler_tests/DiamondInheritance1.fss (moved) * trunk/ProjectFortress/compiler_tests/DiamondInheritance1.test (added) * trunk/ProjectFortress/compiler_tests/DiamondInheritance2.fss (moved) * trunk/ProjectFortress/compiler_tests/DiamondInheritance3.fss (moved) * trunk/ProjectFortress/compiler_tests/DiamondInheritance4.fss (moved) * trunk/ProjectFortress/compiler_tests/DiamondInheritance5.fss (moved) * trunk/ProjectFortress/compiler_tests/DiamondInheritance6.fss (moved) * trunk/ProjectFortress/compiler_tests/DiamondInheritanceAbstract.fss (moved) * trunk/ProjectFortress/compiler_tests/MultipleInheritanceAbstract.fss (moved) * trunk/ProjectFortress/compiler_tests/MultipleInheritanceAbstract.test (added) * trunk/ProjectFortress/compiler_tests/SingleInheritanceAbstract.test (modified) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance7.fss (modified) [testing] Moved thorough tests of abstract dotted methods into mainline ... Tue, 13 Oct 2009 18:57:53 GMT jmaessen [4248] * trunk/ProjectFortress/compiler_tests/SingleInheritanceAbstract.fss (moved) * trunk/ProjectFortress/compiler_tests/SingleInheritanceAbstract.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) [codegen] Abstract dotted methods in trait declarations, first cut. Tue, 13 Oct 2009 18:05:54 GMT dr2chase [4247] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) Generics now instantiate with Java type names, not Fortress type names Tue, 13 Oct 2009 15:02:01 GMT jmaessen [4246] * trunk/ProjectFortress/long_term_not_working/abstract/SingleInheritanceAbstract.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/VarCodeGen.java (modified) [codegen] Refactoring of FnDecl code generation, preparing support for ... Mon, 12 Oct 2009 02:44:08 GMT jrhil47 [4245] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeLattice.scala (modified) [Type analyzer] Updated the type lattice to normalize using ... Sun, 11 Oct 2009 03:00:43 GMT dr2chase [4244] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadSet.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGenClassWriter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGenMethodVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) Changed to single-level mangling; slightly rationalized naming of ... Fri, 09 Oct 2009 17:29:15 GMT sukyoungryu [4242] * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/UIDObject.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/BoundedLattice.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/Lattice.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeLattice.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (modified) [copyright] Fixed copyright notices. Thu, 08 Oct 2009 03:17:14 GMT skilpat [4241] * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SNodeUtil.scala (modified) [coercions] More accurate overloadings for coercion invocation `FnRef`s. Wed, 07 Oct 2009 22:25:49 GMT EricAllen [4240] * trunk/ProjectFortress/long_term_not_working/abstract (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance1.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance2.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance3.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance4.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance5.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance6.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritance7.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/DiamondInheritanceAbstract.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/MultipleInheritanceAbstract.fss (added) * trunk/ProjectFortress/long_term_not_working/abstract/SingleInheritanceAbstract.fss (added) Added abstract method tests. Wed, 07 Oct 2009 22:02:21 GMT EricAllen [4239] * trunk/ProjectFortress/long_term_not_working/overriding/DiamondOverriding.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/DiamondOverriding1.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/DiamondOverriding2.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/DiamondOverridingParams.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/GraphOverridingParams.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/MultipleOverriding.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/RedundantGraphOverridingParams.fss (added) * trunk/ProjectFortress/long_term_not_working/overriding/SimpleOverriding.fss (added) Added overriding tests. Wed, 07 Oct 2009 21:02:26 GMT jmaessen [4238] * trunk/ProjectFortress/compiler_tests/Compiled10.Chain.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.Chain.test (added) * trunk/ProjectFortress/long_term_not_working/wordcount/ChainExprs.fss (deleted) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/ChainExprDesugarer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/UIDObject.java (modified) [compiler] Put new ChainExpr desugaring in place. Needed some minor ... Wed, 07 Oct 2009 17:26:17 GMT dr2chase [4236] * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) Tweaked encoding of closures and generics Wed, 07 Oct 2009 16:53:59 GMT jrhil47 [4235] * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeFactory.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingJUTest.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/overloading/OverloadingOracle.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/OverloadingChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/ScalaConstraint.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Common.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/BoundedLattice.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/Lattice.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/types/TypeLattice.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/TypeParser.scala (added) [Type Checker] New type analyzer (Not turned on yet). A test framework ... Wed, 07 Oct 2009 16:11:30 GMT jmaessen [4234] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.Comprehensions1.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) [codegen, library] Consolidated all generator-related mockups into ... Wed, 07 Oct 2009 15:28:11 GMT dr2chase [4233] * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/NamingJUTest.java (modified) New mangling methods and tests Tue, 06 Oct 2009 18:53:34 GMT jmaessen [4231] * trunk/ProjectFortress/compiler_tests/SingletonExportAndReference.fsi (added) * trunk/ProjectFortress/compiler_tests/SingletonExportAndReference.fss (added) * trunk/ProjectFortress/compiler_tests/SingletonImportAndUse.fss (added) [testing] Test that exhibits a bug in naming that causes type checking ... Mon, 05 Oct 2009 20:38:00 GMT jmaessen [4229] * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/ParallelismAnalyzer.java (modified) [codegen] Parallel evaluation of tuple expressions in binding position ... Mon, 05 Oct 2009 19:17:27 GMT dr2chase [4228] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) Additional cleanup (mostly making methods private, deprecating suspect ... Mon, 05 Oct 2009 19:11:14 GMT jmaessen [4227] * trunk/ProjectFortress/compiler_tests/Compiled5.Binding.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled5.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) [codegen] multiple value definitions in code---but only if the rhs is a ... Mon, 05 Oct 2009 17:45:57 GMT sukyoungryu [4225] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.a.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.b.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled10.c.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.n.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX10a.test (added) * trunk/ProjectFortress/compiler_tests/XXX10b.test (added) * trunk/ProjectFortress/compiler_tests/XXX10c.test (added) * trunk/ProjectFortress/compiler_tests/XXX9n.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) [type checker] Implemented type checking of contracts and fixed type ... Mon, 05 Oct 2009 15:43:40 GMT jmaessen [4224] * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) Minor tweaks cleaning up after debug session. Mon, 05 Oct 2009 15:26:04 GMT sukyoungryu [4223] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.test (added) [Compiled9] Compiled9 is done. Mon, 05 Oct 2009 15:07:27 GMT dr2chase [4222] * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MethodInstantiater.java (added) Another missing file Mon, 05 Oct 2009 15:03:15 GMT skilpat [4221] * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/CoercionDesugarer.scala (modified) [coercions] Fixed coercion desugarer to include return types on ... Mon, 05 Oct 2009 15:00:27 GMT dr2chase [4220] * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Instantiater.java (added) Missing class from last commit