|
#291
|
Indexed setters appear to use the same naming as indexed getters.
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
10/29/08
|
|
#328
|
Generic functional methods are rejected during interpreter initialization
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
03/20/09
|
|
#332
|
Static tests overwrite .class file generated by testSystem
|
static analysis
|
|
|
defect
|
EricAllen
|
new
|
04/21/09
|
|
#360
|
Singleton cannot be both exported and used in the defining component
|
static analysis
|
|
|
defect
|
EricAllen
|
new
|
10/06/09
|
|
#326
|
Frustrating Heisenbug with InheritedMethod
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
02/13/09
|
|
#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
|
|
#353
|
fortress typecheck success causes subsequent fortress compile to silently generate no code
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
07/21/09
|
|
#361
|
Deal with case sensitivity of class names
|
codegen
|
|
|
defect
|
jmaessen
|
assigned
|
11/02/09
|
|
#323
|
Type names and function names should be in disjoint namespaces.
|
language change
|
|
|
enhancement
|
sukyoungryu
|
new
|
01/23/09
|
|
#33
|
Type inference for method calls
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/31/07
|
|
#315
|
Shell tests don't work when run from ProjectFortress
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
12/12/08
|
|
#329
|
Major oversight: tuple varargs lead to overloading ambiguities
|
interpreter
|
|
|
task
|
jmaessen
|
new
|
03/20/09
|
|
#333
|
Duplicate ComponentEnv class file generation for objectCC tests
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
04/21/09
|
|
#340
|
Simple dotted methods on singleton objects are not compiling
|
build
|
|
|
task
|
chf
|
new
|
06/05/09
|
|
#352
|
An attachement (plav.html) on ticket 11 is an advertisment for Plavix and may be infected.
|
wiki
|
|
|
task
|
dr2chase
|
assigned
|
07/02/09
|
|
#1
|
The ask-a-question page is getting a little unwieldy already
|
wiki
|
|
|
cleanup
|
somebody
|
new
|
04/10/07
|
|
#23
|
in type inference at call sites, it is important to get the environment right
|
interpreter
|
|
|
cleanup
|
dr2chase
|
new
|
10/15/07
|
|
#46
|
Top-level array declaration does not work.
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
11/28/07
|
|
#51
|
Index symbolic instantiations by bounds, not textual name
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
12/10/07
|
|
#72
|
Overloading check bug
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
03/26/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
|
|
#123
|
Can't find Csr when Csr.mul(...) is overloaded
|
interpreter
|
|
|
defect
|
jmaessen
|
new
|
05/30/08
|
|
#137
|
Functional method operator lookup within trait method fails to find the operator
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
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
|
new
|
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
|
new
|
09/12/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
|
|
#278
|
Misusing trait name as constructor points to def site of trait
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
10/06/08
|
|
#300
|
Contracts on abstract methods are ignored
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
11/04/08
|
|
#307
|
Set/Map clash
|
library
|
|
|
defect
|
jmaessen
|
assigned
|
11/18/08
|
|
#317
|
"fortress test" re-initializes the world numerous times
|
interpreter
|
|
|
defect
|
chf
|
new
|
12/16/08
|
|
#320
|
Missing import entities cause Java-level exception
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
01/15/09
|
|
#321
|
stack overflow in type system
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
01/20/09
|
|
#351
|
ant fails to move one file on a FAT32 disc image
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
06/30/09
|
|
#359
|
fortify has problems with \KWDVAR
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
10/02/09
|
|
#363
|
mailing list link on wiki main page appears to be broken
|
wiki
|
|
|
defect
|
somebody
|
new
|
11/09/09
|
|
#364
|
Compiler scope checking broken for simple spec example
|
static analysis
|
|
|
defect
|
EricAllen
|
new
|
11/13/09
|
|
#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
|
|
#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
|
|
#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
|
|
#311
|
Update description of dependencies
|
wiki
|
|
|
enhancement
|
somebody
|
new
|
12/04/08
|
|
#296
|
Syntax prevents reporting of trivial syntax error
|
language change
|
|
|
language change
|
sukyoungryu
|
new
|
10/31/08
|
|
#4
|
implement getters/setters
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
07/18/07
|
|
#10
|
Implement type Object
|
interpreter
|
|
|
task
|
jmaessen
|
new
|
08/14/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
|
|
#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
|
|
#74
|
Move top-level operations into functional methods where appropriate
|
interpreter
|
|
|
task
|
jmaessen
|
assigned
|
03/30/08
|
|
#80
|
Populate Numeric hierarchy
|
interpreter
|
|
|
task
|
jmaessen
|
assigned
|
04/15/08
|
|
#98
|
Unsigned types
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/02/08
|
|
#113
|
Overloading of local functions is not implemented.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/22/08
|
|
#120
|
invoking methods with the same name as a field produces a confusing error
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/28/08
|
|
#132
|
I left some undone work in Abstract Syntax - missing originalName fields
|
interpreter
|
|
|
task
|
jdn
|
new
|
06/16/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
|
|
#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
|
|
#188
|
Implement dimension / unit checking
|
static analysis
|
|
|
task
|
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
|
|
#232
|
Method contracts and overloaded functional contracts preserve substitutability under subtyping.
|
static analysis
|
|
|
task
|
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
|
|
#245
|
Implement multifix operators.
|
interpreter
|
|
|
task
|
dr2chase
|
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
|
|
#262
|
Work out the rules of definite assignment.
|
interpreter
|
|
|
task
|
EricAllen
|
new
|
09/15/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
|
|
#277
|
Use exprString/debugString/asString instead of toString.
|
library
|
|
|
task
|
jmaessen
|
new
|
10/06/08
|
|
#282
|
multi-dimensional arrays
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#290
|
Can't import File interface
|
static analysis
|
|
|
task
|
jmaessen
|
new
|
10/29/08
|
|
#308
|
Static checking fails to reject static parameterized reference to missing function
|
static analysis
|
|
|
task
|
EricAllen
|
new
|
11/19/08
|
|
#331
|
Build Failed on Windows XP
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
03/30/09
|
|
#337
|
For "value" objects and traits, setters return a new instance of the object with the "set" field changed rather than void.
|
static analysis
|
|
|
task
|
sukyoungryu
|
new
|
05/26/09
|
|
#344
|
Check that compound APIs are well formed
|
static analysis
|
|
|
task
|
sukyoungryu
|
new
|
06/12/09
|
|
#345
|
Turn implicit exports related to compound APIs into explicit exports
|
build
|
|
|
task
|
EricAllen
|
new
|
06/12/09
|
|
#346
|
Check that any functional that performs an I/O action must be declared with the io modifier.
|
static analysis
|
|
|
task
|
sukyoungryu
|
new
|
06/16/09
|