#
# ChangeLog for /trunk/ProjectFortress/syntax_abstraction_tests
# 
# Generated by Trac 0.11.5
# 11/24/09 23:34:44
 
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 ...


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. ...


Thu, 11 Jun 2009 19:39:21 GMT sukyoungryu [3838]
	* trunk/ProjectFortress/compiler_tests/ObjectFromInterface.fsi (modified)
	* trunk/ProjectFortress/not_passing_yet/OverloadsA.fsi (modified)
	* trunk/ProjectFortress/not_passing_yet/OverloadsB.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Case.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Case.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Catch.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/DoubleCase.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/DoubleCase.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GeneratorClause.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarComposition.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarComposition.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseB.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseC.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseD.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/ImportEmptyApiWhichImportsNonEmptyApiEmpty.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/ImportEmptyApiWhichImportsNonEmptyApiEmpty.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/ImportEmptyApiWhichImportsNonEmptyApiNonEmpty.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/ImportEmptyApiWhichImportsNonEmptyApiNonEmpty.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/KeywordNotId.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/KeywordNotId.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Label.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Label.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Or.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Or.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/SXXGrammarExtendsNonExistingGrammar.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/SXXGrammarExtendsNonExistingGrammar.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/SXXSyntaxGrammarImports.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/SXXSyntaxGrammarImports.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/SyntaxNodes.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/SyntaxNodes.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Typecase.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Typecase.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/SXXTemplateGapWithInconsistentParameters.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/SXXTemplateGapWithInconsistentParameters.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/SXXTemplateParamsAreNotApplicable.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/SXXTemplateParamsAreNotApplicable.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/TemplateGapWithWrongASTType.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/TemplateGapWithWrongASTType.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/not_yet_passing/UsingJavaIdentifiersAsPatternVariables.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/sql/Sql.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/sql/Sql.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SXXMultipleGrammarsWithSameName.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SXXMultipleGrammarsWithSameName.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SXXSyntaxMultipleNonterminalDefsWithSameName.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SXXSyntaxMultipleNonterminalDefsWithSameName.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxAST.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxAST.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxExtends.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxExtends.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxHelloWorld.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxHelloWorld.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxHelloWorldTemplate.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxHelloWorldTemplate.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxOption.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxOption.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxRepetition.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxRepetition.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxSymbols.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxSymbols.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxTemplateVars.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxTemplateVars.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxTest.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/transformer/SyntaxTest.fss (modified)

	[copyright] Fixed copyright notices of syntactic abstraction tests.


Fri, 05 Jun 2009 16:09:42 GMT sukyoungryu [3805]
	* trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified)
	* trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/StaticParamTypeEnv.java (modified)
	* trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeWellFormedChecker.scala (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Catch.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseA.fss (modified)

	[static checker] Check the well-formedness of types before and after ...


Thu, 04 Jun 2009 16:24:05 GMT EricAllen [3799]
	* trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified)
	* trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified)
	* trunk/ProjectFortress/compiler_tests/Compiled5.b.fss (modified)
	* trunk/ProjectFortress/compiler_tests/Compiled6.r.fss (added)
	* trunk/ProjectFortress/src/com/sun/fortress/compiler/typechecker/TypeAnalyzer.java (modified)
	* trunk/ProjectFortress/src/com/sun/fortress/nativeHelpers/simpleIntArith.java (modified)
	* trunk/ProjectFortress/src/com/sun/fortress/scala_src/typechecker/TypeHierarchyChecker.scala (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/Catch.fsi (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/CatchUse2.fss (added)
	* trunk/ProjectFortress/syntax_abstraction_tests/DoubleCaseUse.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/ForUse.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseA.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/LetCCUse.fss (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests/LocalFnUse.fss (modified)

	Added more testing of parametric traits. Added more testing of
	syntactic ...


Tue, 02 Jun 2009 16:11:58 GMT sukyoungryu [3791]
	* trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/SyntaxAbstractionJUTest.java (modified)
	* trunk/ProjectFortress/src/com/sun/fortress/syntax_abstractions/SyntaxAbstractionJUTestAll.java (modified)
	* trunk/ProjectFortress/syntax_abstraction_tests (moved)

	[refactoring] Moved the syntactic abstraction files to the ...


Wed, 15 Apr 2009 17:34:48 GMT jmaessen [3645]
	* trunk/Library/Avl.fss (modified)
	* trunk/Library/Format.fss (modified)
	* trunk/Library/FortressAstUtil.fss (modified)
	* trunk/Library/Generator2.fss (modified)
	* trunk/Library/List.fss (modified)
	* trunk/Library/PrefixMap.fss (modified)
	* trunk/Library/PrefixSet.fss (modified)
	* trunk/Library/SkipList.fss (modified)
	* trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi (modified)
	* trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss (modified)
	* trunk/ProjectFortress/demos/FeatherweightJava.fss (modified)
	* trunk/ProjectFortress/demos/aStar.fss (modified)
	* trunk/ProjectFortress/demos/tennisRanking.fss (modified)
	* trunk/ProjectFortress/demos/tictactoe.fss (modified)
	* trunk/ProjectFortress/static_tests/syntax_abstraction/Xml.fss (modified)
	* trunk/ProjectFortress/tests/ListNullPointer.fss (modified)
	* trunk/ProjectFortress/tests/ListTest.fss (modified)

	[libraries, demos] Replace emptyList[\T\]() by <|[\T\] |> throughout, ...