|
#340
|
Simple dotted methods on singleton objects are not compiling
|
build
|
|
|
task
|
chf
|
new
|
06/05/09
|
|
#196
|
Add indices for APIs and components to the cache/repository
|
build
|
|
|
enhancement
|
EricAllen
|
assigned
|
08/20/08
|
|
#345
|
Turn implicit exports related to compound APIs into explicit exports
|
build
|
|
|
task
|
EricAllen
|
new
|
06/12/09
|
|
#357
|
Codegen is sensitive to top level binding order
|
build
|
|
|
task
|
EricAllen
|
new
|
08/17/09
|
|
#361
|
Deal with case sensitivity of class names
|
codegen
|
|
|
defect
|
jmaessen
|
assigned
|
11/02/09
|
|
#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
|
|
#326
|
Frustrating Heisenbug with InheritedMethod
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
02/13/09
|
|
#353
|
fortress typecheck success causes subsequent fortress compile to silently generate no code
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
07/21/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
|
|
#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
|
|
#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
|
|
#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
|
|
#4
|
implement getters/setters
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
07/18/07
|
|
#10
|
Implement type Object
|
interpreter
|
|
|
task
|
jmaessen
|
new
|
08/14/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
|
|
#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
|
|
#204
|
Typecase without an explicit binding with an object parameter doesn't work.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/20/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
|
|
#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
|
|
#266
|
The interpreter does not handle a declaration of _ with a type annotation correctly.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
09/25/08
|
|
#282
|
multi-dimensional arrays
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#331
|
Build Failed on Windows XP
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
03/30/09
|
|
#354
|
compile_err_equals doesn't recognize fwd-slash back-slash equivalence
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/11/09
|
|
#85
|
Error messages print extraneous information
|
interpreter
|
1.0
|
|
cleanup
|
dr2chase
|
new
|
04/18/08
|
|
#90
|
Argument fixups are done in two different ways
|
interpreter
|
|
|
cleanup
|
jmaessen
|
new
|
04/21/08
|
|
#88
|
fortify assumes comments are valid LaTeX
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
04/20/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
|
|
#105
|
Explicit type instantiation does not check the bound of the corresponding type parameter.
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
05/08/08
|
|
#124
|
Static arithmetic sometimes uses ZZ32 when ZZ64 is specified
|
interpreter
|
|
|
defect
|
jmaessen
|
new
|
06/01/08
|
|
#157
|
import ... except causes interpreter problems
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
07/18/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
|
|
#237
|
auxiliary test methods cannot be given the test qualifier
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
08/25/08
|
|
#276
|
Fortress caching not robust to timestamp and name collisions
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
10/05/08
|
|
#286
|
Use of a "naked" getter not rejected by disambigutor
|
interpreter
|
|
|
defect
|
EricAllen
|
new
|
10/15/08
|
|
#299
|
missing generated environment for automatically imported API
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
11/04/08
|
|
#303
|
having more processors slows down sequential loop
|
interpreter
|
|
|
defect
|
jmaessen
|
new
|
11/06/08
|
|
#355
|
fortress.bat not up-to-date for Windows XP environment
|
interpreter
|
|
|
defect
|
dr2chase
|
new
|
08/11/09
|
|
#285
|
Apparent ambiguity between binding and equality test
|
interpreter
|
|
|
enhancement
|
dr2chase
|
new
|
10/13/08
|
|
#9
|
Implement local polymorphic functions
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/14/07
|
|
#49
|
Complete implementation of opr parameters
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
12/07/07
|
|
#102
|
fortress in nondebug mode cannot print null pointer exception errors
|
interpreter
|
|
|
task
|
david
|
new
|
05/08/08
|
|
#112
|
bin/fortress should have a -version option
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/21/08
|
|
#114
|
The Executable API is hardwired in the interpreter.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/22/08
|
|
#130
|
A trait that extends itself causes a stack overflow
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
06/14/08
|
|
#281
|
Ensures clause ignored in api
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/10/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
|
|
#263
|
Failed Fortress executions should return a false value as command-line calls
|
interpreter
|
1.0
|
|
defect
|
dr2chase
|
new
|
09/23/08
|
|
#302
|
Silly output message reduces our credibility
|
interpreter
|
|
|
enhancement
|
dr2chase
|
new
|
11/06/08
|
|
#323
|
Type names and function names should be in disjoint namespaces.
|
language change
|
|
|
enhancement
|
sukyoungryu
|
new
|
01/23/09
|
|
#296
|
Syntax prevents reporting of trivial syntax error
|
language change
|
|
|
language change
|
sukyoungryu
|
new
|
10/31/08
|
|
#298
|
Gratuitous parens required around do/end in expression context
|
language change
|
|
|
language change
|
sukyoungryu
|
new
|
11/03/08
|
|
#304
|
Loose operators || and // have incomparable precedence
|
language change
|
|
|
language change
|
sukyoungryu
|
new
|
11/06/08
|
|
#259
|
type checker appears to find missing library definition for MAX and MIN for ZZ32
|
library
|
|
|
defect
|
EricAllen
|
new
|
09/15/08
|
|
#307
|
Set/Map clash
|
library
|
|
|
defect
|
jmaessen
|
assigned
|
11/18/08
|
|
#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
|
|
#37
|
Make a common Set type and Map type
|
library
|
1.0
|
|
task
|
anybody
|
new
|
11/07/07
|
|
#159
|
List doesn't define big ||
|
library
|
|
|
task
|
jmaessen
|
new
|
08/12/08
|
|
#277
|
Use exprString/debugString/asString instead of toString.
|
library
|
|
|
task
|
jmaessen
|
new
|
10/06/08
|
|
#297
|
ZZ32 runs out of steam, but we should be in the domain of ZZ64
|
library
|
|
|
defect
|
victorl
|
new
|
11/01/08
|
|
#21
|
Add overlap detection to subrange assignment
|
library
|
|
|
task
|
jmaessen
|
new
|
09/26/07
|
|
#254
|
Implement the new string concatenation and juxtaposition story
|
parser
|
|
|
task
|
sukyoungryu
|
new
|
09/13/08
|
|
#289
|
Static analysis uses name of static opr parameter as (functional) method name
|
static analysis
|
1.0
|
|
defect
|
EricAllen
|
new
|
10/28/08
|