|
|
|
@2907
|
[2907]
|
10/03/08 13:51:41 |
jon |
[syntax] hygiene for if clause |
|
|
|
@2906
|
[2906]
|
10/03/08 13:46:37 |
jmaessen |
Formatting changes to FortressAstToConcrete? (plus necessary tweaks … |
|
|
|
@2905
|
[2905]
|
10/03/08 13:41:03 |
jon |
[syntax] hygiene for while loops |
|
|
|
@2891
|
[2891]
|
09/29/08 18:21:08 |
jon |
[syntax] actually update syntax environment for recently added cases. … |
|
|
|
@2889
|
[2889]
|
09/29/08 17:31:57 |
jon |
[syntax] rename catch variable |
|
|
|
@2888
|
[2888]
|
09/29/08 17:18:12 |
jon |
[syntax] rename typecase variables. add test for hygienic typecase |
|
|
|
@2883
|
[2883]
|
09/29/08 06:56:31 |
sukyoungryu |
[tests] Small fixes. |
|
|
|
@2881
|
[2881]
|
09/28/08 21:57:58 |
jon |
[tests] add a test for multiple labels |
|
|
|
@2868
|
[2868]
|
09/24/08 08:53:10 |
sukyoungryu |
[parser] Fixed parsing numerals according to the spec 1.0b. |
|
|
|
@2861
|
[2861]
|
09/22/08 13:27:54 |
jon |
[tests] fix syntax errors in syntax abstraction tests |
|
|
|
@2860
|
[2860]
|
09/22/08 13:13:17 |
jon |
[copyright] add copyrights |
|
|
|
@2858
|
[2858]
|
09/22/08 11:48:49 |
jon |
[tests] add syntax test that fails due to a lack of hygiene |
|
|
|
@2824
|
[2824]
|
09/15/08 11:55:26 |
sukyoungryu |
[unparser] Emit a space before type annotation to avoid syntax errors for … |
|
|
|
@2816
|
[2816]
|
09/13/08 06:46:16 |
sukyoungryu |
Modified static_tests/Multifix.fss to actually see which operator … |
|
|
|
@2788
|
[2788]
|
09/03/08 20:15:14 |
jon |
[tests] use new syntax for macro definition |
|
|
|
@2771
|
[2771]
|
08/28/08 14:56:44 |
ryanc |
[syntax abstraction]
removed ast type from extension syntax
added … |
|
|
|
@2748
|
[2748]
|
08/26/08 16:29:59 |
ryanc |
[syntax abstraction]
fixed warnings (dead imports, dead code, etc)
… |
|
|
|
@2731
|
[2731]
|
08/22/08 12:17:07 |
nbeckman |
[typechecker]
- Once we made VarTypes? work, it caused exceptions on … |
|
|
|
@2729
|
[2729]
|
08/22/08 09:07:18 |
ryanc |
[syntax] cleaned up preparser, indexes, exceptions, and tests
- … |
|
|
|
@2722
|
[2722]
|
08/21/08 13:25:18 |
nbeckman |
[typechecker]
- Implemented the VarType? cases in the type analyzer, … |
|
|
|
@2715
|
[2715]
|
08/21/08 09:53:03 |
nbeckman |
[typechecker,useful] Three changes:
- New class TypeCheckerOutput? will … |
|
|
|
@2709
|
[2709]
|
08/21/08 07:15:08 |
nbeckman |
[shadowing,bugfix] Issue: 152, This error is now caught, thanks to Eric's … |
|
|
|
@2703
|
[2703]
|
08/20/08 11:48:24 |
nbeckman |
[disambiguator] Fixed a problem with the disambiguator where objects that … |
|
|
|
@2701
|
[2701]
|
08/20/08 08:41:48 |
nbeckman |
[typechecker] Changed the typechecker so that the BuiltinTest?.fss works: … |
|
|
|
@2699
|
[2699]
|
08/20/08 07:37:12 |
nbeckman |
[disambiguator] This is a small change that enables static_tests/AsIf.fss … |
|
|
|
@2696
|
[2696]
|
08/19/08 15:26:37 |
sukyoungryu |
[unparser] Fixed printing annotations of internal types. |
|
|
|
@2693
|
[2693]
|
08/19/08 11:56:14 |
nbeckman |
[typechecker, bugfix] Fixed ticket 166 by typechecking constraints that … |
|
|
|
@2688
|
[2688]
|
08/19/08 09:59:23 |
nbeckman |
[typechecker] Changed generator clause post-inference typechecking so that … |
|
|
|
@2675
|
[2675]
|
08/18/08 12:43:58 |
nbeckman |
[typechecker] Replaced ImmutableHeapSequence? with ImmutableArray? inside … |
|
|
|
@2660
|
[2660]
|
08/16/08 11:40:39 |
nbeckman |
[disambiguator, tests, bugfix]
- This commit was primarily intended as a … |
|
|
|
@2658
|
[2658]
|
08/16/08 06:40:04 |
sukyoungryu |
[copyright] Fixed copyright notices. |
|
|
|
@2643
|
[2643]
|
08/14/08 18:54:54 |
sukyoungryu |
[tests] Worked around copyright notices issues with generated Fortress … |
|
|
|
@2640
|
[2640]
|
08/14/08 17:04:01 |
nbeckman |
[typechecker]
- Fixed a major bug in type inference where some inferred … |
|
|
|
@2636
|
[2636]
|
08/14/08 11:29:03 |
EricAllen |
Added more tests over shadowing detection. |
|
|
|
@2629
|
[2629]
|
08/13/08 17:16:15 |
sukyoungryu |
[tests] Synchronized test files. |
|
|
|
@2627
|
[2627]
|
08/13/08 14:11:37 |
nbeckman |
[typechecker] We now correctly infer static args of operator usages, and … |
|
|
|
@2620
|
[2620]
|
08/13/08 08:29:20 |
mspiegel |
[typechecking] Fixed static argument inference test to reflect changes to … |
|
|
|
@2613
|
[2613]
|
08/13/08 04:24:28 |
sukyoungryu |
[refactoring] Made the contract fields of some AST nodes optional so that … |
|
|
|
@2610
|
[2610]
|
08/12/08 16:42:27 |
nbeckman |
[typechecker] We now have a test that will check if the inferred Static … |
|
|
|
@2609
|
[2609]
|
08/12/08 15:40:14 |
EricAllen |
Turned on shadowing detection, after fixing remaining bugs in the detector … |
|
|
|
@2600
|
[2600]
|
08/12/08 09:50:58 |
nbeckman |
[typechecker] Inference variables should now be completely removed by the … |
|
|
|
@2586
|
[2586]
|
08/09/08 14:41:53 |
jon |
[syntax] fix tests to use new => syntax |
|
|
|
@2585
|
[2585]
|
08/09/08 04:11:42 |
sukyoungryu |
[copyright] Fixed copyright notices. |
|
|
|
@2581
|
[2581]
|
08/08/08 13:15:01 |
jon |
[merge] svn merge -r2557:HEAD … |
|
|
|
@2562
|
[2562]
|
08/07/08 08:14:35 |
sukyoungryu |
[desugarer] Cleaned up the visitor for the closure conversion. … |
|
|
|
@2554
|
[2554]
|
08/06/08 13:39:09 |
jon |
[unparser] fix the unparser for some syntax tests and new nodes |
|
|
|
@2553
|
[2553]
|
08/06/08 13:12:33 |
jon |
[merge] svn merge -r2487:HEAD … |
|
|
|
@2519
|
[2519]
|
08/04/08 10:48:06 |
jmaessen |
Fix shadowing problems in the libraries and tests. At this point … |
|
|
|
@2490
|
[2490]
|
08/01/08 10:44:23 |
jon |
[tool] ignore XXXwrongName in the unparser tests |
|
|
|
@2472
|
[2472]
|
07/31/08 14:11:36 |
nbeckman |
[test] Fixed the mondial.fss test. |
|
|
|
@2466
|
[2466]
|
07/31/08 13:05:03 |
nbeckman |
[typechecker] Typechecker now allows you to call methods on VarTypes? that … |
|
|
|
@2450
|
[2450]
|
07/30/08 20:30:03 |
jon |
[syntax] merge syntax branch to trunk. add support for nonterminal with … |
|
|
|
@2427
|
[2427]
|
07/29/08 15:49:08 |
nbeckman |
[typechecker] Fixed a problem with the findCycle method in … |
|
|
|
@2381
|
[2381]
|
07/26/08 08:36:05 |
sukyoungryu |
[tool] Added more cases in the Ast2Concrete tool.
[copyright] Fixed a … |
|
|
|
@2375
|
[2375]
|
07/25/08 12:00:47 |
nbeckman |
[typechecker] Fixed several problems with ObjectExpr? and Traits. Methods … |
|
|
|
@2371
|
[2371]
|
07/25/08 06:33:36 |
jon |
[tests] remove another syntax test |
|
|
|
@2369
|
[2369]
|
07/25/08 06:15:54 |
jon |
[tests] move tests that use syntax transformer expressions to the old … |
|
|
|
@2367
|
[2367]
|
07/24/08 21:36:48 |
EricAllen |
More extensions to automatic getter/setter generator.
Modifications to … |
|
|
|
@2299
|
[2299]
|
07/17/08 15:28:49 |
jrhil47 |
[TypeChecker?] Made sure that IntParams?, NatParams?, and BoolParams? can be … |
|
|
|
@2298
|
[2298]
|
07/17/08 14:19:40 |
jrhil47 |
[TypeChecker?] Fixed a bug where StaticTypeReplacer? would replace VarRefs? … |
|
|
|
@2296
|
[2296]
|
07/17/08 12:49:02 |
jrhil47 |
[TypeChecker?] Fixed problem where singleton objects from other components … |
|
|
|
@2294
|
[2294]
|
07/17/08 09:58:26 |
nbeckman |
[tests] The ImportLocalCollision?.fss test is broken. I am not sure what it … |
|
|
|
@2278
|
[2278]
|
07/16/08 05:19:04 |
jdn |
[Syntax] Automatic generatation of template gap nodes. This involved … |
|
|
|
@2263
|
[2263]
|
07/15/08 06:56:39 |
jmaessen |
IntLiteral? is now a subtype of ZZ32 (and thus of every other … |
|
|
|
@2252
|
[2252]
|
07/12/08 11:47:37 |
jon |
[syntax] rename passing tests |
|
|
|
@2250
|
[2250]
|
07/12/08 07:45:47 |
jon |
[syntax] rename api and component names to match filenames |
|
|
|
@2243
|
[2243]
|
07/11/08 12:12:05 |
nbeckman |
[typechecker] We now do a static test to make sure that objects and traits … |
|
|
|
@2236
|
[2236]
|
07/11/08 08:42:05 |
nbeckman |
[parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
|
|
|
@2211
|
[2211]
|
07/09/08 11:42:56 |
nbeckman |
[typechecker] We now insert inference variables into more places like … |
|
|
|
@2202
|
[2202]
|
07/08/08 14:31:54 |
jrhil47 |
[Typechecker] Removed a depreciated test |
|
|
|
@2201
|
[2201]
|
07/08/08 14:24:07 |
jrhil47 |
[TypeChecker?] Made sure all inference variable are bounded by Bottom and … |
|
|
|
@2199
|
[2199]
|
07/08/08 11:32:25 |
nbeckman |
[typechecker] New version of type inference works for most tests but not … |
|
|
|
@2183
|
[2183]
|
07/04/08 04:19:22 |
jdn |
[Syntax] changed so much I forgot why… |
|
|
|
@2181
|
[2181]
|
07/03/08 18:02:31 |
dr2chase |
[parser, environment] fixed bug with imported var/type names conflicting … |
|
|
|
@2163
|
[2163]
|
07/01/08 15:01:57 |
nbeckman |
[Disambiguator] There are a lot of changes in this revision.
- I found … |
|
|
|
@2136
|
[2136]
|
06/30/08 06:19:43 |
jon |
[syntax] replace field val with in_text |
|
|
|
@2124
|
[2124]
|
06/27/08 14:47:59 |
jon |
[syntax] explain why LooseJuxt? was renamed to LooseJuxt?1 |
|
|
|
@2123
|
[2123]
|
06/27/08 14:40:06 |
jon |
[syntax] Copy generated FortressAst?.fsi to Library/ directory. Fixed up … |
|
|
|
@2111
|
[2111]
|
06/27/08 03:25:27 |
sukyoungryu |
[copyright] Fixed copyright notices. |
|
|
|
@2110
|
[2110]
|
06/27/08 00:24:05 |
jdn |
[Syntax] Added the XML example to SyntaxAbstractionJUTestAll |
|
|
|
@2105
|
[2105]
|
06/26/08 12:49:29 |
nbeckman |
Fixed tests that were not passing. |
|
|
|
@2103
|
[2103]
|
06/26/08 11:55:01 |
nbeckman |
Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
|
|
|
@2095
|
[2095]
|
06/26/08 07:26:24 |
jdn |
[Syntax] New testcase |
|
|
|
@2091
|
[2091]
|
06/26/08 05:57:27 |
jdn |
[Syntax] Fixed testsyntax, renamed some files to indicate that they return … |
|
|
|
@2090
|
[2090]
|
06/26/08 05:30:19 |
jdn |
[Syntax] Typecheck of gap arguments. Handling of special symbols like TAB, … |
|
|
|
@2075
|
[2075]
|
06/25/08 03:36:56 |
jdn |
[Syntax] Propagated errors messages as far as I can take them, but they … |
|
|
|
@2074
|
[2074]
|
06/25/08 01:35:00 |
jdn |
[Syntax] Implemented Templatechecker which checks that the number and … |
|
|
|
@2056
|
[2056]
|
06/23/08 09:40:18 |
jon |
[regex] use CONTAINS and IN to test a strings presence in a regex set |
|
|
|
@2048
|
[2048]
|
06/22/08 06:50:32 |
sukyoungryu |
[copyright] Fixed copyright notices. |
|
|
|
@2036
|
[2036]
|
06/20/08 14:06:29 |
nbeckman |
Fixed the assignment case so that it uses field setters and the subscript … |
|
|
|
@2029
|
[2029]
|
06/20/08 08:30:36 |
jon |
[repository] use a graph-based repository that discovers dependancies in … |
|
|
|
@2017
|
[2017]
|
06/19/08 14:34:01 |
nbeckman |
I added _RewriteObjectRef to the AST. Sorry if this broke things for you. … |
|
|
|
@2014
|
[2014]
|
06/19/08 10:57:02 |
nbeckman |
Added Loose juxt. |
|
|
|
@2005
|
[2005]
|
06/18/08 15:34:58 |
nbeckman |
We changed several things to get ChainExpr? to work:
- We made ChainExpr?'s … |
|
|
|
@1990
|
[1990]
|
06/18/08 08:25:19 |
jon |
[regex] #{} escapes to normal fortress expressions |
|
|
|
@1988
|
[1988]
|
06/18/08 07:38:35 |
nbeckman |
Just finished checking SubscriptExpr?. Had to change the function … |
|
|
|
@1985
|
[1985]
|
06/18/08 07:19:25 |
jon |
[xml] rename Xml2 to Xml |
|
|
|
@1974
|
[1974]
|
06/17/08 14:04:18 |
jon |
[sql] start of sql syntax |
|
|
|
@1973
|
[1973]
|
06/17/08 13:42:42 |
nbeckman |
Made ArrayElements? work. |
|
|
|
@1968
|
[1968]
|
06/17/08 13:04:35 |
jon |
[regex] two more tests |
