Custom Query (13 matches)

Filters
 
Columns

Show under each result:


Status: closed (5 matches)

Ticket Summary Owner Type Priority Component Version
#26 Improve runtime of Core.Reconstruct. enhancement normal Core Type Checker
#33 Check for conflicting projection functions. erikd defect normal Build System 0.1.2
#39 Emit an error if modules are recursive. erikd defect normal Compilation Driver
#53 Check for name shadowing in forall quantifiers. erikd defect blocker Source Parser 0.1.2
#71 Better error message for unimplemented class functions erikd defect blocker Source Parser 0.1.2

Status: new (8 matches)

Ticket Summary Owner Type Priority Component Version
#41 Refactor occurance checker to improve speed. refactor normal Source Type Inferencer
#19 Erase calls to prim.force on objects in direct regions during Core.Simplify enhancement normal Core Transforms
#34 Check inferred type against signatures. enhancement blocker Source Type Inferencer
#9 Disallow unboxed data being present in function closures. defect minor Core Type Checker 0.1.2
#40 Check for overlapping projection dictionaries during type inference defect normal Source Parser 0.1.2
#67 Compiler panic applying polymorphic functions to unboxed values defect blocker Core Type Checker 0.1.2
#68 Do kind checking during constraint generation. defect blocker Source Type Inferencer 0.1.2
#79 Kind inference checking problem for mutable tuples -- defect blocker Source Type Inferencer 0.1.2
Note: See TracQuery for help on using queries.