|
|
|
@4300
|
[4300]
|
3 weeks |
jmaessen |
[codegen, typechecking] Single inheritance of methods. Uses java …
|
|
|
|
@4298
|
[4298]
|
4 weeks |
jmaessen |
[testing] This file proves that Compiled5.bf.fss wasn't *really* …
|
|
|
|
@4297
|
[4297]
|
4 weeks |
sukyoungryu |
[spec] Added the Expressions chapter.
|
|
|
|
@4296
|
[4296]
|
4 weeks |
dr2chase |
Looks like a fix for the interpreter; cleanup of compiler phase structure; …
|
|
|
|
@4295
|
[4295]
|
4 weeks |
sukyoungryu |
[spec] Added some sections in the Expressions chapter.
|
|
|
|
@4294
|
[4294]
|
4 weeks |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@4293
|
[4293]
|
4 weeks |
sukyoungryu |
[scala util] Scala code now use TypeAnalyzer? in Scala instead of one in …
|
|
|
|
@4292
|
[4292]
|
4 weeks |
sukyoungryu |
[self type idiom] Added another self-type idiom test.
[overloading …
|
|
|
|
@4291
|
[4291]
|
4 weeks |
dr2chase |
Unambiguous names enabled -- stack traces may look vile.
|
|
|
|
@4290
|
[4290]
|
4 weeks |
chf |
small prettifications
|
|
|
|
@4289
|
[4289]
|
4 weeks |
sukyoungryu |
[types util] Fixed the inheritedMethods to handle method overriding. …
|
|
|
|
@4288
|
[4288]
|
4 weeks |
chf |
Removing unused error rates
|
|
|
|
@4287
|
[4287]
|
4 weeks |
chf |
birdcount0
|
|
|
|
@4286
|
[4286]
|
4 weeks |
sukyoungryu |
[self type idiom] Added more tests.
[type checker] Moved the …
|
|
|
|
@4285
|
[4285]
|
5 weeks |
jrhil47 |
[Constraint Formulas] Made scala constraints normalize types. Decoupled …
|
|
|
|
@4283
|
[4283]
|
5 weeks |
jmaessen |
[codegen] Refactored forwarding method generation into …
|
|
|
|
@4281
|
[4281]
|
5 weeks |
sukyoungryu |
[type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only …
|
|
|
|
@4280
|
[4280]
|
5 weeks |
jrhil47 |
[AST] Made the throws clause allow types that are not base types.
|
|
|
|
@4279
|
[4279]
|
5 weeks |
sukyoungryu |
[self type idiom] Implemented checking of whether a type mentioned in a …
|
|
|
|
@4278
|
[4278]
|
5 weeks |
jrhil47 |
[TypeAnalyzer?] cleaned up reduce product
|
|
|
|
@4277
|
[4277]
|
5 weeks |
sukyoungryu |
[self type idiom] A trait with a comprises ... should not be extended. …
|
|
|
|
@4276
|
[4276]
|
5 weeks |
jrhil47 |
[Type Analyzer] Fixed an infinite loop due to forgetting to return True …
|
|
|
|
@4275
|
[4275]
|
5 weeks |
sukyoungryu |
[self type idiom] Implemented the new self-type idiom proposal.
|
|
|
|
@4274
|
[4274]
|
5 weeks |
skilpat |
[type checker] Fixed bug that prevented expected types from propagating in …
|
|
|
|
@4273
|
[4273]
|
5 weeks |
jmaessen |
[library, tests] Added simple Treap library that is non-parametric in
the …
|
|
|
|
@4272
|
[4272]
|
5 weeks |
jmaessen |
[library] Added randomness (courtesy the jsr166y ThreadLocalRandom?) to …
|
|
|
|
@4270
|
[4270]
|
5 weeks |
jrhil47 |
[TypeAnalyzer?] Added code to tell when two types cover the same tags.
|
|
|
|
@4267
|
[4267]
|
5 weeks |
jrhil47 |
[Type Analyzer] Fixed the way that union and intersections interact with …
|
|
|
|
@4262
|
[4262]
|
6 weeks |
dr2chase |
Minor fix required to at least compile (incorrectly) Compiled11
|
|
|
|
@4261
|
[4261]
|
6 weeks |
sukyoungryu |
[index builder] Fixed handling the new self type in IndexBuilder?.
|
|
|
|
@4260
|
[4260]
|
6 weeks |
sukyoungryu |
[interpreter] Hacked handling of intersection types and union types in the …
|
|
|
|
@4259
|
[4259]
|
6 weeks |
sukyoungryu |
[self-type idiom] Implemented the new self type. Rewrote …
|
|
|
|
@4258
|
[4258]
|
6 weeks |
jrhil47 |
[Type analyzer] Fixed a bug in normalization.
|
|
|
|
@4257
|
[4257]
|
6 weeks |
jmaessen |
[library] Made some methods abstract, mostly generator-y stuff in …
|
|
|
|
@4256
|
[4256]
|
6 weeks |
jmaessen |
[testing] Remove any file (like, say, Compiled10) from here if we
actually …
|
|
|
|
@4255
|
[4255]
|
6 weeks |
jmaessen |
[testing] Fixed the bug in Compiled10 so that it now works! Added
some …
|
|
|
|
@4254
|
[4254]
|
6 weeks |
jmaessen |
[testing] eliminate printlnZZ32 in favor of overloaded println. This …
|
|
|
|
@4253
|
[4253]
|
6 weeks |
dr2chase |
Turned off noisy code generation for function expansion flag
|
|
|
|
@4252
|
[4252]
|
6 weeks |
dr2chase |
Generic function instantiation working; chain-equality not working
|
|
|
|
@4251
|
[4251]
|
6 weeks |
jrhil47 |
[Type Analyzer] Turned on the new type analyzer.
|
|
|
|
@4250
|
[4250]
|
6 weeks |
jmaessen |
[testing] Pruned redundant tests, renamed abstract dotted method tests
for …
|
|
|
|
@4249
|
[4249]
|
6 weeks |
jmaessen |
[testing] Moved thorough tests of abstract dotted methods into
mainline of …
|
|
|
|
@4248
|
[4248]
|
6 weeks |
jmaessen |
[codegen] Abstract dotted methods in trait declarations, first cut.
|
|
|
|
@4247
|
[4247]
|
6 weeks |
dr2chase |
Generics now instantiate with Java type names, not Fortress type names
|
|
|
|
@4246
|
[4246]
|
6 weeks |
jmaessen |
[codegen] Refactoring of FnDecl? code generation, preparing support for …
|
|
|
|
@4245
|
[4245]
|
6 weeks |
jrhil47 |
[Type analyzer] Updated the type lattice to normalize using …
|
|
|
|
@4244
|
[4244]
|
6 weeks |
dr2chase |
Changed to single-level mangling; slightly rationalized naming of internal …
|
|
|
|
@4242
|
[4242]
|
7 weeks |
sukyoungryu |
[copyright] Fixed copyright notices.
|
|
|
|
@4241
|
[4241]
|
7 weeks |
skilpat |
[coercions] More accurate overloadings for coercion invocation FnRefs.
|
|
|
|
@4240
|
[4240]
|
7 weeks |
EricAllen |
Added abstract method tests.
|
|
|
|
@4239
|
[4239]
|
7 weeks |
EricAllen |
Added overriding tests.
|
|
|
|
@4238
|
[4238]
|
7 weeks |
jmaessen |
[compiler] Put new ChainExpr? desugaring in place. Needed some minor …
|
|
|
|
@4236
|
[4236]
|
7 weeks |
dr2chase |
Tweaked encoding of closures and generics
|
|
|
|
@4235
|
[4235]
|
7 weeks |
jrhil47 |
[Type Checker] New type analyzer (Not turned on yet). A test framework for …
|
|
|
|
@4234
|
[4234]
|
7 weeks |
jmaessen |
[codegen, library] Consolidated all generator-related mockups into …
|
|
|
|
@4233
|
[4233]
|
7 weeks |
dr2chase |
New mangling methods and tests
|
|
|
|
@4231
|
[4231]
|
7 weeks |
jmaessen |
[testing] Test that exhibits a bug in naming that causes type checking
to …
|
|
|
|
@4229
|
[4229]
|
7 weeks |
jmaessen |
[codegen] Parallel evaluation of tuple expressions in binding position …
|
|
|
|
@4228
|
[4228]
|
7 weeks |
dr2chase |
Additional cleanup (mostly making methods private, deprecating suspect …
|
|
|
|
@4227
|
[4227]
|
7 weeks |
jmaessen |
[codegen] multiple value definitions in code---but only if the rhs is
a …
|
|
|
|
@4225
|
[4225]
|
7 weeks |
sukyoungryu |
[type checker] Implemented type checking of contracts and fixed type …
|
|
|
|
@4224
|
[4224]
|
7 weeks |
jmaessen |
Minor tweaks cleaning up after debug session.
|
|
|
|
@4223
|
[4223]
|
7 weeks |
sukyoungryu |
[Compiled9] Compiled9 is done.
|
|
|
|
@4222
|
[4222]
|
7 weeks |
dr2chase |
Another missing file
|
|
|
|
@4221
|
[4221]
|
7 weeks |
skilpat |
[coercions] Fixed coercion desugarer to include return types on FnExprs …
|
|
|
|
@4220
|
[4220]
|
7 weeks |
dr2chase |
Missing class from last commit
|
|
|
|
@4219
|
[4219]
|
7 weeks |
skilpat |
[type checker] Overloadings are no longer dynamically applicable if they …
|
|
|
|
@4218
|
[4218]
|
7 weeks |
dr2chase |
Some steps towards Compiled10, but also some cleanups in anticipation of …
|
|
|
|
@4217
|
[4217]
|
7 weeks |
skilpat |
[type checker] Fixed type checking of applications involving a method with …
|
|
|
|
@4216
|
[4216]
|
7 weeks |
sukyoungryu |
[type checker] Implemented type checking of array expressions. Tested by …
|
|
|
|
@4215
|
[4215]
|
8 weeks |
skilpat |
[type checker] Fixed error message issue preventing CaseExpr from being …
|
|
|
|
@4214
|
[4214]
|
8 weeks |
sukyoungryu |
[type checker] Implemented type checking of case expressions. It should …
|
|
|
|
@4213
|
[4213]
|
8 weeks |
sukyoungryu |
[Compiled9] Removed tuples from Compiled9.fss. Renamed Compiled9.fss to …
|
|
|
|
@4212
|
[4212]
|
8 weeks |
sukyoungryu |
[Compiled9] Made the Compiled9.CompiledCoercions? test actually run the …
|
|
|
|
@4211
|
[4211]
|
8 weeks |
skilpat |
[coercions] Added lifting of coercion declarations and definitions!! (Look …
|
|
|
|
@4210
|
[4210]
|
8 weeks |
skilpat |
[coercions] Fixed coercion invocation functions. Canonicalized lifted …
|
|
|
|
@4209
|
[4209]
|
8 weeks |
EricAllen |
Added overriding tests.
|
|
|
|
@4208
|
[4208]
|
8 weeks |
jmaessen |
[tests] Tweaked Compiled11 to be type correct, made sure type checker
is …
|
|
|
|
@4207
|
[4207]
|
8 weeks |
jmaessen |
[rts] Tweak thread thresholds, fix join/helpJoin distinction based on
more …
|
|
|
|
@4206
|
[4206]
|
2 months |
EricAllen |
Added simple overriding test.
|
|
|
|
@4205
|
[4205]
|
2 months |
jmaessen |
[codegen] Complete rewrite of top-level binding handling.
Previously top …
|
|
|
|
@4204
|
[4204]
|
2 months |
sukyoungryu |
[type checker] Implemented type checking of 'try' and 'throw'. Added …
|
|
|
|
@4203
|
[4203]
|
2 months |
jmaessen |
[codegen, rts] Fixes to top-level bindings to handle parallelism found …
|
|
|
|
@4201
|
[4201]
|
2 months |
skilpat |
[coercions] Added CoercionLifter to move coercion declarations to …
|
|
|
|
@4200
|
[4200]
|
2 months |
EricAllen |
Added some inheritance tests.
|
|
|
|
@4198
|
[4198]
|
2 months |
sukyoungryu |
[static checker] Fixed static checks for comprises clauses with generic …
|
|
|
|
@4197
|
[4197]
|
2 months |
EricAllen |
Added more tests for fields and field accesses.
|
|
|
|
@4196
|
[4196]
|
2 months |
skilpat |
[desugarer] Fixed some spans in the desugarers. Wrote a corrected …
|
|
|
|
@4195
|
[4195]
|
2 months |
jmaessen |
[library] Use getters in compiled code (and fix up some getter references …
|
|
|
|
@4194
|
[4194]
|
2 months |
jmaessen |
Make most fields final by default.
|
|
|
|
@4193
|
[4193]
|
2 months |
jmaessen |
[codegen] cross-component references to top-level variables.
|
|
|
|
@4192
|
[4192]
|
2 months |
sukyoungryu |
[environment] Fixed handling of operators with different fixities as …
|
|
|
|
@4191
|
[4191]
|
2 months |
skilpat |
[desugarer] Added ChainExprDesugarer after type checking. All …
|
|
|
|
@4190
|
[4190]
|
2 months |
sukyoungryu |
[environment] Reverted changes in r4187.
|
|
|
|
@4189
|
[4189]
|
2 months |
sukyoungryu |
[tests] Tests refactoring.
|
|
|
|
@4188
|
[4188]
|
2 months |
sukyoungryu |
[tests] Fixed a .test file to include 'link'. Added a .test file for the …
|
|
|
|
@4187
|
[4187]
|
2 months |
sukyoungryu |
[static checker] Implemented static checks for operator imports. Fixed …
|
|
|
|
@4186
|
[4186]
|
2 months |
sukyoungryu |
[type checker] Implemented type checking of label and exit expressions. …
|
|
|
|
@4185
|
[4185]
|
2 months |
sukyoungryu |
[ast] Replaced List<Expr> with Block for the body of LetExpr?.
|
|
|
|
@4184
|
[4184]
|
2 months |
sukyoungryu |
[test] Moved one static test from not_working_static_tests/ to …
|
|
|
|
