|
|
|
@4311
|
[4311]
|
3 weeks |
sukyoungryu |
[self type] Introduced SelfType? and its immediate subclasses, …
|
|
|
|
@4309
|
[4309]
|
3 weeks |
jmaessen |
[static checks] Fixed massive bugs in the AbstractMethodChecker
(tested …
|
|
|
|
@4305
|
[4305]
|
3 weeks |
jmaessen |
[codegen, testing] Tweaked ManglingClassWriter to try to recover …
|
|
|
|
@4304
|
[4304]
|
3 weeks |
sukyoungryu |
[abstract method checker] Replaced yet another copy of the old, wrong …
|
|
|
|
@4302
|
[4302]
|
3 weeks |
jmaessen |
[testing] failing test case for check that abstract methods are …
|
|
|
|
@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* …
|
|
|
|
@4292
|
[4292]
|
4 weeks |
sukyoungryu |
[self type idiom] Added another self-type idiom test.
[overloading …
|
|
|
|
@4286
|
[4286]
|
4 weeks |
sukyoungryu |
[self type idiom] Added more tests.
[type checker] Moved the …
|
|
|
|
@4281
|
[4281]
|
5 weeks |
sukyoungryu |
[type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only …
|
|
|
|
@4279
|
[4279]
|
5 weeks |
sukyoungryu |
[self type idiom] Implemented checking of whether a type mentioned in a …
|
|
|
|
@4277
|
[4277]
|
5 weeks |
sukyoungryu |
[self type idiom] A trait with a comprises ... should not be extended. …
|
|
|
|
@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 …
|
|
|
|
@4259
|
[4259]
|
6 weeks |
sukyoungryu |
[self-type idiom] Implemented the new self type. Rewrote …
|
|
|
|
@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 …
|
|
|
|
@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.
|
|
|
|
@4238
|
[4238]
|
7 weeks |
jmaessen |
[compiler] Put new ChainExpr? desugaring in place. Needed some minor …
|
|
|
|
@4234
|
[4234]
|
7 weeks |
jmaessen |
[codegen, library] Consolidated all generator-related mockups into …
|
|
|
|
@4231
|
[4231]
|
7 weeks |
jmaessen |
[testing] Test that exhibits a bug in naming that causes type checking
to …
|
|
|
|
@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 …
|
|
|
|
@4223
|
[4223]
|
7 weeks |
sukyoungryu |
[Compiled9] Compiled9 is done.
|
|
|
|
@4218
|
[4218]
|
7 weeks |
dr2chase |
Some steps towards Compiled10, but also some cleanups in anticipation of …
|
|
|
|
@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 …
|
|
|
|
@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 …
|
|
|
|
@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 …
|
|
|
|
@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.
|
|
|
|
@4195
|
[4195]
|
2 months |
jmaessen |
[library] Use getters in compiled code (and fix up some getter references …
|
|
|
|
@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 …
|
|
|
|
@4181
|
[4181]
|
2 months |
sukyoungryu |
[timing test] Turn off the timing test of Compiled5 again.
|
|
|
|
@4179
|
[4179]
|
2 months |
sukyoungryu |
[tests] Added more static tests.
|
|
|
|
@4178
|
[4178]
|
2 months |
sukyoungryu |
[tests] Moved 10 static tests from not_working_static_tests/ to …
|
|
|
|
@4176
|
[4176]
|
2 months |
sukyoungryu |
[tests] Turned on Compiled5.timing.
[Copyright] Fixed copyright notices.
|
|
|
|
@4174
|
[4174]
|
2 months |
jmaessen |
[tests] Instated true and false constants (no actual testing of them
in …
|
|
|
|
@4173
|
[4173]
|
2 months |
dr2chase |
Safe checkin, working towards generics, need a fresh checkout to get …
|
|
|
|
@4171
|
[4171]
|
2 months |
EricAllen |
More object tests.
|
|
|
|
@4167
|
[4167]
|
2 months |
sukyoungryu |
[tests] Added more tests.
|
|
|
|
@4163
|
[4163]
|
2 months |
dr2chase |
Semi-fix for naming problem Jan found with Compiled7.Comprehensions1 …
|
|
|
|
@4162
|
[4162]
|
2 months |
sukyoungryu |
[parser] Clean up.
|
|
|
|
@4161
|
[4161]
|
2 months |
sukyoungryu |
[disambiguator] More fix in ExprDisambiguator?. Added more tests.
|
|
|
|
@4160
|
[4160]
|
2 months |
sukyoungryu |
[disambiguator] Fixed ExprDisambiguator? and added more tests. The big …
|
|
|
|
@4159
|
[4159]
|
2 months |
sukyoungryu |
[disambiguator] Moved static checks from IndexBuilder? to …
|
|
|
|
@4158
|
[4158]
|
2 months |
sukyoungryu |
[disambiguator] Fixing ExprDisambiguator? (work in progress)
|
|
|
|
@4157
|
[4157]
|
2 months |
skilpat |
[type checker] Fixed type checking of function applications involving …
|
|
|
|
@4156
|
[4156]
|
2 months |
sukyoungryu |
[disambiguator] Replaced ExprDisambiguator? in Java with one in Scala. …
|
|
|
|
@4154
|
[4154]
|
2 months |
jmaessen |
[codegen] Top-level bindings.
At present, we are restricted as follows:
* …
|
|
|
|
@4151
|
[4151]
|
3 months |
jmaessen |
Fix odd indentation
|
|
|
|
@4146
|
[4146]
|
3 months |
jmaessen |
[testing] Consolidated now-working Compiled7fo, Compiled7, and
Compiled8. …
|
|
|
|
@4145
|
[4145]
|
3 months |
dr2chase |
Fixed glitches in arrows of arrows, now allows Compiled8 to run (part of …
|
|
|
|
@4144
|
[4144]
|
3 months |
EricAllen |
Added a simple working test for for loops.
|
|
|
|
@4142
|
[4142]
|
3 months |
EricAllen |
Moved fringe files to new location.
|
|
|
|
@4141
|
[4141]
|
3 months |
EricAllen |
Reorganized some fringe files.
|
|
|
|
@4140
|
[4140]
|
3 months |
dr2chase |
Fixed naming glitches with empty parameter lists; also tweaked a couple of …
|
|
|
|
@4137
|
[4137]
|
3 months |
EricAllen |
Added part of the fringe of programs that must pass to complete long term …
|
|
|
|
@4135
|
[4135]
|
3 months |
jmaessen |
[testing] Type-annotated version of Compiled8 that compiles but
crashes at …
|
|
|
|
@4134
|
[4134]
|
3 months |
jmaessen |
[tests] Compiled7 now works after carrying across changes from …
|
|
|
|
@4133
|
[4133]
|
3 months |
sukyoungryu |
[compiler tests] Added compiler tests for generics.
|
|
|
|
@4132
|
[4132]
|
3 months |
jmaessen |
[codegen] Correct free variable handling for closures. Majority of
code …
|
|
|
|
@4130
|
[4130]
|
3 months |
sukyoungryu |
[disambiguator] Fixed handling getters and setters in ExprDisambiguator?. …
|
|
|
|
@4129
|
[4129]
|
3 months |
jmaessen |
[codegen] 1-sided conditionals now work correctly (by dint of pushing
() …
|
|
|
|
@4128
|
[4128]
|
3 months |
jmaessen |
[codegen] Fix two major bugs: first, make sure we name system classes …
|
|
|
|
@4127
|
[4127]
|
3 months |
sukyoungryu |
[compiler tests] Renamed Comprehensions tests to CompiledX tests.
|
|
|
|
@4126
|
[4126]
|
3 months |
sukyoungryu |
[tests] Removed component headers from Comprehensions tests.
|
|
|
|
@4125
|
[4125]
|
3 months |
jmaessen |
testing: make Compiled8 test closure over top-level non-generic function.
|
|
|
|
@4123
|
[4123]
|
3 months |
sukyoungryu |
[disambiguator] Implemented static checks for the new namespace story.
|
|
|
|
@4122
|
[4122]
|
3 months |
sukyoungryu |
[static checker] An abstract method can be implemented by concrete methods …
|
|
|
|
@4117
|
[4117]
|
3 months |
sukyoungryu |
[static checker] Abstract method checker handles functional methods too.
|
|
|
|
@4116
|
[4116]
|
3 months |
sukyoungryu |
[overloading checker] Implemented overloading with renamed imports.
|
|
|
|
@4115
|
[4115]
|
3 months |
sukyoungryu |
[tests] Eliminated a redundant test: ScalaTypeCheckerJUTest. Turned off …
|
|
|
|
@4114
|
[4114]
|
3 months |
sukyoungryu |
[overloading checker] Implementing overloading with renamed imports. (Work …
|
|
|
|
@4113
|
[4113]
|
3 months |
sukyoungryu |
[overloading checker] Implementing overloading with renamed imports. (Work …
|
|
|
|
@4112
|
[4112]
|
3 months |
jmaessen |
[compiler, library, tests] Work on getting RR64 to run
(seems OK so far …
|
|
|
|
