| #205 |
Renamed import is resolved to wrong name |
static analysis |
|
|
task |
EricAllen |
08/20/08 |
| #33 |
Type inference for method calls |
interpreter |
|
|
task |
dr2chase |
10/31/07 |
| #57 |
Update ProjectStatus |
wiki |
1.0 |
|
task |
dr2chase |
01/18/08 |
| #1 |
The ask-a-question page is getting a little unwieldy already |
wiki |
|
|
cleanup |
somebody |
04/10/07 |
| #23 |
in type inference at call sites, it is important to get the environment right |
interpreter |
|
|
cleanup |
dr2chase |
10/15/07 |
| #46 |
Top-level array declaration does not work. |
interpreter |
|
|
defect |
dr2chase |
11/28/07 |
| #51 |
Index symbolic instantiations by bounds, not textual name |
interpreter |
|
|
defect |
dr2chase |
12/10/07 |
| #72 |
Overloading check bug |
interpreter |
|
|
defect |
dr2chase |
03/26/08 |
| #116 |
Functional method should not be returned as the result of a dotted reference. |
interpreter |
|
|
defect |
dr2chase |
05/22/08 |
| #117 |
Generic surprise |
interpreter |
|
|
defect |
dr2chase |
05/23/08 |
| #122 |
Uninitialized Variable Error misleading |
interpreter |
|
|
defect |
EricAllen |
05/30/08 |
| #123 |
Can't find Csr when Csr.mul(...) is overloaded |
interpreter |
|
|
defect |
jmaessen |
05/30/08 |
| #137 |
Functional method operator lookup within trait method fails to find the operator |
interpreter |
|
|
defect |
dr2chase |
06/29/08 |
| #148 |
method call to a method defined within the same object type (which then makes call to builtinPrimitive) is not disambiguated correctly. |
interpreter |
|
|
defect |
dr2chase |
07/09/08 |
| #246 |
type checker gives the wrong type to a field that is declared as an abstrct field in super trait |
static analysis |
|
|
defect |
EricAllen |
09/12/08 |
| #259 |
type checker appears to find missing library definition for MAX and MIN for ZZ32 |
library |
|
|
defect |
EricAllen |
09/15/08 |
| #260 |
the type checker cannot handle a simple list comprehension |
interpreter |
|
|
defect |
EricAllen |
09/15/08 |
| #267 |
Closure conversion pass captures reference incorrectly when the reference is shadowed by declarations in object expressions |
static analysis |
|
|
defect |
angelee |
09/26/08 |
| #278 |
Misusing trait name as constructor points to def site of trait |
interpreter |
|
|
defect |
dr2chase |
10/06/08 |
| #168 |
Check that type hierarchy is acyclic (including coercions) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #169 |
Check that no coercion is from a subtype to a supertype |
interpreter |
|
|
enhancement |
EricAllen |
08/20/08 |
| #170 |
Check that overloaded functional declarations are well-formed |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #172 |
Check that all types in exported APIs are defined by non-private definitions and all methods in those types have appropriate signatures and modifiers |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #173 |
Check that components importing an API A also import or export all APIs imported by A |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #174 |
Check that all functions and top-level variables in exported APIs are defined with appropriate signatures and modifiers |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #175 |
Check that all inherited abstract methods in object definitions are defined, with compatible signatures and modifiers |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #176 |
Check that the object equivalence operator is not overridden (I wish this check were not so special; perhaps we need something like a final method) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #177 |
Check that all hidden field declarations are settable |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #178 |
Check that all thrown checked exceptions in a functional are declared to be thrown (or one of their supertypes is declared to be thrown) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #180 |
Check that no initialization expression of a top-level variable declaration throws a checked exception |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #181 |
Check that variables (static and dynamic) are not shadowed |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #182 |
Check that no two explicit declarations with overlapping reaches declare the same name (much of this is handled by other checks, I believe) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #183 |
Check that all references to names are in scope (much of this is handled by other checks) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #184 |
Check that all variables are definitely assigned to before use |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #186 |
Check that fields of value objects are not modified |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #187 |
Check that expressions have appropriate types (includes stuff like "getter references have corresponding definitions," etc.) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #188 |
Check that expressions are dimensionally correct |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #190 |
Check that variables have appropriate types and dimensions |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #191 |
Check that ransient fields are not referred to in method bodies (or did we drop transient fields?) |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #192 |
Check that types are well-formed |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #193 |
Check that case/typecase clauses are jointly exhaustive |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #195 |
Check that qualified references are unambiguous |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #196 |
Check that declared APIs do not clash with the names of existing APIs |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #197 |
Check that declared components do not clash with the names of existing components |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #200 |
Check that there is no range expression of the form a:b:c where c is the static expression 0 |
static analysis |
|
|
enhancement |
EricAllen |
08/20/08 |
| #212 |
Check that juxtaposition rules are respected (is this handled completely by parsing and type checking?) |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #219 |
Check that no local declarations occur at grammar def sites and |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #220 |
Check that all APIs imported at a grammar definition are imported at use sites |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #221 |
Check that grammar extensions are acyclic |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #222 |
Check that grammar productions are well-formed |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #223 |
Check that template definitions have appropriate types and dimensions (we're still working out what this means, exactly) |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #224 |
Check that macro use sites are well-formed and all contained expressions have appropriate types |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #225 |
Check that non-test code does not refer to test code |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #229 |
Check that matrix unpasting LHS's are well-formed |
static analysis |
|
|
enhancement |
EricAllen |
08/21/08 |
| #230 |
Check that matrix unpastings are guarranteed to cover unpasting RHSs exactly (this is not in 1.0 beta, but we might require it to prevent runtime UnpastingExceptions) |
syntax abstraction |
|
|
enhancement |
EricAllen |
08/21/08 |
| #4 |
implement getters/setters |
interpreter |
|
|
task |
dr2chase |
07/18/07 |
| #10 |
Implement type Object |
interpreter |
|
|
task |
jmaessen |
08/14/07 |
| #30 |
Clean up definition of indexed types |
library |
|
|
task |
jmaessen |
10/31/07 |
| #31 |
Make stuff that ought to be functional methods into functional methods |
library |
|
|
task |
anybody |
10/31/07 |
| #32 |
Add parallel prefix operations to Generator |
library |
|
|
task |
jmaessen |
10/31/07 |
| #37 |
Make a common Set type and Map type |
library |
1.0 |
|
task |
anybody |
11/07/07 |
| #60 |
Ordering on sets and maps |
interpreter |
|
|
task |
jmaessen |
01/22/08 |
| #71 |
Complete implementation of SEQUIV |
interpreter |
|
|
task |
jmaessen |
03/03/08 |
| #74 |
Move top-level operations into functional methods where appropriate |
interpreter |
|
|
task |
jmaessen * |
03/30/08 |
| #80 |
Populate Numeric hierarchy |
interpreter |
|
|
task |
jmaessen * |
04/15/08 |
| #98 |
Unsigned types |
interpreter |
|
|
task |
dr2chase |
05/02/08 |
| #113 |
Overloading of local functions is not implemented. |
interpreter |
|
|
task |
dr2chase |
05/22/08 |
| #120 |
invoking methods with the same name as a field produces a confusing error |
interpreter |
|
|
task |
dr2chase |
05/28/08 |
| #132 |
I left some undone work in Abstract Syntax - missing originalName fields |
interpreter |
|
|
task |
jdn |
06/16/08 |
| #142 |
cannot pass arguments to varargs function to another varargs function |
interpreter |
|
|
task |
dr2chase |
07/02/08 |
| #144 |
importing two generic functions causes phase order problem |
interpreter |
|
|
task |
dr2chase |
07/02/08 |
| #158 |
compiler error: java.lang.OutOfMemoryError |
interpreter |
|
|
task |
dr2chase |
08/11/08 |
| #159 |
List doesn't define big || |
library |
|
|
task |
jmaessen |
08/12/08 |
| #161 |
Clean up fork/join to use built-in exception handling mechanism |
interpreter |
|
|
task |
chf |
08/12/08 |
| #163 |
Static parameters for functional methods |
interpreter |
|
|
task |
dr2chase |
08/15/08 |
| #204 |
Typecase without an explicit binding with an object parameter doesn't work. |
interpreter |
|
|
task |
dr2chase |
08/20/08 |
| #232 |
Method contracts and overloaded functional contracts preserve substitutability under subtyping. |
static analysis |
|
|
task |
EricAllen |
08/21/08 |
| #233 |
Abstract function declarations should be covered by a set of concrete function declarations in a component. |
static analysis |
|
|
task |
EricAllen |
08/21/08 |
| #234 |
The union of the guarding types of a typecase expression must cover the static type of the expression(s) being bound (a tuple type if there are multiple bindings). |
static analysis |
|
|
task |
EricAllen |
08/21/08 |
| #235 |
Error messages need help |
interpreter |
|
|
task |
dr2chase |
08/23/08 |
| #238 |
Ensure getters and setters have appropriate types |
static analysis |
|
|
task |
EricAllen |
08/26/08 |
| #239 |
Check that getters and setter names don't overlap with dotted method names, and setters aren't overloaded |
static analysis |
|
|
task |
EricAllen |
08/26/08 |
| #241 |
Check that each node constructor gets the right arguments. |
interpreter |
|
|
task |
sukyoungryu |
09/04/08 |
| #243 |
Check that no two import statements are identical. |
static analysis |
|
|
task |
EricAllen |
09/12/08 |
| #244 |
Check that there is at most one on-demand import statement from a single API. |
static analysis |
|
|
task |
EricAllen |
09/12/08 |
| #245 |
Implement multifix operators. |
interpreter |
|
|
task |
dr2chase |
09/12/08 |
| #248 |
Implement the new tests story |
interpreter |
|
|
task |
chf |
09/13/08 |
| #250 |
Field declarations in an API cannot have the var modifier. |
parser |
|
|
task |
sukyoungryu |
09/13/08 |
| #252 |
Top-level _ declarations are allowed only in components not in objects/traits/APIs. |
parser |
|
|
task |
sukyoungryu |
09/13/08 |
| #253 |
Implement the new rendering story of comments |
interpreter |
|
|
task |
gls |
09/13/08 |
| #254 |
Implement the new string concatenation and juxtaposition story |
parser |
|
|
task |
sukyoungryu |
09/13/08 |
| #256 |
Implement the one-shot continuation semantics for label/exit across object/function expressions. |
interpreter |
|
|
task |
dr2chase |
09/13/08 |
| #258 |
Internal error: second store of indirection cell |
interpreter |
|
|
task |
dr2chase |
09/14/08 |
| #262 |
Work out the rules of definite assignment. |
interpreter |
|
|
task |
EricAllen |
09/15/08 |
| #264 |
Type checker infers BottomType for the return type of a function declaration. |
static analysis |
|
|
task |
EricAllen |
09/23/08 |
| #265 |
Type checker throws the OptionUnwrapException for the seq method defined in FortressLibrary |
static analysis |
|
|
task |
EricAllen |
09/24/08 |
| #266 |
The interpreter does not handle a declaration of _ with a type annotation correctly. |
interpreter |
|
|
task |
dr2chase |
09/25/08 |
| #269 |
Grammar for static arguments does not handle the operator precedence/associativity correctly. |
parser |
|
|
task |
sukyoungryu |
09/29/08 |
| #277 |
Use exprString/debugString/asString instead of toString. |
library |
|
|
task |
jmaessen |
10/06/08 |
| #85 |
Error messages print extraneous information |
interpreter |
1.0 |
|
cleanup |
dr2chase |
04/18/08 |
| #90 |
Argument fixups are done in two different ways |
interpreter |
|
|
cleanup |
jmaessen |
04/21/08 |
