|
|
|
@2941
|
[2941]
|
10/13/08 08:05:56 |
dr2chase |
[interpreter] added caching of rewritten AST |
|
|
|
@2935
|
[2935]
|
10/10/08 13:37:05 |
sukyoungryu |
[AST] Deleted obsolete nodes: AbsExternalSyntax? and ExternalSyntax? |
|
|
|
@2923
|
[2923]
|
10/08/08 13:01:08 |
dr2chase |
[interpreter] Renamed a class more accurately, checking in before reuse of … |
|
|
|
@2904
|
[2904]
|
10/03/08 10:39:55 |
dr2chase |
[interpreter/ast] minor temp hacks to permit better caching of modified … |
|
|
|
@2898
|
[2898]
|
10/02/08 10:31:28 |
dr2chase |
[ast] temporarily added a field to Component, so that interpreter … |
|
|
|
@2855
|
[2855]
|
09/21/08 19:49:55 |
sukyoungryu |
[parser] Cleanup |
|
|
|
@2843
|
[2843]
|
09/18/08 12:52:39 |
jrhil47 |
[TypeChecker?] Fixed the infinite loop in ConstaintFormula?.solve() that was … |
|
|
|
@2829
|
[2829]
|
09/16/08 10:06:16 |
sukyoungryu |
[language] Use 'outcome' instead of 'result' for an implicitly declared … |
|
|
|
@2826
|
[2826]
|
09/15/08 15:26:41 |
sukyoungryu |
[delete] Eliminated the transient modifier. |
|
|
|
@2771
|
[2771]
|
08/28/08 14:56:44 |
ryanc |
[syntax abstraction]
removed ast type from extension syntax
added … |
|
|
|
@2746
|
[2746]
|
08/26/08 13:08:19 |
ryanc |
[syntax abstractions]
removed TerminalDecls?
removed spurious … |
|
|
|
@2702
|
[2702]
|
08/20/08 10:51:06 |
sukyoungryu |
[disambiguator] Fixed handling typecase bindings in the shadow detector. … |
|
|
|
@2691
|
[2691]
|
08/19/08 11:41:54 |
jon |
[ast] special case ellipses levels because they can store Objects which … |
|
|
|
@2685
|
[2685]
|
08/18/08 20:03:30 |
sukyoungryu |
[cache] Don't delete cached files after running the Fortress programs. … |
|
|
|
@2670
|
[2670]
|
08/18/08 08:06:35 |
jon |
[syntax] support multiple levels of nesting by storing the depth along … |
|
|
|
@2664
|
[2664]
|
08/17/08 14:41:05 |
sukyoungryu |
[desugarer] Implemented setter desugaring. |
|
|
|
@2659
|
[2659]
|
08/16/08 09:11:38 |
sukyoungryu |
[desugarer] Cleaned up the getter desugaring: Varargs parameters of … |
|
|
|
@2640
|
[2640]
|
08/14/08 17:04:01 |
nbeckman |
[typechecker]
- Fixed a major bug in type inference where some inferred … |
|
|
|
@2627
|
[2627]
|
08/13/08 14:11:37 |
nbeckman |
[typechecker] We now correctly infer static args of operator usages, and … |
|
|
|
@2621
|
[2621]
|
08/13/08 09:03:03 |
sukyoungryu |
[refactoring] Made the where clause fields of some AST nodes optional so … |
|
|
|
@2613
|
[2613]
|
08/13/08 04:24:28 |
sukyoungryu |
[refactoring] Made the contract fields of some AST nodes optional so that … |
|
|
|
@2596
|
[2596]
|
08/11/08 16:24:57 |
sukyoungryu |
[ast] Renamed GetterSetter? to ImplicitGetterSetter?. |
|
|
|
@2594
|
[2594]
|
08/11/08 15:04:26 |
sukyoungryu |
[index builder] Fixed building object indices: now it handles modifiers of … |
|
|
|
@2591
|
[2591]
|
08/11/08 13:36:19 |
jrhil47 |
[AST] I added the node _rewriteInstantiatedFnRef |
|
|
|
@2581
|
[2581]
|
08/08/08 13:15:01 |
jon |
[merge] svn merge -r2557:HEAD … |
|
|
|
@2553
|
[2553]
|
08/06/08 13:12:33 |
jon |
[merge] svn merge -r2487:HEAD … |
|
|
|
@2501
|
[2501]
|
08/01/08 14:08:35 |
sukyoungryu |
[ast] Deleted an obsolete node: TransformerExpressionDef? |
|
|
|
@2498
|
[2498]
|
08/01/08 13:13:50 |
jrhil47 |
[AST] added an Option<Type> field to Expr |
|
|
|
@2484
|
[2484]
|
08/01/08 10:03:28 |
jon |
[syntax] add a node and syntax for propagating super non-terminals |
|
|
|
@2481
|
[2481]
|
08/01/08 08:54:43 |
mspiegel |
[overload rewriting] Began implementation of overload rewriting. This … |
|
|
|
@2474
|
[2474]
|
07/31/08 15:02:00 |
jon |
[syntax] make CurriedTransformer? an inner class of the Transform class |
|
|
|
@2464
|
[2464]
|
07/31/08 13:02:01 |
sukyoungryu |
[tool] ast->concrete: handle a new node |
|
|
|
@2463
|
[2463]
|
07/31/08 12:55:31 |
dr2chase |
[ast] corrected name of added node to reflect creation during rewriting |
|
|
|
@2461
|
[2461]
|
07/31/08 12:52:19 |
dr2chase |
[interpreter] modified environment-builders to initialize APIs directly … |
|
|
|
@2450
|
[2450]
|
07/30/08 20:30:03 |
jon |
[syntax] merge syntax branch to trunk. add support for nonterminal with … |
|
|
|
@2448
|
[2448]
|
07/30/08 15:53:23 |
jrhil47 |
[TypeChecker?] Changed OpArgs? to contain an OpRef? and turned off … |
|
|
|
@2446
|
[2446]
|
07/30/08 15:03:33 |
sukyoungryu |
[tool] ast->concrete: more fixes |
|
|
|
@2429
|
[2429]
|
07/29/08 17:02:00 |
sukyoungryu |
[tool] ast->concrete: Covered every node. |
|
|
|
@2415
|
[2415]
|
07/29/08 07:57:59 |
sukyoungryu |
[tool] ast->concrete fixed and added more nodes |
|
|
|
@2405
|
[2405]
|
07/28/08 20:20:58 |
sukyoungryu |
[tool] Fixed arrays and also do. |
|
|
|
@2390
|
[2390]
|
07/27/08 05:49:51 |
sukyoungryu |
[tool] ast->concrete, more nodes |
|
|
|
@2366
|
[2366]
|
07/24/08 20:53:47 |
sukyoungryu |
[tool] Revising a tool to convert AST to concrete syntax. |
|
|
|
@2312
|
[2312]
|
07/19/08 03:35:34 |
sukyoungryu |
[error message] Added more user-friendly error messages for AST nodes … |
|
|
|
@2278
|
[2278]
|
07/16/08 05:19:04 |
jdn |
[Syntax] Automatic generatation of template gap nodes. This involved … |
|
|
|
@2261
|
[2261]
|
07/14/08 14:34:59 |
dlsmith |
Updated ASTGen. Includes additional options for visitor generation and … |
|
|
|
@2255
|
[2255]
|
07/12/08 21:15:45 |
skilpat |
[utility] More info in astgen/lookup.py help output. |
|
|
|
@2254
|
[2254]
|
07/12/08 19:03:09 |
skilpat |
[utility] Updated astgen/lookup.py to optionally perform case insensitive … |
|
|
|
@2253
|
[2253]
|
07/12/08 18:12:51 |
skilpat |
[utility] Added astgen/lookup.py, which is a utility script for printing … |
|
|
|
@2236
|
[2236]
|
07/11/08 08:42:05 |
nbeckman |
[parser, typechecker] Added new node AmbiguousMultifixOpExpr? which is what … |
|
|
|
@2229
|
[2229]
|
07/10/08 11:23:23 |
dr2chase |
Change to Fortress.ast, missed from previous commit |
|
|
|
@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 … |
|
|
|
@2170
|
[2170]
|
07/03/08 09:02:42 |
jon |
[ast] add ellipses node explicitly for syntax abstraction |
|
|
|
@2109
|
[2109]
|
06/26/08 22:14:09 |
sukyoungryu |
[ast] Renamed InferenceVarType? to _InferenceVarType. |
|
|
|
@2104
|
[2104]
|
06/26/08 12:09:17 |
jon |
[ast] rename LHS -> Lhs. this makes generating FortressAst?.fsi easier |
|
|
|
@2103
|
[2103]
|
06/26/08 11:55:01 |
nbeckman |
Added InfixJuxt? and MultiJuxt? OpRefs? to MathPrimary?. Added OpRef? to … |
|
|
|
@2096
|
[2096]
|
06/26/08 08:04:51 |
dr2chase |
Added probe of FORTRESS_REPOSITORY/fortress.repository for repository … |
|
|
|
@2090
|
[2090]
|
06/26/08 05:30:19 |
jdn |
[Syntax] Typecheck of gap arguments. Handling of special symbols like TAB, … |
|
|
|
@2083
|
[2083]
|
06/25/08 09:15:59 |
jon |
[astgen] change path nodes_astgen_generators to astgen |
|
|
|
@2077
|
[2077]
|
06/25/08 07:16:15 |
jon |
[astgen] need a relative path for build directory |
|
|
|
@2076
|
[2076]
|
06/25/08 07:06:22 |
jon |
[astgen] add generator to create FortressAst?.fs{i,s} from Fortress.ast |
|
|
|
@2074
|
[2074]
|
06/25/08 01:35:00 |
jdn |
[Syntax] Implemented Templatechecker which checks that the number and … |
|
|
|
@2072
|
[2072]
|
06/24/08 20:33:48 |
dlsmith |
Updated ASTGen with improved support for custom extensions. Related bug … |
|
|
|
@2069
|
[2069]
|
06/24/08 17:53:40 |
sukyoungryu |
[ast] The interface Node does not have a default value for the span field … |
|
|
|
@2066
|
[2066]
|
06/24/08 11:45:17 |
sukyoungryu |
[ast] Operator static argument may not be parenthesized. |
|
|
|
@2065
|
[2065]
|
06/24/08 11:19:29 |
jon |
[ast] replace Pair<Id,Id> in NonterminalHeader? with a new node, … |
|
|
|
@2061
|
[2061]
|
06/23/08 12:48:57 |
nbeckman |
Added OpRef?, EQ, and IN to caseexpr |
|
|
|
@2054
|
[2054]
|
06/23/08 08:17:33 |
dr2chase |
Added lexical nesting depth annotation to various ...Ref nodes |
|
|
|
@2022
|
[2022]
|
06/19/08 18:16:57 |
sukyoungryu |
[astgen] Deleted a node: FieldRefForSure? |
|
|
|
@2019
|
[2019]
|
06/19/08 15:26:30 |
nbeckman |
I replaced the Op in Assignment with an OpRef? so that it could be … |
|
|
|
@2017
|
[2017]
|
06/19/08 14:34:01 |
nbeckman |
I added _RewriteObjectRef to the AST. Sorry if this broke things for you. … |
|
|
|
@2009
|
[2009]
|
06/18/08 20:05:39 |
sukyoungryu |
[astgen] Changed the Typecase node so that AST nodes do not use the Pair … |
|
|
|
@1997
|
[1997]
|
06/18/08 11:07:36 |
dlsmith |
Updated ASTGen with support for PLT tuple classes and custom code … |
|
|
|
@1993
|
[1993]
|
06/18/08 09:37:53 |
nbeckman |
Eric and I changed the ChainExpr? node of the ast and created a new node … |
|
|
|
@1944
|
[1944]
|
06/16/08 12:50:22 |
sukyoungryu |
[astgen] Revised ChainExpr?: ChainExpr?(Expr first, List<Pair<OpRef?, Expr>> … |
|
|
|
@1940
|
[1940]
|
06/16/08 10:07:40 |
sukyoungryu |
[astgen] Added some Fortress examples in comments to Fortress.ast. |
|
|
|
@1925
|
[1925]
|
06/15/08 07:29:13 |
dr2chase |
Fixed interpreter to tolerate pre-running of disambiguator; hacked Syntax … |
|
|
|
@1910
|
[1910]
|
06/13/08 09:17:32 |
sukyoungryu |
[astgen] Added originalName fields to FnRef? and OpRef?. |
|
|
|
@1907
|
[1907]
|
06/13/08 07:38:58 |
jdn |
[Syntax] Factored gaps out of the Core Fortress parser and into the … |
|
|
|
@1899
|
[1899]
|
06/13/08 04:26:47 |
jdn |
[Syntax] |
|
|
|
@1889
|
[1889]
|
06/12/08 14:22:40 |
jon |
[merge] merged the syntax branch -r1752:1883 to trunk |
|
|
|
@1884
|
[1884]
|
06/12/08 12:34:04 |
sukyoungryu |
[astgen] Replaced one OpRef? field of a Juxt node with two OpRef? fields: … |
|
|
|
@1878
|
[1878]
|
06/12/08 08:41:26 |
sukyoungryu |
[astgen] Added a new node: _RewriteFnApp(Expr function, Expr argument). … |
|
|
|
@1849
|
[1849]
|
06/11/08 05:03:58 |
jdn |
[Syntax] Implemented a first step for a general strategy for parsing of … |
|
|
|
@1758
|
[1758]
|
05/31/08 11:43:11 |
sukyoungryu |
[astgen] TraitType? has no static arguments by default. |
|
|
|
@1718
|
[1718]
|
05/27/08 04:32:30 |
jdn |
added type annotations to syntactic abstractions |
|
|
|
@1707
|
[1707]
|
05/23/08 18:57:34 |
sukyoungryu |
APIs do not have the native modifier. |
|
|
|
@1677
|
[1677]
|
05/20/08 04:15:54 |
jdn |
Added spans in a multitude of places, now the generated code comes with … |
|
|
|
@1661
|
[1661]
|
05/16/08 07:36:44 |
sukyoungryu |
Moved Domain out of the Type hierarchy. |
|
|
|
@1657
|
[1657]
|
05/15/08 15:00:53 |
dlsmith |
Wrapped the throws clause in Effects in an Option in order to distinguish … |
|
|
|
@1656
|
[1656]
|
05/15/08 13:46:21 |
dlsmith |
Converted intersection and union types from the binary AndType/OrType? … |
|
|
|
@1649
|
[1649]
|
05/14/08 20:17:21 |
dlsmith |
Restructured ArrowTypes?. Keyword args in "tuples" are brought back by the … |
|
|
|
@1636
|
[1636]
|
05/13/08 09:51:08 |
sukyoungryu |
1. Subscripting operator applications may have explicit static arguments. … |
|
|
|
@1629
|
[1629]
|
05/12/08 17:10:42 |
dlsmith |
Simplified ArgType?: varargs is just a Type (it can never be … |
|
|
|
@1627
|
[1627]
|
05/12/08 14:09:45 |
dlsmith |
Eliminated VarargsType?, which means there's no level of indirection to get … |
|
|
|
@1620
|
[1620]
|
05/12/08 11:54:42 |
dlsmith |
Simple Type AST refactorings: renamed IdType?->VarType?, … |
|
|
|
@1585
|
[1585]
|
05/06/08 12:48:20 |
dlsmith |
Adjusted parser to support parenthesized OpArgs?. Performed the following … |
|
|
|
@1584
|
[1584]
|
05/06/08 09:43:02 |
dlsmith |
Documented (some) use cases of Id and other names in which the relevant … |
|
|
|
@1577
|
[1577]
|
05/05/08 19:40:53 |
sukyoungryu |
Eliminated QualifiedName? and QualifiedIdName?. |
|
|
|
@1576
|
[1576]
|
05/05/08 18:53:34 |
sukyoungryu |
Replaced QualifiedIdName? for NamedType? (IdType? and InstantiatedType?) with … |
