{2} Active Tickets by Version (125 matches)

This report shows how to color results by priority, while grouping results by version.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Ticket Summary Component Version Type Owner Created
#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
#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
#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
#90 Argument fixups are done in two different ways interpreter cleanup jmaessen 04/21/08
#87 Fortify breaks for double subscripts wiki defect GuySteele 04/20/08
#88 fortify assumes comments are valid LaTeX interpreter defect dr2chase 04/20/08
#91 fortify is overzealous in syntax-highlighting comments interpreter defect dr2chase 04/21/08
#95 fortify issues with big operators interpreter defect dr2chase 04/28/08
#105 Explicit type instantiation does not check the bound of the corresponding type parameter. interpreter defect dr2chase 05/08/08
#124 Static arithmetic sometimes uses ZZ32 when ZZ64 is specified interpreter defect jmaessen 06/01/08
#131 Disambiguation - No error is signaled on explicit import of nonexisting name static analysis defect eric 06/16/08
#151 XXXextendsZZ32 no longer fails interpreter defect EricAllen 07/14/08
#157 import ... except causes interpreter problems interpreter defect dr2chase 07/18/08
#164 -test option appears to run tests twice interpreter defect dr2chase 08/15/08
#167 undefined variable in typecase interpreter defect dr2chase 08/20/08