|
#1
|
The ask-a-question page is getting a little unwieldy already
|
wiki
|
|
|
cleanup
|
somebody
|
new
|
04/10/07
|
|
#4
|
implement getters/setters
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
07/18/07
|
|
#9
|
Implement local polymorphic functions
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/14/07
|
|
#10
|
Implement type Object
|
interpreter
|
|
|
task
|
jmaessen
|
new
|
08/14/07
|
|
#21
|
Add overlap detection to subrange assignment
|
library
|
|
|
task
|
jmaessen
|
new
|
09/26/07
|
|
#23
|
in type inference at call sites, it is important to get the environment right
|
interpreter
|
|
|
cleanup
|
dr2chase
|
new
|
10/15/07
|
|
#30
|
Clean up definition of indexed types
|
library
|
|
|
task
|
jmaessen
|
new
|
10/31/07
|
|
#31
|
Make stuff that ought to be functional methods into functional methods
|
library
|
|
|
task
|
anybody
|
new
|
10/31/07
|
|
#32
|
Add parallel prefix operations to Generator
|
library
|
|
|
task
|
jmaessen
|
new
|
10/31/07
|
|
#33
|
Type inference for method calls
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/31/07
|
|
#37
|
Make a common Set type and Map type
|
library
|
1.0
|
|
task
|
anybody
|
new
|
11/07/07
|
|
#46
|
Top-level array declaration does not work.
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
11/28/07
|
|
#49
|
Complete implementation of opr parameters
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
12/07/07
|
|
#51
|
Index symbolic instantiations by bounds, not textual name
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
12/10/07
|
|
#57
|
Update ProjectStatus
|
wiki
|
1.0
|
|
task
|
dr2chase
|
new
|
01/18/08
|
|
#60
|
Ordering on sets and maps
|
interpreter
|
|
|
task
|
jmaessen
|
new
|
01/22/08
|
|
#71
|
Complete implementation of SEQUIV
|
interpreter
|
|
|
task
|
jmaessen
|
new
|
03/03/08
|
|
#72
|
Overloading check bug
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
03/26/08
|
|
#74
|
Move top-level operations into functional methods where appropriate
|
interpreter
|
|
|
task
|
jmaessen
|
assigned
|
03/30/08
|
|
#78
|
Paren mismatch in Emacs Fortress mode
|
wiki
|
1.0
|
|
defect
|
somebody
|
new
|
04/15/08
|
|
#80
|
Populate Numeric hierarchy
|
interpreter
|
|
|
task
|
jmaessen
|
assigned
|
04/15/08
|
|
#85
|
Error messages print extraneous information
|
interpreter
|
1.0
|
|
cleanup
|
dr2chase
|
new
|
04/18/08
|
|
#87
|
Fortify breaks for double subscripts
|
wiki
|
|
|
defect
|
GuySteele
|
new
|
04/20/08
|
|
#88
|
fortify assumes comments are valid LaTeX
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
04/20/08
|
|
#90
|
Argument fixups are done in two different ways
|
interpreter
|
|
|
cleanup
|
jmaessen
|
new
|
04/21/08
|
|
#91
|
fortify is overzealous in syntax-highlighting comments
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
04/21/08
|
|
#95
|
fortify issues with big operators
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
04/28/08
|
|
#98
|
Unsigned types
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/02/08
|
|
#102
|
fortress in nondebug mode cannot print null pointer exception errors
|
interpreter
|
|
|
task
|
david
|
new
|
05/08/08
|
|
#105
|
Explicit type instantiation does not check the bound of the corresponding type parameter.
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
05/08/08
|
|
#112
|
bin/fortress should have a -version option
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/21/08
|
|
#113
|
Overloading of local functions is not implemented.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/22/08
|
|
#114
|
The Executable API is hardwired in the interpreter.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/22/08
|
|
#116
|
Functional method should not be returned as the result of a dotted reference.
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
05/22/08
|
|
#117
|
Generic surprise
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
05/23/08
|
|
#120
|
invoking methods with the same name as a field produces a confusing error
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/28/08
|
|
#123
|
Can't find Csr when Csr.mul(...) is overloaded
|
interpreter
|
|
|
defect
|
jmaessen
|
new
|
05/30/08
|
|
#124
|
Static arithmetic sometimes uses ZZ32 when ZZ64 is specified
|
interpreter
|
|
|
defect
|
jmaessen
|
new
|
06/01/08
|
|
#130
|
A trait that extends itself causes a stack overflow
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
06/14/08
|
|
#132
|
I left some undone work in Abstract Syntax - missing originalName fields
|
interpreter
|
|
|
task
|
jdn
|
new
|
06/16/08
|
|
#137
|
Functional method operator lookup within trait method fails to find the operator
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
06/29/08
|
|
#142
|
cannot pass arguments to varargs function to another varargs function
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
07/02/08
|
|
#144
|
importing two generic functions causes phase order problem
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
07/02/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
|
new
|
07/09/08
|
|
#157
|
import ... except causes interpreter problems
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
07/18/08
|
|
#158
|
compiler error: java.lang.OutOfMemoryError
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/11/08
|
|
#159
|
List doesn't define big ||
|
library
|
|
|
task
|
jmaessen
|
new
|
08/12/08
|
|
#161
|
Clean up fork/join to use built-in exception handling mechanism
|
interpreter
|
|
|
task
|
chf
|
new
|
08/12/08
|
|
#163
|
Static parameters for functional methods
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/15/08
|
|
#164
|
-test option appears to run tests twice
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
08/15/08
|
|
#167
|
undefined variable in typecase
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
08/20/08
|
|
#170
|
Check that overloaded functional declarations are well-formed
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/20/08
|
|
#173
|
Design and implement the checks necessary for a sounds component system
|
static analysis
|
|
|
enhancement
|
EricAllen
|
assigned
|
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
|
new
|
08/20/08
|
|
#180
|
Check that no initialization expression of a top-level variable declaration throws a checked exception
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/20/08
|
|
#186
|
Check that fields of value objects are not modifiable
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/20/08
|
|
#188
|
Implement dimension / unit checking
|
static analysis
|
|
|
task
|
EricAllen
|
new
|
08/20/08
|
|
#193
|
Check that case/typecase clauses are jointly exhaustive
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/20/08
|
|
#195
|
Check that qualified references are unambiguous
|
static analysis
|
|
|
enhancement
|
sukyoungryu
|
new
|
08/20/08
|
|
#196
|
Add indices for APIs and components to the cache/repository
|
build
|
|
|
enhancement
|
EricAllen
|
assigned
|
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
|
new
|
08/20/08
|
|
#204
|
Typecase without an explicit binding with an object parameter doesn't work.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/20/08
|
|
#219
|
Check that no local declarations occur at grammar def sites and
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/21/08
|
|
#220
|
Check that all APIs imported at a grammar definition are imported at use sites
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/21/08
|
|
#221
|
Check that grammar extensions are acyclic
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/21/08
|
|
#222
|
Check that grammar productions are well-formed
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
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
|
new
|
08/21/08
|
|
#224
|
Check that macro use sites are well-formed and all contained expressions have appropriate types
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/21/08
|
|
#225
|
Check that non-test code does not refer to test code
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
08/21/08
|
|
#229
|
Check that matrix unpasting LHS's are well-formed
|
static analysis
|
|
|
enhancement
|
EricAllen
|
new
|
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
|
new
|
08/21/08
|
|
#232
|
Method contracts and overloaded functional contracts preserve substitutability under subtyping.
|
static analysis
|
|
|
task
|
EricAllen
|
new
|
08/21/08
|
|
#233
|
Abstract function declarations should be covered by a set of concrete function declarations in a component.
|
static analysis
|
|
|
defect
|
EricAllen
|
new
|
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
|
new
|
08/21/08
|
|
#235
|
Error messages need help
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/23/08
|
|
#237
|
auxiliary test methods cannot be given the test qualifier
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
08/25/08
|
|
#245
|
Implement multifix operators.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
09/12/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
|
new
|
09/12/08
|
|
#253
|
Implement the new rendering story of comments
|
interpreter
|
|
|
task
|
gls
|
new
|
09/13/08
|
|
#254
|
Implement the new string concatenation and juxtaposition story
|
parser
|
|
|
task
|
sukyoungryu
|
new
|
09/13/08
|
|
#256
|
Implement the one-shot continuation semantics for label/exit across object/function expressions.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
09/13/08
|
|
#258
|
Internal error: second store of indirection cell
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
09/14/08
|
|
#259
|
type checker appears to find missing library definition for MAX and MIN for ZZ32
|
library
|
|
|
defect
|
EricAllen
|
new
|
09/15/08
|
|
#260
|
the type checker cannot handle a simple list comprehension
|
interpreter
|
|
|
defect
|
EricAllen
|
new
|
09/15/08
|
|
#262
|
Work out the rules of definite assignment.
|
interpreter
|
|
|
task
|
EricAllen
|
new
|
09/15/08
|
|
#263
|
Failed Fortress executions should return a false value as command-line calls
|
interpreter
|
1.0
|
|
defect
|
dr2chase
|
new
|
09/23/08
|
|
#264
|
Type checker infers BottomType for the return type of a function declaration.
|
static analysis
|
|
|
task
|
EricAllen
|
new
|
09/23/08
|
|
#265
|
Type checker throws the OptionUnwrapException for the seq method defined in FortressLibrary
|
static analysis
|
|
|
task
|
EricAllen
|
new
|
09/24/08
|
|
#266
|
The interpreter does not handle a declaration of _ with a type annotation correctly.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
09/25/08
|
|
#276
|
Fortress caching not robust to timestamp and name collisions
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
10/05/08
|
|
#277
|
Use exprString/debugString/asString instead of toString.
|
library
|
|
|
task
|
jmaessen
|
new
|
10/06/08
|
|
#278
|
Misusing trait name as constructor points to def site of trait
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
10/06/08
|
|
#281
|
Ensures clause ignored in api
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/10/08
|
|
#282
|
multi-dimensional arrays
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#283
|
Unintelligible error message from :#
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#284
|
CalleeViolation provides insufficient information
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#285
|
Apparent ambiguity between binding and equality test
|
interpreter
|
|
|
enhancement
|
dr2chase
|
new
|
10/13/08
|
|
#286
|
Use of a "naked" getter not rejected by disambigutor
|
interpreter
|
|
|
defect
|
EricAllen
|
new
|
10/15/08
|
|
#287
|
static param declared by nested FnDef not recognized by type checker
|
static analysis
|
|
|
defect
|
Eric Allen
|
new
|
10/17/08
|
|
#289
|
Static analysis uses name of static opr parameter as (functional) method name
|
static analysis
|
1.0
|
|
defect
|
EricAllen
|
new
|
10/28/08
|