Timeline
02/01/08:
- 21:30 Changeset [1251] by
- With static analysis turned on, syntax expansion now works; actual …
- 20:16 Changeset [1250] by
- Improved the types language.
- 15:59 Changeset [1249] by
- Made several demos pass static checking. Only tennisRanking remains, see …
- 14:26 Ticket #65 (Don't give shadowing error for multiple uses of _) created by
- Static analysis rejects tennisRanking.fss because of lines of the …
- 11:32 Changeset [1248] by
- Fixed copyright
- 08:09 Changeset [1247] by
- Fixed some [but not all] static analysis rejections. The remainder will …
- 07:03 Changeset [1246] by
- Centralizing and sanitizing cache paths
- 04:08 Changeset [1245] by
- Fixed some copyright notices.
01/31/08:
- 18:50 Changeset [1244] by
- commented out generic type information
- 17:31 Changeset [1243] by
- 17:29 Changeset [1242] by
- 16:16 Changeset [1241] by
- Fixed some static errors in the example programs and libraries.
- 15:46 Changeset [1240] by
- New keyword: native
- 14:31 Changeset [1239] by
- Tons of random changes to library, including final depracation of …
- 11:44 Changeset [1238] by
- Integrated, but switched off so we still pass unit tests
- 09:10 Changeset [1237] by
- Fixed a bug in checking matching multicharacter enclosing operators.
- 08:47 Changeset [1236] by
- nonterminal disambiguation in items
- 07:53 Ticket #64 (interp does not work) created by
- After successful build and test, I am unable to run fortress. $ …
01/30/08:
- 20:49 Changeset [1235] by
- Prefix operators have higher precedence than any operator listed below. …
- 15:37 Changeset [1234] by
- Added type checking of trait definitions. Added switch to static checker …
- 13:27 Changeset [1233] by
- Implemented nonassociative operators.
- 12:17 Changeset [1232] by
- asif now works. Lots of code cleanup to the function application code, …
- 08:49 Changeset [1231] by
- Added a check to make sure that every operator in operator applications …
- 07:44 Ticket #63 (asif does not work on comprehensions or other accumulator bodies) created by
- It looks like the following ought to generate a List[\Foo\]: […] …
- 03:32 Changeset [1230] by
- Fixed a copyright notice.
01/29/08:
- 19:14 Changeset [1229] by
- Added fixity information to Op nodes.
- 18:34 Changeset [1228] by
- Cleaning up the operator fixity information in AST nodes. (work in …
- 17:27 Changeset [1227] by
- Added OpRef? to represent an operator reference maybe with static …
- 15:22 Changeset [1226] by
- Implemented type checking method for top-level object declarations. Added …
- 12:45 Changeset [1225] by
- Hooked analysis into 'fss run FooBar?' -- interpreter doesn't work yet
- 10:27 Changeset [1224] by
- Back to better caching, but without the endless recursion
- 09:40 Changeset [1223] by
- Added where clause environments. Added some cases to the type checker; …
- 04:09 Changeset [1222] by
- Backing old out change that caused stack overflow failure
01/28/08:
- 18:11 Changeset [1221] by
- Reversing accidental commit of test-that-should-fail
- 18:10 Changeset [1220] by
- Made the caching of interfaces used by the syntax transformer smarter; …
- 17:43 Changeset [1219] by
- Tried adding an explicit order for APIs, in hopes of breaking recursion …
- 13:24 Changeset [1218] by
- Made the caching of interfaces used by the syntax transformer smarter; …
- 11:29 Changeset [1217] by
- Modified GlobalEnv? to allow on-demand loading of APIs
- 05:48 Changeset [1216] by
- Added some timing code, to show just how slow this stuff runs in the …
- 04:06 Changeset [1215] by
- Fixed a copyright notice.
01/27/08:
- 13:59 Changeset [1214] by
- Implemented the revised syntax and semantics of typecase bindings.
- 10:57 FortressStartHere edited by
- The command "sudo apt-get install ant-optional" worked on Ubuntu 7.10 (diff)
01/26/08:
- 18:07 Changeset [1213] by
- Fixed a stack overflow problem in parsing Unicode.rats on Solaris.
- 15:43 Changeset [1212] by
- Implemented parsing of dimension types with unit expressions.
- 06:25 Changeset [1211] by
- Eliminated race condition, and better compartmentalized updates to cands …
01/25/08:
- 23:28 Changeset [1210] by
- Revised the types and dimensions syntax and implemented their parsing.
- 17:10 Changeset [1209] by
- method to validate identifiers
- 12:42 Changeset [1208] by
- Fix for bug in Java 5 on Solaris
- 11:59 Changeset [1207] by
- Fix for bug in Java 5 on Solaris
- 11:54 Ticket #7 (Cannot overload equality across a module boundary) closed by
- worksforme: This has been working reasonably for a while now. I think we've ironed …
- 11:48 Changeset [1206] by
- Commented-out fix for bug #62, along with test case. Does not affect …
- 11:37 Ticket #62 (Type inference for single-argument polymorphic functions at () and tuple ...) created by
- At () and tuple types, type inference for single-argument polymorphic …
- 11:27 Changeset [1205] by
- Test showing workaround to lack of boolean filters in comprehensions.
- 11:24 Ticket #59 (Make boolean guards work) closed by
- duplicate: Duplicates #38
- 11:22 Ticket #34 (Implement type inference for constructor applications) closed by
- worksforme: Appears to work modulo bugs in type inference, which destabilize things …
- 07:22 Changeset [1204] by
- Reasonably efficient aStar implementation. Solves one square at a time …
- 06:52 Changeset [1203] by
- Updated comments to reflect reality.
01/24/08:
- 18:22 Changeset [1202] by
- Bug fixed and refactorings in the syntax abstrations
- 15:46 Changeset [1201] by
- Added constraints field for TypeCheckerResults?. Modified some for- methods …
- 14:27 Changeset [1200] by
- Some A* changes, plus a bug fix (bad type information given) in …
- 13:10 Changeset [1199] by
- Split TypeAnalyzer?.Env into a top level class: TraitTable?.
- 11:39 Changeset [1198] by
- Removed disabling comment on import; added implementation of API; split …
- 07:56 Changeset [1197] by
- Version with some more fixes. This hopefully ought to work, and is less …
- 04:05 Changeset [1196] by
- Fixed copyrights.
01/23/08:
- 21:57 Changeset [1195] by
- Fortress syntax
- 19:59 Changeset [1194] by
- Fix some bugs and plumb some types.
- 19:29 Changeset [1193] by
- A* search example (half-baked and deliberately inefficient to shake down …
- 18:04 Changeset [1192] by
- Desugaring escapes
- 17:46 Changeset [1191] by
- Desugaring escapes
- 15:46 Changeset [1190] by
- Implemented TypeAnalyzer?.Env, which lets the TypeAnalyzer? get handles on …
- 13:09 Changeset [1189] by
- Ooops, forgot to commit at the top level
- 12:40 Changeset [1188] by
- bin/fortress and unit tests now use the syntax transforming front end
- 10:29 Changeset [1187] by
- Deleted unused productions.
- 09:24 Changeset [1186] by
- Fixed copyrights
- 09:14 Changeset [1185] by
- Refactored FValue, FConstructedValue, Fcn, and FObject to make type …
01/22/08:
- 20:02 Changeset [1184] by
- Now implemented various symbols and new production syntax
- 14:19 Changeset [1183] by
- List and Set comprehensions. Caveat emptor: comprehensions whose result …
- 13:37 Ticket #61 (Empty comprehensions give bogus results) created by
- Consider the following comprehension: […] Rather than yielding a …
- 13:32 Ticket #60 (Ordering on sets and maps) created by
- See summary. For that matter, lists could use some of these operators as …
- 13:30 Ticket #59 (Make boolean guards work) created by
- Either by fixing desugaring or making Boolean a Generator. cf …
- 12:41 Changeset [1182] by
- Implemented the revised big enclosing operator declaration syntax.
- 11:45 Changeset [1181] by
- Implemented the native bit of a compilation unit.
01/21/08:
- 07:36 Changeset [1180] by
- Fixed some copyright notices.
01/19/08:
- 06:51 Changeset [1179] by
- Fixed a copyright notice.
- 06:40 Changeset [1178] by
- Fixed broken files.
01/18/08:
- 20:30 Changeset [1177] by
- ups one more file :)
- 20:29 Changeset [1176] by
- More syntax abstraction stuff
- 15:09 Changeset [1175] by
- Added more cases to the type checker. Added supporting facilities in …
- 11:33 Ticket #58 (Implement Map comprehensions) created by
- We're all ready to go; see …
- 11:30 Ticket #57 (Update ProjectStatus) created by
- The ProjectStatus page (and probably also the README) are terribly out of …
- 11:08 Changeset [1174] by
- Copyright updates
01/17/08:
- 14:54 Changeset [1173] by
- Renamed Types to TypeAnalyzer?; improved integration with type checker
- 12:06 Changeset [1172] by
- Syntax abstractions now ignores components which do not import apis with …
- 11:34 Ticket #41 (Make exponentiation intuitive) closed by
- fixed
- 11:31 Changeset [1171] by
- 1. It is a static error if a function argument is immediately followed by …
- 09:40 Changeset [1170] by
- 1. It is a static error if an exponentiation is immediately followed by a …
- 08:49 Changeset [1169] by
- 232 is now rejected as a static error.
- 07:53 Changeset [1168] by
- Updated Copyright Notices
01/16/08:
- 23:57 Ticket #56 (Explicitly specify java interpreter in trunk/bin/fortress) created by
- The trunk/bin/fortress script relies on the java interpreter found from …
- 14:58 Changeset [1167] by
- Fixed cache to be smarter about error messages and relative path names
- 08:25 Changeset [1166] by
- Added precise transitive batch caching FortressRepository?; used in unit …
01/15/08:
- 08:00 Changeset [1165] by
- Disambiguation of syntax abstractions
01/14/08:
- 22:03 Changeset [1164] by
- Implemented the revised tight juxtaposition rules and the revised syntax …
01/13/08:
- 17:16 Changeset [1163] by
- Removed spurious asArray() method.
- 17:14 Changeset [1162] by
- Copied "Depracated" comment across from List.fss. I'd like to make this …
01/11/08:
- 15:35 Changeset [1161] by
- Added initial subtyping/type inference code. A few modifications to the …
- 13:28 Changeset [1160] by
- Replaced Path with String so fss will work
01/10/08:
- 21:07 Changeset [1159] by
- Preparing for the revised tight juxtaposition rules
- 10:42 Changeset [1158] by
- Towards the revised tight juxtaposition rules.
01/08/08:
- 15:31 Changeset [1157] by
- Added more cases to the type checker. Added a Types class to hold static …
01/07/08:
- 18:10 Changeset [1156] by
- More example files in the spec.
- 14:02 Changeset [1155] by
- Added another type environment variant for handling declared function …
- 13:03 Changeset [1154] by
- Added the nolib attribute to the FortressTask?.
- 12:06 Changeset [1153] by
- Added library examples in the spec.
- 11:43 Ticket #55 ("fortress" executable script uses "egrep -q", unavailable on some ...) closed by
- fixed: Replace with "egrep CYGWIN > /dev/null"
- 11:33 Changeset [1152] by
- Small hack to work around a bug for now
- 11:17 Changeset [1151] by
- Fixed scripts for Solaris; fixed -nolib option of interpreter; add …
- 10:39 Changeset [1150] by
- Improved Test
01/05/08:
- 09:13 Changeset [1149] by
- Intepreter now runs from caching fortress repository; file names and …
01/04/08:
- 22:31 Changeset [1148] by
- Made the file names match the component names.
- 17:26 Changeset [1147] by
- Fixed parsing parallel blocks.
- 11:51 Ticket #55 ("fortress" executable script uses "egrep -q", unavailable on some ...) created by
- $FORTRESS_HOME/bin/fortress (a bash script) contains a line if (uname …
01/03/08:
- 20:11 Changeset [1146] by
- Library examples in the spec.
- 12:46 Changeset [1145] by
- Small change to transactional semantics
- 10:16 Changeset [1144] by
- Further static-interpreter integration
- 07:31 Changeset [1143] by
- This patch might fix the circular dependence bug in demos/Lambda on a …
01/02/08:
- 21:00 Changeset [1142] by
- New syntax for enclosing operators
- 12:26 Changeset [1141] by
- Modified interpreter to use FortressRepository? as source of trees
- 11:16 Changeset [1140] by
- ProjectFortress?/not_passing_yet/examples.fss is replaced by …
Note: See TracTimeline
for information about the timeline view.
