| 205 | Renamed import is resolved to wrong name | new | EricAllen | task | blocker | |
| 33 | Type inference for method calls | new | dr2chase | task | critical | |
| 57 | Update ProjectStatus | new | dr2chase | task | critical | |
| 1 | The ask-a-question page is getting a little unwieldy already | new | somebody | cleanup | major | |
| 4 | implement getters/setters | new | dr2chase | task | major | |
| 10 | Implement type Object | new | jmaessen | task | major | |
| 23 | in type inference at call sites, it is important to get the environment right | new | dr2chase | cleanup | major | |
| 30 | Clean up definition of indexed types | new | jmaessen | task | major | |
| 31 | Make stuff that ought to be functional methods into functional methods | new | anybody | task | major | |
| 32 | Add parallel prefix operations to Generator | new | jmaessen | task | major | |
| 37 | Make a common Set type and Map type | new | anybody | task | major | |
| 46 | Top-level array declaration does not work. | new | dr2chase | defect | major | |
| 51 | Index symbolic instantiations by bounds, not textual name | new | dr2chase | defect | major | |
| 60 | Ordering on sets and maps | new | jmaessen | task | major | |
| 71 | Complete implementation of SEQUIV | new | jmaessen | task | major | |
| 72 | Overloading check bug | new | dr2chase | defect | major | |
| 74 | Move top-level operations into functional methods where appropriate | assigned | jmaessen | task | major | |
| 80 | Populate Numeric hierarchy | assigned | jmaessen | task | major | |
| 98 | Unsigned types | new | dr2chase | task | major | |
| 113 | Overloading of local functions is not implemented. | new | dr2chase | task | major | |
| 116 | Functional method should not be returned as the result of a dotted reference. | new | dr2chase | defect | major | |
| 117 | Generic surprise | new | dr2chase | defect | major | |
| 120 | invoking methods with the same name as a field produces a confusing error | new | dr2chase | task | major | |
| 122 | Uninitialized Variable Error misleading | new | EricAllen | defect | major | |
| 123 | Can't find Csr when Csr.mul(...) is overloaded | new | jmaessen | defect | major | |
| 132 | I left some undone work in Abstract Syntax - missing originalName fields | new | jdn | task | major | |
| 137 | Functional method operator lookup within trait method fails to find the operator | new | dr2chase | defect | major | |
| 142 | cannot pass arguments to varargs function to another varargs function | new | dr2chase | task | major | |
| 144 | importing two generic functions causes phase order problem | new | dr2chase | task | major | |
| 148 | method call to a method defined within the same object type (which then makes call to builtinPrimitive) is not disambiguated correctly. | new | dr2chase | defect | major | |
| 158 | compiler error: java.lang.OutOfMemoryError | new | dr2chase | task | major | |
| 159 | List doesn't define big || | new | jmaessen | task | major | |
| 161 | Clean up fork/join to use built-in exception handling mechanism | new | chf | task | major | |
| 163 | Static parameters for functional methods | new | dr2chase | task | major | |
| 168 | Check that type hierarchy is acyclic (including coercions) | new | EricAllen | enhancement | major | |
| 169 | Check that no coercion is from a subtype to a supertype | new | EricAllen | enhancement | major | |
| 170 | Check that overloaded functional declarations are well-formed | new | EricAllen | enhancement | major | |
| 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 | new | EricAllen | enhancement | major | |
| 173 | Check that components importing an API A also import or export all APIs imported by A | new | EricAllen | enhancement | major | |
| 174 | Check that all functions and top-level variables in exported APIs are defined with appropriate signatures and modifiers | new | EricAllen | enhancement | major | |
| 175 | Check that all inherited abstract methods in object definitions are defined, with compatible signatures and modifiers | new | EricAllen | enhancement | major | |
| 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) | new | EricAllen | enhancement | major | |
| 177 | Check that all hidden field declarations are settable | new | EricAllen | enhancement | major | |
| 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) | new | EricAllen | enhancement | major | |
| 180 | Check that no initialization expression of a top-level variable declaration throws a checked exception | new | EricAllen | enhancement | major | |
| 181 | Check that variables (static and dynamic) are not shadowed | new | EricAllen | enhancement | major | |
| 182 | Check that no two explicit declarations with overlapping reaches declare the same name (much of this is handled by other checks, I believe) | new | EricAllen | enhancement | major | |
| 183 | Check that all references to names are in scope (much of this is handled by other checks) | new | EricAllen | enhancement | major | |
| 184 | Check that all variables are definitely assigned to before use | new | EricAllen | enhancement | major | |
| 186 | Check that fields of value objects are not modified | new | EricAllen | enhancement | major | |
| 187 | Check that expressions have appropriate types (includes stuff like "getter references have corresponding definitions," etc.) | new | EricAllen | enhancement | major | |
| 188 | Check that expressions are dimensionally correct | new | EricAllen | enhancement | major | |
| 190 | Check that variables have appropriate types and dimensions | new | EricAllen | enhancement | major | |
| 191 | Check that ransient fields are not referred to in method bodies (or did we drop transient fields?) | new | EricAllen | enhancement | major | |
| 192 | Check that types are well-formed | new | EricAllen | enhancement | major | |
| 193 | Check that case/typecase clauses are jointly exhaustive | new | EricAllen | enhancement | major | |
| 195 | Check that qualified references are unambiguous | new | EricAllen | enhancement | major | |
| 196 | Check that declared APIs do not clash with the names of existing APIs | new | EricAllen | enhancement | major | |
| 197 | Check that declared components do not clash with the names of existing components | new | EricAllen | enhancement | major | |
| 200 | Check that there is no range expression of the form a:b:c where c is the static expression 0 | new | EricAllen | enhancement | major | |
| 204 | Typecase without an explicit binding with an object parameter doesn't work. | new | dr2chase | task | major | |
| 212 | Check that juxtaposition rules are respected (is this handled completely by parsing and type checking?) | new | EricAllen | enhancement | major | |
| 219 | Check that no local declarations occur at grammar def sites and | new | EricAllen | enhancement | major | |
| 220 | Check that all APIs imported at a grammar definition are imported at use sites | new | EricAllen | enhancement | major | |
| 221 | Check that grammar extensions are acyclic | new | EricAllen | enhancement | major | |
| 222 | Check that grammar productions are well-formed | new | EricAllen | enhancement | major | |
| 223 | Check that template definitions have appropriate types and dimensions (we're still working out what this means, exactly) | new | EricAllen | enhancement | major | |
| 224 | Check that macro use sites are well-formed and all contained expressions have appropriate types | new | EricAllen | enhancement | major | |
| 225 | Check that non-test code does not refer to test code | new | EricAllen | enhancement | major | |
| 229 | Check that matrix unpasting LHS's are well-formed | new | EricAllen | enhancement | major | |
| 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) | new | EricAllen | enhancement | major | |
| 232 | Method contracts and overloaded functional contracts preserve substitutability under subtyping. | new | EricAllen | task | major | |
| 233 | Abstract function declarations should be covered by a set of concrete function declarations in a component. | new | EricAllen | task | major | |
| 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). | new | EricAllen | task | major | |
| 235 | Error messages need help | new | dr2chase | task | major | |
| 238 | Ensure getters and setters have appropriate types | new | EricAllen | task | major | |
| 239 | Check that getters and setter names don't overlap with dotted method names, and setters aren't overloaded | new | EricAllen | task | major | |
| 241 | Check that each node constructor gets the right arguments. | new | sukyoungryu | task | major | |
| 243 | Check that no two import statements are identical. | new | EricAllen | task | major | |
| 244 | Check that there is at most one on-demand import statement from a single API. | new | EricAllen | task | major | |
| 245 | Implement multifix operators. | new | dr2chase | task | major | |
| 246 | type checker gives the wrong type to a field that is declared as an abstrct field in super trait | new | EricAllen | defect | major | |
| 248 | Implement the new tests story | new | chf | task | major | |
| 250 | Field declarations in an API cannot have the var modifier. | new | sukyoungryu | task | major | |
| 252 | Top-level _ declarations are allowed only in components not in objects/traits/APIs. | new | sukyoungryu | task | major | |
| 253 | Implement the new rendering story of comments | new | gls | task | major | |
| 254 | Implement the new string concatenation and juxtaposition story | new | sukyoungryu | task | major | |
| 256 | Implement the one-shot continuation semantics for label/exit across object/function expressions. | new | dr2chase | task | major | |
| 258 | Internal error: second store of indirection cell | new | dr2chase | task | major | |
| 259 | type checker appears to find missing library definition for MAX and MIN for ZZ32 | new | EricAllen | defect | major | |
| 260 | the type checker cannot handle a simple list comprehension | new | EricAllen | defect | major | |
| 262 | Work out the rules of definite assignment. | new | EricAllen | task | major | |
| 264 | Type checker infers BottomType for the return type of a function declaration. | new | EricAllen | task | major | |
| 265 | Type checker throws the OptionUnwrapException for the seq method defined in FortressLibrary | new | EricAllen | task | major | |
| 266 | The interpreter does not handle a declaration of _ with a type annotation correctly. | new | dr2chase | task | major | |
| 267 | Closure conversion pass captures reference incorrectly when the reference is shadowed by declarations in object expressions | new | angelee | defect | major | |
| 269 | Grammar for static arguments does not handle the operator precedence/associativity correctly. | new | sukyoungryu | task | major | |
| 277 | Use exprString/debugString/asString instead of toString. | new | jmaessen | task | major | |
| 278 | Misusing trait name as constructor points to def site of trait | new | dr2chase | defect | major | |
| 9 | Implement local polymorphic functions | new | dr2chase | task | minor | |
| 49 | Complete implementation of opr parameters | new | dr2chase | task | minor | |
| 78 | Paren mismatch in Emacs Fortress mode | new | somebody | defect | minor | |
| 85 | Error messages print extraneous information | new | dr2chase | cleanup | minor | |
| 87 | Fortify breaks for double subscripts | new | GuySteele | defect | minor | |
| 88 | fortify assumes comments are valid LaTeX | new | dr2chase | defect | minor | |
| 90 | Argument fixups are done in two different ways | new | jmaessen | cleanup | minor | |
| 91 | fortify is overzealous in syntax-highlighting comments | new | dr2chase | defect | minor | |
| 95 | fortify issues with big operators | new | dr2chase | defect | minor | |
| 102 | fortress in nondebug mode cannot print null pointer exception errors | new | david | task | minor | |
| 105 | Explicit type instantiation does not check the bound of the corresponding type parameter. | new | dr2chase | defect | minor | |
| 112 | bin/fortress should have a -version option | new | dr2chase | task | minor | |
| 114 | The Executable API is hardwired in the interpreter. | new | dr2chase | task | minor | |
| 124 | Static arithmetic sometimes uses ZZ32 when ZZ64 is specified | new | jmaessen | defect | minor | |
| 130 | A trait that extends itself causes a stack overflow | new | dr2chase | task | minor | |
| 131 | Disambiguation - No error is signaled on explicit import of nonexisting name | new | eric | defect | minor | |
| 151 | XXXextendsZZ32 no longer fails | new | EricAllen | defect | minor | |
| 157 | import ... except causes interpreter problems | new | dr2chase | defect | minor | |
| 164 | -test option appears to run tests twice | new | dr2chase | defect | minor | |
| 167 | undefined variable in typecase | new | dr2chase | defect | minor | |
| 236 | Obscure errors when abstract override is missing | new | EricAllen | defect | minor | |
| 237 | auxiliary test methods cannot be given the test qualifier | new | dr2chase | defect | minor | |
| 276 | Fortress caching not robust to timestamp and name collisions | new | dr2chase | defect | minor | |
| 281 | Ensures clause ignored in api | new | dr2chase | task | minor | |
| 21 | Add overlap detection to subrange assignment | new | jmaessen | task | trivial | |
| 263 | Failed Fortress executions should return a false value as command-line calls | new | dr2chase | defect | trivial | |
