# # ChangeLog for /trunk/ProjectFortress/compiler_tests # # Generated by Trac 0.11.5 # 11/25/09 01:54:58 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 ... 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 ... 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 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; ... 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- ... 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, ... 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` ... 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* ... 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 ... 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 ... 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: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 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 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 ... 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 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: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. 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 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 ... 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 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: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 14:41:53 GMT dr2chase [4218] * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzarJUTest.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/GenericNumberer.java (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/nativeInterface/SignatureParser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/MacPortsHelper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/StringMap.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/useful/Useful.java (modified) Some steps towards Compiled10, but also some cleanups in anticipation of ... Sun, 04 Oct 2009 01:46:02 GMT sukyoungryu [4216] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.aj.fss (moved) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) [type checker] Implemented type checking of array expressions. Tested by ... Fri, 02 Oct 2009 20:32:49 GMT skilpat [4215] * trunk/ProjectFortress/compiler_tests/Compiled9.ai.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/exceptions/ApplicationError.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/useful/ErrorLog.scala (modified) [type checker] Fixed error message issue preventing `CaseExpr` from ... Fri, 02 Oct 2009 15:50:06 GMT sukyoungryu [4214] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled280.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.ah.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.ai.fss (added) * trunk/ProjectFortress/compiler_tests/XXX5ad.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9r.test (modified) * trunk/ProjectFortress/not_working_static_tests/CaseExpr.fss (deleted) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Types.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Dispatch.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) [type checker] Implemented type checking of case expressions. It should ... Fri, 02 Oct 2009 13:32:04 GMT sukyoungryu [4213] * trunk/ProjectFortress/compiler_tests/Compiled270.fss (copied) * trunk/ProjectFortress/compiler_tests/Compiled9.fss (modified) [Compiled9] Removed tuples from Compiled9.fss. Renamed Compiled9.fss to ... Fri, 02 Oct 2009 13:18:03 GMT sukyoungryu [4212] * trunk/ProjectFortress/compiler_tests/CoercionsApi.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.CompiledCoercions.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.CompiledCoercions.test (modified) [Compiled9] Made the Compiled9.CompiledCoercions test actually run the ... Fri, 02 Oct 2009 02:26:24 GMT skilpat [4211] * trunk/ProjectFortress/compiler_tests/CoercionsApi.fsi (added) * trunk/ProjectFortress/compiler_tests/CoercionsComponent.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled6.o.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.p.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.CompiledCoercions.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.CompiledCoercions.test (added) * trunk/ProjectFortress/compiler_tests/Compiled9.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX6p.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadSet.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/CoercionLifter.scala (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/scala_src/typechecker/IndexBuilder.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/Lists.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SNodeUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/Sets.scala (modified) [coercions] Added lifting of coercion declarations and definitions!! ... Wed, 30 Sep 2009 21:17:43 GMT EricAllen [4209] * trunk/ProjectFortress/compiler_tests/Compiled9.DiamondOverriding.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.MultipleOverriding.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.RedundantOverriding.fss (added) * trunk/ProjectFortress/compiler_tests/DiamondOverriding.test (added) * trunk/ProjectFortress/compiler_tests/MultipleOverriding.test (added) * trunk/ProjectFortress/compiler_tests/RedundantOverriding.test (added) Added overriding tests. Wed, 30 Sep 2009 18:49:27 GMT jmaessen [4208] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled11.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled12.fss (modified) [tests] Tweaked Compiled11 to be type correct, made sure type checker is ... Mon, 28 Sep 2009 21:35:41 GMT EricAllen [4206] * trunk/ProjectFortress/compiler_tests/Compiled9.SimpleOverriding.fss (added) * trunk/ProjectFortress/compiler_tests/SimpleOverriding.test (added) * trunk/ProjectFortress/long_term_not_working/overriding (added) Added simple overriding test. Fri, 25 Sep 2009 21:38:54 GMT jmaessen [4205] * trunk/ProjectFortress/compiler_tests/Compiled7.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/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/BaseTask.java (modified) [codegen] Complete rewrite of top-level binding handling. Previously ... Fri, 25 Sep 2009 04:39:55 GMT sukyoungryu [4204] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.aa.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.ab.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.ac.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.ad.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.ae.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.af.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.ag.fss (moved) * trunk/ProjectFortress/compiler_tests/XXX9aa.test (added) * trunk/ProjectFortress/compiler_tests/XXX9ad.test (added) * trunk/ProjectFortress/compiler_tests/XXX9ae.test (added) * trunk/ProjectFortress/compiler_tests/XXX9af.test (added) * trunk/ProjectFortress/compiler_tests/XXX9ag.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) * trunk/ProjectFortress/syntax_abstraction_tests/Regex.fss (modified) [type checker] Implemented type checking of 'try' and 'throw'. Added ... Thu, 24 Sep 2009 18:05:35 GMT jmaessen [4203] * trunk/ProjectFortress/compiler_tests/Compiled7.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/BaseTask.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/FortressExecutable.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/tests/unit_tests/FileTests.java (modified) * trunk/ProjectFortress/third_party/jsr166y/jsr166y.jar (modified) [codegen, rts] Fixes to top-level bindings to handle parallelism found ... Wed, 23 Sep 2009 21:05:29 GMT EricAllen [4200] * trunk/ProjectFortress/compiler_tests/Compiled9.SingleInheritanceNotUsed.fss (added) * trunk/ProjectFortress/compiler_tests/SingleInheritanceNotUsed.test (added) * trunk/ProjectFortress/long_term_not_working/inheritance (added) * trunk/ProjectFortress/long_term_not_working/inheritance/MultipleInheritance.fss (added) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritance.fss (added) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritanceInternal.fss (added) * trunk/ProjectFortress/long_term_not_working/inheritance/SingleInheritanceInternalNoSelf.fss (added) Added some inheritance tests. Wed, 23 Sep 2009 16:08:15 GMT sukyoungryu [4198] * trunk/Library/incomplete/SkipTree.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.z.fss (added) * trunk/ProjectFortress/compiler_tests/XXX9z.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/OprUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified) [static checker] Fixed static checks for comprises clauses with generic ... Wed, 23 Sep 2009 15:54:32 GMT EricAllen [4197] * trunk/ProjectFortress/compiler_tests/Compiled9.ParametricFields.fss (added) * trunk/ProjectFortress/compiler_tests/ParametricFields.test (added) * trunk/ProjectFortress/long_term_not_working/fields (added) * trunk/ProjectFortress/long_term_not_working/fields/OrdinaryFields.fss (added) * trunk/ProjectFortress/long_term_not_working/fields/ParamFieldsNoTypes.fss (added) Added more tests for fields and field accesses. Tue, 22 Sep 2009 20:48:11 GMT jmaessen [4195] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/Library/FortressLibrary.fss (modified) * trunk/Library/Relation.fss (modified) * trunk/Library/incomplete/SkipTree.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled18.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled260.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.Comprehensions1.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.Print17.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.fss (modified) * trunk/ProjectFortress/tests/RangePrototype.fss (modified) [library] Use getters in compiled code (and fix up some getter ... Tue, 22 Sep 2009 18:49:22 GMT jmaessen [4193] * trunk/Library/CompilerLibrary.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.Comprehensions3.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.Comprehensions4.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled18.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/compiler/NamingCzarJUTest.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/TaskVarCodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/nativeInterface/SignatureParser.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/ClosureMaker.java (modified) [codegen] cross-component references to top-level variables. Tue, 22 Sep 2009 11:10:46 GMT sukyoungryu [4192] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/OverloadRewriteVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/CompilationUnitIndex.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/env/BetterEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/values/OverloadedFunction.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/OprUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Functionals.scala (modified) [environment] Fixed handling of operators with different fixities as ... Mon, 21 Sep 2009 21:33:40 GMT skilpat [4191] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/compiler_tests/XXX5ad.test (modified) * trunk/ProjectFortress/compiler_tests/XXX5ae.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/Shell.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Desugarer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/ChainExprDesugarer.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/TempVarDecl.scala (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/Operators.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/useful/SExprUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) [desugarer] Added `ChainExprDesugarer` after type checking. All ... Mon, 21 Sep 2009 18:29:29 GMT sukyoungryu [4190] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/CompilationUnitIndex.java (modified) [environment] Reverted changes in r4187. Mon, 21 Sep 2009 16:31:25 GMT sukyoungryu [4189] * trunk/ProjectFortress/compiler_tests/AsString.test (added) * trunk/ProjectFortress/compiler_tests/Compiled9.AsString.fss (copied) * trunk/ProjectFortress/long_term_not_working/closures/working (deleted) * trunk/ProjectFortress/long_term_not_working/getters (deleted) * trunk/ProjectFortress/long_term_not_working/objects (deleted) [tests] Tests refactoring. Mon, 21 Sep 2009 16:14:44 GMT sukyoungryu [4188] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.ApplicationErrors.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled7.ForLoops.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled7.Print17.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.Overriding.fss (moved) * trunk/ProjectFortress/compiler_tests/ForLoops.test (modified) * trunk/ProjectFortress/compiler_tests/Operators.fss (deleted) * trunk/ProjectFortress/compiler_tests/Overriding.test (modified) * trunk/ProjectFortress/compiler_tests/Print17.test (modified) * trunk/ProjectFortress/compiler_tests/XXXApplicationErrors.test (modified) [tests] Fixed a .test file to include 'link'. Added a .test file for ... Mon, 21 Sep 2009 14:55:20 GMT sukyoungryu [4187] * trunk/ProjectFortress/compiler_tests/Compiled9.y.fss (moved) * trunk/ProjectFortress/compiler_tests/Operators.fsi (added) * trunk/ProjectFortress/compiler_tests/Operators.fss (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/TopLevelEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/CompilationUnitIndex.java (modified) [static checker] Implemented static checks for operator imports. Fixed ... Sat, 19 Sep 2009 14:11:07 GMT sukyoungryu [4186] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.t.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.u.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.v.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.w.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.x.fss (moved) * trunk/ProjectFortress/compiler_tests/XXX9v.test (added) * trunk/ProjectFortress/compiler_tests/XXX9w.test (added) * trunk/ProjectFortress/compiler_tests/XXX9x.test (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/STypeChecker.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) [type checker] Implemented type checking of label and exit expressions. ... Sat, 19 Sep 2009 01:34:09 GMT sukyoungryu [4185] * trunk/ProjectFortress/astgen/Fortress.ast (modified) * trunk/ProjectFortress/compiler_tests/XXX9s.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ReturnTypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/MutableVarRefRewriteVisitor.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeChecker.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/interpreter/evaluator/BuildLetEnvironments.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/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Decls.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] Replaced List with Block for the body of LetExpr. Fri, 18 Sep 2009 23:24:55 GMT sukyoungryu [4184] * trunk/ProjectFortress/compiler_tests/Compiled9.s.fss (moved) * trunk/ProjectFortress/compiler_tests/XXX9s.test (added) [test] Moved one static test from not_working_static_tests/ to ... Fri, 18 Sep 2009 17:26:38 GMT sukyoungryu [4181] * trunk/ProjectFortress/compiler_tests/Compiled5.timing.not (moved) [timing test] Turn off the timing test of Compiled5 again. Fri, 18 Sep 2009 16:05:02 GMT sukyoungryu [4179] * trunk/ProjectFortress/compiler_tests/Compiled9.r.fss (moved) * trunk/ProjectFortress/compiler_tests/XXX9h.test (added) * trunk/ProjectFortress/compiler_tests/XXX9i.test (added) * trunk/ProjectFortress/compiler_tests/XXX9q.test (added) * trunk/ProjectFortress/compiler_tests/XXX9r.test (added) [tests] Added more static tests. Fri, 18 Sep 2009 15:35:11 GMT sukyoungryu [4178] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.h.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.i.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.j.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.k.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.l.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.m.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.n.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.o.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.p.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled9.q.fss (moved) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/impls/Misc.scala (modified) [tests] Moved 10 static tests from not_working_static_tests/ to ... Fri, 18 Sep 2009 14:30:02 GMT sukyoungryu [4176] * trunk/ProjectFortress/compiler_tests/Compiled5.timing (moved) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ApiIterable.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/ComponentIterable.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/ConcealingTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/EmptyTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/FnDeclTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/LValueTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/LocalVarTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/MethodTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/ParamTypeEnv.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/VarTypeEnv.java (modified) [tests] Turned on Compiled5.timing. [Copyright] Fixed copyright notices. Fri, 18 Sep 2009 13:54:38 GMT jmaessen [4174] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX1ab.test (modified) * trunk/ProjectFortress/compiler_tests/XXX1r.test (modified) [tests] Instated true and false constants (no actual testing of them in ... Fri, 18 Sep 2009 13:25:27 GMT dr2chase [4173] * trunk/ProjectFortress/compiler_tests/Compiled10.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) Safe checkin, working towards generics, need a fresh checkout to get ... Wed, 16 Sep 2009 21:26:41 GMT EricAllen [4171] * trunk/ProjectFortress/compiler_tests/Overriding.fss (added) * trunk/ProjectFortress/compiler_tests/Overriding.test (added) * trunk/ProjectFortress/long_term_not_working/getters (added) * trunk/ProjectFortress/long_term_not_working/getters/AsString.fss (added) * trunk/ProjectFortress/long_term_not_working/objects (added) More object tests. Wed, 16 Sep 2009 16:16:50 GMT sukyoungryu [4167] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.g.fss (moved) * trunk/ProjectFortress/compiler_tests/Comprehensions1.test (added) [tests] Added more tests. Tue, 15 Sep 2009 13:34:28 GMT dr2chase [4163] * trunk/ProjectFortress/compiler_tests/Compiled10.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/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) Semi-fix for naming problem Jan found with Compiled7.Comprehensions1 ... Tue, 15 Sep 2009 03:54:26 GMT sukyoungryu [4162] * trunk/ProjectFortress/compiler_tests/Compiled9.f.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/Spacing.rats (modified) [parser] Clean up. Tue, 15 Sep 2009 00:49:05 GMT sukyoungryu [4161] * trunk/ProjectFortress/compiler_tests/AfterDisambiguate.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled9.e.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.f.fss (added) * trunk/ProjectFortress/compiler_tests/Names.a.fsi (added) * trunk/ProjectFortress/compiler_tests/XXX9f.test (added) * trunk/ProjectFortress/src/com/sun/fortress/parser/Spacing.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) [disambiguator] More fix in ExprDisambiguator. Added more tests. Mon, 14 Sep 2009 19:04:24 GMT sukyoungryu [4160] * trunk/ProjectFortress/compiler_tests/AfterDisambiguate.test (added) * trunk/ProjectFortress/compiler_tests/Compiled9.a.fsi (added) * trunk/ProjectFortress/compiler_tests/Compiled9.b.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.c.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled9.d.fsi (added) * trunk/ProjectFortress/compiler_tests/XXX7h.test (modified) * trunk/ProjectFortress/compiler_tests/XXX9c.test (added) * trunk/ProjectFortress/compiler_tests/XXX9d.test (added) * trunk/ProjectFortress/src/com/sun/fortress/parser/Spacing.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/parser/preparser/PreCompilation.rats (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) [disambiguator] Fixed ExprDisambiguator and added more tests. The big ... Mon, 14 Sep 2009 16:19:52 GMT sukyoungryu [4159] * trunk/ProjectFortress/compiler_tests/XXX1u.test (modified) * trunk/ProjectFortress/compiler_tests/XXX1v.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6j.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6l.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/IndexBuilder.scala (modified) [disambiguator] Moved static checks from IndexBuilder to ... Mon, 14 Sep 2009 14:06:30 GMT sukyoungryu [4158] * trunk/ProjectFortress/compiler_tests/Compiled2.t.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX7h.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (modified) [disambiguator] Fixing ExprDisambiguator (work in progress) Sat, 12 Sep 2009 07:38:31 GMT skilpat [4157] * trunk/ProjectFortress/compiler_tests/Compiled9.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/CoercionDesugarer.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/desugarer/NameOracle.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Coercion.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/nodes_util/NodeUtil.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/CoercionOracle.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/impls/Decls.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/useful/STypesUtil.scala (modified) * trunk/ProjectFortress/src/com/sun/fortress/tools/FortressAstToConcrete.java (modified) [type checker] Fixed type checking of function applications involving ... Fri, 11 Sep 2009 19:36:19 GMT sukyoungryu [4156] * trunk/ProjectFortress/compiler_tests/Compiled6.bo.fss (modified) * trunk/ProjectFortress/compiler_tests/XXX1m.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6bo.test (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/Disambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ExprDisambiguator.java (deleted) * 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/scala_src/disambiguator (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/disambiguator/ExprDisambiguator.scala (added) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/AbstractMethodChecker.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/tests/TupleBinding2.fss (modified) [disambiguator] Replaced ExprDisambiguator in Java with one in Scala. ... Fri, 11 Sep 2009 18:05:01 GMT jmaessen [4154] * trunk/ProjectFortress/compiler_tests/Compiled7.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] Top-level bindings. At present, we are restricted as follows: ... Thu, 10 Sep 2009 15:08:51 GMT jmaessen [4151] * trunk/ProjectFortress/compiler_tests/Compiled9.fss (modified) Fix odd indentation Wed, 09 Sep 2009 19:44:56 GMT jmaessen [4146] * trunk/ProjectFortress/compiler_tests/Compiled7.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled7fo.fss (deleted) * trunk/ProjectFortress/compiler_tests/Compiled8.fss (deleted) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FRR64.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) * trunk/build.xml (modified) [testing] Consolidated now-working Compiled7fo, Compiled7, and ... Wed, 09 Sep 2009 18:52:32 GMT dr2chase [4145] * trunk/ProjectFortress/compiler_tests/Compiled7.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled8.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) Fixed glitches in arrows of arrows, now allows Compiled8 to run (part of ... Wed, 09 Sep 2009 18:39:45 GMT EricAllen [4144] * trunk/ProjectFortress/compiler_tests/ForLoops.fss (moved) * trunk/ProjectFortress/compiler_tests/ForLoops.test (added) Added a simple working test for for loops. Wed, 09 Sep 2009 18:16:57 GMT EricAllen [4142] * trunk/ProjectFortress/compiler_tests/fringe/not_working (deleted) * trunk/ProjectFortress/compiler_tests/fringe/working (deleted) * trunk/ProjectFortress/long_term_not_working (moved) * trunk/ProjectFortress/long_term_not_working/closures (copied) Moved fringe files to new location. Wed, 09 Sep 2009 15:23:50 GMT EricAllen [4141] * trunk/ProjectFortress/compiler_tests/fringe/closures (added) * trunk/ProjectFortress/compiler_tests/fringe/closures/not_working (moved) * trunk/ProjectFortress/compiler_tests/fringe/closures/working (moved) Reorganized some fringe files. Wed, 09 Sep 2009 03:25:32 GMT dr2chase [4140] * trunk/ProjectFortress/compiler_tests/Compiled7.fss (modified) * trunk/ProjectFortress/other_compiler_tests/Funmet0.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/runtimeValues/FRR64.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/Naming.java (modified) * trunk/bin/run (modified) Fixed naming glitches with empty parameter lists; also tweaked a couple ... Tue, 08 Sep 2009 21:06:03 GMT EricAllen [4137] * trunk/ProjectFortress/compiler_tests/fringe (added) * trunk/ProjectFortress/compiler_tests/fringe/not_working (added) * trunk/ProjectFortress/compiler_tests/fringe/not_working/DottedMethods.fss (added) * trunk/ProjectFortress/compiler_tests/fringe/not_working/GetterRefs.fss (added) * trunk/ProjectFortress/compiler_tests/fringe/not_working/ObjectWithFields.fss (added) * trunk/ProjectFortress/compiler_tests/fringe/not_working/OprImportChecks.fss (added) * trunk/ProjectFortress/compiler_tests/fringe/working (added) * trunk/ProjectFortress/compiler_tests/fringe/working/ForLoops.fss (added) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) Added part of the fringe of programs that must pass to complete long ... Tue, 08 Sep 2009 18:23:28 GMT jmaessen [4135] * trunk/ProjectFortress/compiler_tests/Compiled8.fss (modified) [testing] Type-annotated version of Compiled8 that compiles but crashes ... Tue, 08 Sep 2009 17:47:57 GMT jmaessen [4134] * trunk/ProjectFortress/compiler_tests/Compiled7.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7.test (moved) * trunk/ProjectFortress/compiler_tests/Compiled7fo.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled8.fss (modified) [tests] Compiled7 now works after carrying across changes from ... Tue, 08 Sep 2009 16:15:01 GMT sukyoungryu [4133] * trunk/ProjectFortress/compiler_tests/Compiled10.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled11.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled12.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled13.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled14.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled15.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled16.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled17.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled18.fss (copied) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ExprDisambiguator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeWellFormedChecker.scala (modified) [compiler tests] Added compiler tests for generics. Mon, 07 Sep 2009 15:55:30 GMT jmaessen [4132] * trunk/ProjectFortress/compiler_tests/Compiled7fo.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7fo.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) [codegen] Correct free variable handling for closures. Majority of code ... Sat, 05 Sep 2009 21:21:41 GMT sukyoungryu [4130] * trunk/Library/Avl.fss (modified) * trunk/Library/ChunkedSparseArray.fss (modified) * trunk/Library/Format.fss (modified) * trunk/Library/FortressLibrary.fss (modified) * trunk/Library/Generator2.fss (modified) * trunk/Library/Generator22D.fss (modified) * trunk/Library/Heap.fss (modified) * trunk/Library/IntMap.fss (modified) * trunk/Library/List.fsi (modified) * trunk/Library/List.fss (modified) * trunk/Library/Map.fss (modified) * trunk/Library/PrefixMap.fsi (modified) * trunk/Library/PrefixMap.fss (modified) * trunk/Library/PrefixSet.fsi (modified) * trunk/Library/PrefixSet.fss (modified) * trunk/Library/PureList.fsi (modified) * trunk/Library/PureList.fss (modified) * trunk/Library/RangeInternals.fss (modified) * trunk/Library/Relation.fss (modified) * trunk/Library/Set.fss (modified) * trunk/Library/SetClosure.fss (modified) * trunk/Library/SkipList.fss (modified) * trunk/Library/Sparse.fss (modified) * trunk/Library/String.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled6.by.fss (added) * trunk/ProjectFortress/compiler_tests/Compiled6.bz.fss (added) * trunk/ProjectFortress/compiler_tests/XXX6by.test (added) * trunk/ProjectFortress/compiler_tests/XXX6bz.test (added) * trunk/ProjectFortress/compiler_tests/XXX6x.test (modified) * trunk/ProjectFortress/compiler_tests/XXX6z.test (modified) * trunk/ProjectFortress/demos/ArrayListLong.fss (modified) * trunk/ProjectFortress/demos/BiCGSTAB.fss (modified) * trunk/ProjectFortress/demos/Cfa.fss (modified) * trunk/ProjectFortress/demos/DynamicSemantics.fss (modified) * trunk/ProjectFortress/demos/FeatherweightJava.fss (modified) * trunk/ProjectFortress/demos/HeapShakedown.fss (modified) * trunk/ProjectFortress/demos/Lambda.fss (modified) * trunk/ProjectFortress/demos/PureListLong.fss (modified) * trunk/ProjectFortress/demos/Syntax.fsi (modified) * trunk/ProjectFortress/demos/Syntax.fss (modified) * trunk/ProjectFortress/demos/aStar.fss (modified) * trunk/ProjectFortress/demos/newtictactoe.fss (modified) * trunk/ProjectFortress/demos/posFeedback.fss (modified) * trunk/ProjectFortress/demos/sudoku.fss (modified) * trunk/ProjectFortress/demos/tennisRanking.fss (modified) * trunk/ProjectFortress/demos/tictactoe.fss (modified) * trunk/ProjectFortress/demos/trips.fss (modified) * trunk/ProjectFortress/demos/turnersParaffins0.fss (modified) * trunk/ProjectFortress/demos/wordcount.fss (modified) * trunk/ProjectFortress/demos/wordcount2.fss (modified) * trunk/ProjectFortress/not_passing_yet/testMethodInference.fss (modified) * trunk/ProjectFortress/not_passing_yet/tree.fss (modified) * trunk/ProjectFortress/other_compiler_tests/SimpleOverload4.fss (modified) * trunk/ProjectFortress/other_compiler_tests/SimpleOverload5.fss (modified) * trunk/ProjectFortress/parser_tests/XXXparenOpArg.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/astgen/FortressAstGenerator.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ExprDisambiguator.java (modified) * trunk/ProjectFortress/syntax_abstraction_tests/Regex.fss (modified) * trunk/ProjectFortress/syntax_abstraction_tests/Xml.fss (modified) * trunk/ProjectFortress/tests/ArrayListQuick.fss (modified) * trunk/ProjectFortress/tests/BadBounds.fss (modified) * trunk/ProjectFortress/tests/EqualityOverloadBug.fss (modified) * trunk/ProjectFortress/tests/Exception.fss (modified) * trunk/ProjectFortress/tests/ExceptionScoping.fss (modified) * trunk/ProjectFortress/tests/HeapTest.fss (modified) * trunk/ProjectFortress/tests/ListTest.fss (modified) * trunk/ProjectFortress/tests/MapTest.fss (modified) * trunk/ProjectFortress/tests/ObjectToStringTest.fss (modified) * trunk/ProjectFortress/tests/PureListQuick.fss (modified) * trunk/ProjectFortress/tests/RangePrototype.fss (modified) * trunk/ProjectFortress/tests/Region.fss (modified) * trunk/ProjectFortress/tests/SetTest.fss (modified) * trunk/ProjectFortress/tests/SkipListTest.fss (modified) * trunk/ProjectFortress/tests/TransactionalArrayShakedown.fss (modified) * trunk/ProjectFortress/tests/WordCountSmall.fss (modified) * trunk/ProjectFortress/tests/array3test.fss (modified) * trunk/ProjectFortress/tests/asifTest.fss (modified) * trunk/ProjectFortress/tests/atomicList.fss (modified) * trunk/ProjectFortress/tests/booleanGuard.fss (modified) * trunk/ProjectFortress/tests/deepHierarchy.fss (modified) * trunk/ProjectFortress/tests/extendAny.fss (modified) * trunk/ProjectFortress/tests/extendException.fss (modified) * trunk/ProjectFortress/tests/fmTest2.fss (modified) * trunk/ProjectFortress/tests/fmTest3.fss (modified) * trunk/ProjectFortress/tests/intPrim.fss (modified) * trunk/ProjectFortress/tests/longPrim.fss (modified) * trunk/ProjectFortress/tests/maybeTest.fss (modified) * trunk/ProjectFortress/tests/naiveSeq.fss (modified) * trunk/ProjectFortress/tests/naturalsTest.fss (modified) * trunk/ProjectFortress/tests/nestedInst.fss (modified) * trunk/ProjectFortress/tests/realArith.fss (modified) * trunk/ProjectFortress/tests/spuriousSelf.fss (modified) * trunk/ProjectFortress/tests/subArray.fss (modified) * trunk/ProjectFortress/tests/testRR32.fss (modified) * trunk/ProjectFortress/tests/testRecImport.fss (modified) * trunk/ProjectFortress/tests/whileTest.fss (modified) * trunk/ProjectFortress/tests/zeno.fss (modified) [disambiguator] Fixed handling getters and setters in ExprDisambiguator. ... Fri, 04 Sep 2009 19:49:33 GMT jmaessen [4129] * trunk/ProjectFortress/compiler_tests/Compiled7fo.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) [codegen] 1-sided conditionals now work correctly (by dint of pushing () ... Fri, 04 Sep 2009 19:18:45 GMT jmaessen [4128] * trunk/Library/CompilerLibrary.fsi (modified) * trunk/Library/CompilerLibrary.fss (modified) * trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified) * trunk/ProjectFortress/compiler_tests/Compiled7fo.fss (modified) * trunk/ProjectFortress/other_compiler_tests/FieldAccess.fss (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/NamingCzar.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/WellKnownNames.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/codegen/CodeGen.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/nativeInterface/FortressMethodAdapter.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/compiler/runtimeValues/FBoolean.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/typechecker/TypeAnalyzer.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/repository/ForeignJava.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/InstantiatingClassloader.java (modified) * trunk/ProjectFortress/src/com/sun/fortress/runtimeSystem/MainWrapper.java (modified) * trunk/bin/fortress_classpath (modified) [codegen] Fix two major bugs: first, make sure we name system classes ... Thu, 03 Sep 2009 18:47:30 GMT sukyoungryu [4127] * trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test (modified) * trunk/ProjectFortress/compiler_tests/Compiled10.Comprehensions3.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled10.Comprehensions4.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled10.fss (moved) * trunk/ProjectFortress/compiler_tests/Compiled7.Comprehensions1.fss (moved) [compiler tests] Renamed Comprehensions tests to CompiledX tests. Thu, 03 Sep 2009 18:13:27 GMT sukyoungryu [4126] * trunk/ProjectFortress/compiler_tests/Comprehensions1.fss (modified) * trunk/ProjectFortress/compiler_tests/Comprehensions2.fss (modified) * trunk/ProjectFortress/compiler_tests/Comprehensions3.fss (modified) * trunk/ProjectFortress/compiler_tests/Comprehensions4.fss (modified) [tests] Removed component headers from Comprehensions tests. Thu, 03 Sep 2009 17:57:15 GMT jmaessen [4125] * trunk/ProjectFortress/compiler_tests/Compiled8.fss (modified) testing: make Compiled8 test closure over top-level non-generic ... Wed, 02 Sep 2009 05:59:50 GMT sukyoungryu [4123] * trunk/ProjectFortress/compiler_tests/Compiled7.h.fss (added) * trunk/ProjectFortress/compiler_tests/XXX7h.test (added) * trunk/ProjectFortress/src/com/sun/fortress/compiler/disambiguator/ExprDisambiguator.java (modified) [disambiguator] Implemented static checks for the new namespace story.