| #289 |
Static analysis uses name of static opr parameter as (functional) method name
|
new
|
EricAllen
|
defect
|
blocker
|
|
| #291 |
Indexed setters appear to use the same naming as indexed getters.
|
new
|
dr2chase
|
defect
|
blocker
|
|
| #326 |
Frustrating Heisenbug with InheritedMethod
|
new
|
dr2chase
|
task
|
blocker
|
|
| #328 |
Generic functional methods are rejected during interpreter initialization
|
new
|
dr2chase
|
defect
|
blocker
|
|
| #332 |
Static tests overwrite .class file generated by testSystem
|
new
|
EricAllen
|
defect
|
blocker
|
|
| #360 |
Singleton cannot be both exported and used in the defining component
|
new
|
EricAllen
|
defect
|
blocker
|
|
| #33 |
Type inference for method calls
|
new
|
dr2chase
|
task
|
critical
|
|
| #57 |
Update ProjectStatus
|
new
|
dr2chase
|
task
|
critical
|
|
| #233 |
Abstract function declarations should be covered by a set of concrete function declarations in a component.
|
new
|
EricAllen
|
defect
|
critical
|
|
| #315 |
Shell tests don't work when run from ProjectFortress
|
new
|
dr2chase
|
task
|
critical
|
|
| #323 |
Type names and function names should be in disjoint namespaces.
|
new
|
sukyoungryu
|
enhancement
|
critical
|
|
| #329 |
Major oversight: tuple varargs lead to overloading ambiguities
|
new
|
jmaessen
|
task
|
critical
|
|
| #333 |
Duplicate ComponentEnv class file generation for objectCC tests
|
new
|
dr2chase
|
task
|
critical
|
|
| #340 |
Simple dotted methods on singleton objects are not compiling
|
new
|
chf
|
task
|
critical
|
|
| #352 |
An attachement (plav.html) on ticket 11 is an advertisment for Plavix and may be infected.
|
assigned
|
dr2chase
|
task
|
critical
|
|
| #353 |
fortress typecheck success causes subsequent fortress compile to silently generate no code
|
new
|
dr2chase
|
defect
|
critical
|
|
| #361 |
Deal with case sensitivity of class names
|
assigned
|
jmaessen
|
defect
|
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
|
|
| #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
|
|
| #170 |
Check that overloaded functional declarations are well-formed
|
new
|
EricAllen
|
enhancement
|
major
|
|
| #173 |
Design and implement the checks necessary for a sounds component system
|
assigned
|
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
|
|
| #186 |
Check that fields of value objects are not modifiable
|
new
|
EricAllen
|
enhancement
|
major
|
|
| #188 |
Implement dimension / unit checking
|
new
|
EricAllen
|
task
|
major
|
|
| #193 |
Check that case/typecase clauses are jointly exhaustive
|
new
|
EricAllen
|
enhancement
|
major
|
|
| #195 |
Check that qualified references are unambiguous
|
new
|
sukyoungryu
|
enhancement
|
major
|
|
| #196 |
Add indices for APIs and components to the cache/repository
|
assigned
|
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
|
|
| #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
|
|
| #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
|
|
| #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
|
|
| #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
|
|
| #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
|
|
| #282 |
multi-dimensional arrays
|
new
|
dr2chase
|
task
|
major
|
|
| #290 |
Can't import File interface
|
new
|
jmaessen
|
task
|
major
|
|
| #296 |
Syntax prevents reporting of trivial syntax error
|
new
|
sukyoungryu
|
language change
|
major
|
|
| #300 |
Contracts on abstract methods are ignored
|
new
|
dr2chase
|
defect
|
major
|
|
| #307 |
Set/Map clash
|
assigned
|
jmaessen
|
defect
|
major
|
|
| #308 |
Static checking fails to reject static parameterized reference to missing function
|
new
|
EricAllen
|
task
|
major
|
|
| #311 |
Update description of dependencies
|
new
|
somebody
|
enhancement
|
major
|
|
| #317 |
"fortress test" re-initializes the world numerous times
|
new
|
chf
|
defect
|
major
|
|
| #320 |
Missing import entities cause Java-level exception
|
new
|
dr2chase
|
defect
|
major
|
|
| #321 |
stack overflow in type system
|
new
|
dr2chase
|
defect
|
major
|
|
| #331 |
Build Failed on Windows XP
|
new
|
dr2chase
|
task
|
major
|
|
| #337 |
For "value" objects and traits, setters return a new instance of the object with the "set" field changed rather than void.
|
new
|
sukyoungryu
|
task
|
major
|
|
| #344 |
Check that compound APIs are well formed
|
new
|
sukyoungryu
|
task
|
major
|
|
| #345 |
Turn implicit exports related to compound APIs into explicit exports
|
new
|
EricAllen
|
task
|
major
|
|
| #346 |
Check that any functional that performs an I/O action must be declared with the io modifier.
|
new
|
sukyoungryu
|
task
|
major
|
|
| #347 |
Tuple expressions/types and function parameters with varargs and/or keywords are well formed.
|
new
|
sukyoungryu
|
task
|
major
|
|