Custom Query (13 matches)

Filters
 
Columns

Show under each result:


Status: closed (5 matches)

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

Status: new (8 matches)

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