Timeline
03/20/09:
- 14:36 Ticket #327 (fortress api: private types should lead to ... in comprises clauses) closed by
- fixed: Fixed in r3565.
- 14:34 Changeset [3566] by
- [readme] Changed a confusing command in README.txt.
- 14:29 Changeset [3565] by
- [api tool] Private traits and objects are not included in the comprises …
- 10:20 Ticket #330 (Compiler error (Java heap space)) created by
- Context of error: ./ant -v clean compile, Fortress svn #3557, Windows XP, …
- 09:50 Changeset [3564] by
- CodeGen? work in progress
- 09:30 Changeset [3563] by
- Flesh out example somewhat to better show failure.
- 08:57 Changeset [3562] by
- Bunches of minor library tweaks due to bugs uncovered along the way, plus …
- 08:49 Ticket #329 (Major oversight: tuple varargs lead to overloading ambiguities) created by
- Consider the mapping constructor: […] We already know that we can't …
- 08:41 Ticket #328 (Generic functional methods are rejected during interpreter initialization) created by
- See …
- 08:30 Changeset [3561] by
- [compiler tests] Compiler tests now use the new test scheme except one: …
- 08:14 Ticket #327 (fortress api: private types should lead to ... in comprises clauses) created by
- Consider the following type structure: […] Running fortress api on …
- 06:32 Changeset [3560] by
- [compiler tests] Changed the run functions in the compiler tests to have …
03/19/09:
- 17:23 Changeset [3559] by
- [Type Checker] More tests and bug fixes
- 13:15 Changeset [3558] by
- Added a cyclic type hierarchy checker. Fixed ASTGen-generated Scala apply …
03/17/09:
- 13:08 Changeset [3557] by
- [syntax] use updated astgen.jar
- 13:08 Changeset [3556] by
- [syntax] hack the syntax abstraction nodes to use astgen more. needs more …
03/16/09:
- 21:03 Changeset [3555] by
- [parser] Improved syntax error messages for invalid Fortress operator …
- 11:15 Changeset [3554] by
- [overloading checker] Improved the simple static overloading check with …
03/15/09:
- 22:51 Changeset [3553] by
- [syntactic abstraction] Fixed hygienic renaming. Added the LetCC example.
- 13:30 FortressQuestions edited by
- (diff)
03/14/09:
- 23:45 Changeset [3552] by
- [Type Checker] Added JUTest for constraint formulas and fixed a whole …
- 14:29 Changeset [3551] by
- [static overloading check] Implemented a very simple overloading check: …
- 12:26 Changeset [3550] by
- [copyright] Fixed the copyright notices.
03/13/09:
- 19:20 Changeset [3549] by
- [type checker] Renamed the very confusing parameter names.
- 19:03 Changeset [3548] by
- [type checker] Removed the old SubtypeChecker?.
- 16:22 Changeset [3547] by
- [compiler test harness] enhanced checking options, _equals and _WCIequals
- 13:05 Changeset [3546] by
- Changed Executable api to have no arguments; program arguments are now …
03/12/09:
- 18:44 Changeset [3545] by
- [preparser] Fixed the preparser to report a better error message for …
- 17:16 Changeset [3544] by
- [export checker] Provide source locations of missing top-level …
- 15:42 Changeset [3543] by
- Temporarily switched error message sorting to rely on lexicographic …
- 13:10 Changeset [3542] by
- [Type Checker] Reverted to Dan's algorithm
- 12:54 Changeset [3541] by
- Deleted some unintentionally committed printlns.
- 10:39 Changeset [3540] by
- Don't fail to print when fixities are unknown; instead, mark unknown …
- 10:36 Changeset [3539] by
- Boilerplate system library declarations, to be filled out.
- 10:01 Changeset [3538] by
- [preparser] Fixed the preparser handling expressions. Added 5 Compiled1 …
- 09:34 Changeset [3537] by
- Added mandatory check for something (PASS if unspecified) on standard out …
- 07:43 Changeset [3536] by
- Added erroneous variants of Compiled1. Improved compiler test harness to …
03/11/09:
- 13:18 Changeset [3535] by
- Removed more name shadowing
- 11:51 Changeset [3534] by
- some type information added for Format.fss
- 11:08 Changeset [3533] by
- Some work on unboxing optimizations, plus cleanup of Eclipse warnings …
- 08:54 Changeset [3532] by
- Added more error message quality tests.
03/10/09:
- 18:14 Changeset [3531] by
- Added extra type information throughout the library code. Format and …
- 13:31 Changeset [3530] by
- [compiler library] Fixed mismatch between the API CompilerBuiltin? and the …
- 11:38 Changeset [3529] by
- Made order of overloaded functions be repeatable; this might have some …
- 09:27 Changeset [3528] by
- [compiler unit test] Fixed harness to remove anachronism, now test actual …
- 08:23 TypeCheckerProgress edited by
- (diff)
- 04:53 Changeset [3527] by
- [export checker] Added more checks for type matching in components and …
03/09/09:
- 20:09 Changeset [3526] by
- Fixed random number seed in test harness to make it easier to re-run
- 18:14 Changeset [3525] by
- [type checker] Normalize types before and after type checking. [type …
- 14:26 Changeset [3524] by
- More improvements to testing harness
- 13:15 Changeset [3523] by
- [type checker] Eliminated type checker libraries.
- 12:28 Changeset [3522] by
- Improvements to unit test harness
- 11:05 Changeset [3521] by
- [static checker] Added a check to make sure that after type checking, the …
- 07:04 Changeset [3520] by
- Actually run something from java.lang.Math
03/08/09:
- 18:44 Changeset [3519] by
- Adding support for comprehensions using {/ ... /} to PrefixMap?
- 07:06 Changeset [3518] by
- [export checker] Implemented the new static check: Multiple APIs exported …
03/07/09:
- 19:44 Changeset [3517] by
- Removed accidental commit of testing code from build.xml
- 19:36 Changeset [3516] by
- Fixed the fixed copyrights, to turn them into actual comments
- 16:12 Changeset [3515] by
- [copyright] Fixed copyright notices.
03/06/09:
- 21:38 Changeset [3514] by
- [export checker] Separated overloading checks from the export checks.
- 19:35 Changeset [3513] by
- [export checker] Added checks for top-level operators.
- 17:39 Changeset [3512] by
- [bin/run] Removed debugging output, oops
- 17:23 Changeset [3511] by
- [tests, mostly] refactoring of test harness; added test for new compiler
03/05/09:
- 15:23 Changeset [3510] by
- [TypeChecker?] Did Tight Juxt
- 14:13 Changeset [3509] by
- [Typechecker] Added the Juxt case
- 12:48 Changeset [3508] by
- Added another case to the Scala-based type checker.
- 12:30 Changeset [3507] by
- [Ast] Changed the apply and unapply methods of the AST to take and return …
03/03/09:
- 12:32 Changeset [3506] by
- [Compiled1] Fixed setting the package name for compiling multiple …
- 12:19 Changeset [3505] by
- [Compiled1] Small clean up.
- 11:37 Changeset [3504] by
- [Code Gen] Changed package declarations to make eclipse happy
- 10:54 Changeset [3503] by
- We now import java.lang.Math, but we don't use it yet.
- 07:39 Changeset [3502] by
- Compiled1 now works
- 04:02 Changeset [3501] by
- [interpreter, foreign] almost wraps and uses new-foreign functions
03/02/09:
- 12:10 Changeset [3500] by
- [shell] Fixed the old 'fortress' usage message.
- 04:54 Changeset [3499] by
- Reverted bad handling of InterpreterBugs thrown during method …
03/01/09:
- 19:37 Changeset [3498] by
- [interpreter] Slightly amended the interpreter to give an informative …
- 16:25 Changeset [3497] by
- [parser] Fixed checking matched brackets for the generalized map-like …
- 15:11 SyntacticAbstractionCode edited by
- (diff)
02/28/09:
- 19:13 Changeset [3496] by
- [Compiled1] Systematic bytecode generation of simple types
02/26/09:
- 18:03 Changeset [3495] by
- [parser] Export statements can come before import statements.
- 12:24 Changeset [3494] by
- [Type Checker] Did Scala Constraint Inference [Type Checker] Mucked around …
- 12:14 Changeset [3493] by
- Updated plt.jar.
- 11:21 Changeset [3492] by
- [parser] Generalized the operators for maps: from curly braces to any …
02/25/09:
- 21:00 Changeset [3491] by
- [Compiled1] Can compile CompilerBuiltin?.fss. Can compile simple functions …
- 20:31 Changeset [3490] by
- interpreter-native glue (not working yet), community metrics
- 17:59 Changeset [3489] by
- [Compiled1] Modifiers are ignored for generating bytecode for the run …
- 15:15 Changeset [3488] by
- [Compiled1] Can compile simple objects. Throw an exception with an …
- 13:43 Changeset [3487] by
- [Compiled1] Generates interface extension in Java bytecode for trait …
- 13:41 TypeCheckerProgress edited by
- (diff)
- 12:19 Changeset [3486] by
- [Compiled1] Can compile simple traits.
- 11:49 Changeset [3485] by
- Fixes to Block case of type checker.
- 11:17 Changeset [3484] by
- [Compiled1] Eliminated CanCompile?.java: the necessary checks are in …
- 10:53 Changeset [3483] by
- [Compiled1] Separated the cached directories of bytecode: bytecode_cache …
- 09:58 Changeset [3482] by
- [Compiled1] Eliminated MyClassLoader?.
- 09:18 Changeset [3481] by
- remove findClass from MyClassLoader?
- 08:08 Changeset [3480] by
- [cache] Moved the environment-related classes from the …
- 07:51 Changeset [3479] by
- Added FnDecl? case to TypeChecker?. Added more utility functions for lists …
- 07:08 Changeset [3478] by
- [tests] Syntax errors for the test files in the …
- 06:39 Changeset [3477] by
- [tests] Fixed the syntax error test files.
- 06:34 Changeset [3476] by
- [tests] Made it clear which error messages need to be improved in the …
02/24/09:
- 19:55 Changeset [3475] by
- [compiler library] Omitted the native modifier from the CompilerBuiltin? …
- 17:30 Changeset [3474] by
- [parser] Fixed the previous accidental change.
- 11:11 Changeset [3473] by
- Added some native types, and did some cleanups. We still can't import …
- 09:54 Changeset [3472] by
- [parser] Revising the macros grammar.
- 08:13 Changeset [3471] by
- duplicate
- 07:59 Changeset [3470] by
- [parser] Revising the macros grammar.
- 07:27 Changeset [3469] by
- Compiled4
02/23/09:
- 18:05 Ticket #269 (Grammar for static arguments does not handle the operator ...) closed by
- fixed: Fixed in r3468.
- 18:04 Changeset [3468] by
- [parser] Revised MayNewlineHeader?.rats. Closed Ticket #269.
- 12:21 Changeset [3467] by
- Added a components case to the Scala-based type checker. Added a new …
- 10:54 Ticket #241 (Check that each node constructor gets the right arguments.) closed by
- fixed: AST nodes do not have fields with default values any more. See more …
- 10:49 Ticket #301 (Body in api file yields "Syntax Error" message) closed by
- fixed: Fixed in r3466.
- 10:49 Changeset [3466] by
- [parser] Reports better syntax error messages for definitions in APIs. …
- 09:16 Ticket #309 (could we swap the generator and what we return in set notation?) closed by
- wontfix
- 09:12 Ticket #252 (Top-level _ declarations are allowed only in components not in ...) closed by
- fixed: Fixed in r3465.
- 09:12 Changeset [3465] by
- [parser] Declarations named '_' are allowed only at top-level in …
- 08:09 Ticket #250 (Field declarations in an API cannot have the var modifier.) closed by
- fixed: Fixed.
- 04:04 Changeset [3464] by
- [readme] Fixed the README file to reflect the new Fortress command for …
02/22/09:
- 20:40 Changeset [3463] by
- [nodes] add readme
- 18:52 Changeset [3462] by
- [branch] make a branch for the node interface experiment
- 14:10 Changeset [3461] by
- [parser] Improved span constructions for better source locations.
- 13:06 Changeset [3460] by
- [parser] Improved span constructions for better source locations
02/21/09:
- 15:54 Changeset [3459] by
- [parser] Revised the expressions grammar.
- 06:18 Changeset [3458] by
- Bits of work towards code generating stubs to native wrappers for the …
02/20/09:
- 18:46 Changeset [3457] by
- [parser] Revised the types grammar.
02/19/09:
- 18:43 Changeset [3456] by
- [parser] Revised the compilation units and declarations grammar.
- 14:17 Changeset [3455] by
- [script] Added a possibly useful autohoming line.
- 13:42 Changeset [3454] by
- [shell] Added the new shell command: fortress link ComponentName? [library] …
- 13:27 Changeset [3453] by
- [Compiled0] Eliminated the temporaryRun script for compiling/running …
- 12:01 Changeset [3452] by
- [shell] Renamed the shell command to run a Fortress file through the …
- 11:39 Changeset [3451] by
- [compiler tests] Added more compiler tests from Guy's email to the …
- 09:49 Changeset [3450] by
- [parser] Revised the literals and some expressions grammar.
02/18/09:
- 21:08 Changeset [3449] by
- [parser] Revised a half of the header clauses grammar.
- 20:29 Changeset [3448] by
- [Type Checker] Users can now switch between Scala and Java constraint …
- 17:23 Changeset [3447] by
- [Compiled1] Fixed the CompilerBuiltin? library for the Compiled1 task.
- 17:09 Changeset [3446] by
- [Compiled1] Fixed type checking traits extending Any.
- 14:28 Changeset [3445] by
- Updated CompilerBuiltin?
- 07:48 Changeset [3444] by
- [parser] Revised the methods grammar.
Note: See TracTimeline
for information about the timeline view.
