id,summary,status,type,priority,milestone,component
2,Check class instances against their definitions.,assigned,defect,blocker,0.1.3,Type Inferencer
155,"PANIC ""mergeClasses: classes have differing kinds"" in my Hashtable first cut",assigned,defect,blocker,0.1.3,Core Type Checker
7,Merge projection dictionaries from different modules.,assigned,defect,blocker,0.1.3,Source Desugarer
16,Add type bindings,new,enhancement,blocker,0.1.3,Source Parser
172,Lexer generates incorrect token sequence,assigned,defect,blocker,0.1.3,Source Parser
173,Faliure to parse type annotations within list defintion,assigned,defect,blocker,0.1.3,Source Parser
161,Implement let qualifiers for list comprehensions,assigned,enhancement,normal,0.1.3,Source Parser
70,Implement operator sectioning,new,enhancement,project,,Source Parser
107,Definition order should not be important in  where block,assigned,enhancement,project,_|_,Source Semantics
108,No support for infix operator definitions,new,enhancement,project,_|_,Source Parser
79,Kind inference checking problem for mutable tuples,new,defect,blocker,0.1.4,Source Type Inferencer
34,Check inferred type against signatures.,new,enhancement,blocker,0.1.4,Source Type Inferencer
67,Compiler panic applying polymorphic functions to unboxed values,new,defect,blocker,0.1.4,Core Type Checker
68,Do kind checking during constraint generation.,new,defect,blocker,0.1.4,Source Type Inferencer
73,Bad core generated for recursive function with projections,new,defect,blocker,0.1.3,Source to Core Translation
81,Bug in core type checker,new,defect,blocker,0.1.3,Build System
83,Look in data definition when checking dangerous vars,new,enhancement,blocker,0.1.5,Source Type Inferencer
86,Use Haskell/GHC style pragma instead of a pragma keyword,new,newbie,blocker,0.1.5,Build System
160,Runtime crash with recursive bindings,new,defect,blocker,0.1.3,Runtime System
163,Elaboration of class constructors isn't respecting their kinds,new,defect,blocker,0.1.3,Source Desugarer
167,Missing constraints in interface files.,new,defect,blocker,0.1.3,Core Type Checker
168,Module exporter re-exports projections it has  imported,new,defect,blocker,0.1.3,Unknown
181,Fix display of node effects in type error messages,new,defect,blocker,0.1.3,Source Type Inferencer
188,"Bad quantifier in type for ""undefined""",new,defect,blocker,0.1.3,Source Type Inferencer
11,Resurrect Core.Inline,new,enhancement,normal,0.1.5,Core Transforms
15,Ensure we're sharing constant values of enumeration type.,new,newbie,normal,0.1.3,Core Transforms
17,Check profiling and ticky counters in runtime system and add tests,new,newbie,normal,,Runtime System
19,Erase calls to prim.force on objects in direct regions during Core.Simplify,new,enhancement,normal,0.1.4,Core Transforms
20,Implement the rest of the primitive types.,new,enhancement,normal,0.1.5,Libraries
24,Allow resumption of tests in bin/war test driver,new,enhancement,normal,,Build System
37,Fix closure trimming of data types containing functions.,new,defect,normal,,Source Type Inferencer
40,Check for overlapping projection dictionaries during type inference,new,defect,normal,0.1.4,Source Parser
41,Refactor occurance checker to improve speed.,new,refactor,normal,0.1.4,Source Type Inferencer
47,"Package DDC into Cabal, and streamline install process.",new,task,normal,,Build System
50,Emit error for dangerous vars at top level.,new,defect,normal,0.1.5,Source Type Inferencer
52,Auto export class instance functions,new,enhancement,normal,0.1.5,Source Desugarer
87,Support type constraints on constructor,new,enhancement,normal,0.1.5,Source Parser
88,Allow data fields to be listed with the offside rule,new,enhancement,normal,0.1.5,Source Parser
89,Test out effect constructors with interesting kinds,new,task,normal,0.1.5,Source Type Inferencer
90,Support default instances in type class declarations.,new,enhancement,normal,0.1.5,Source Parser
157,Do a more fine-grained dangerous variables check,new,enhancement,normal,0.1.5,Source Type Inferencer
186,Source.Defix.hs: Non-exhaustive patterns in lambda,new,newbie,normal,,Source Semantics
187,"Write tests for Data,ArrayU module.",new,newbie,normal,,Runtime System
189,Check for missing quantifiers in type class definitions.,new,defect,normal,0.1.3,Source Desugarer
190,Bad parser error message,new,defect,normal,0.1.3,Source Parser
1,Check for partial application of functions to unboxed args.,new,defect,minor,0.1.3,Core to Sea Translation
3,Check Shape witnesses in core,new,enhancement,minor,,Core Type Checker
4,Check for unsound erasure of type lambdas in core to sea translation,new,enhancement,minor,,Core to Sea Translation
6,Check format of source pragmas.,new,defect,minor,,Source Parser
9,Disallow unboxed data being present in function closures.,new,defect,minor,0.1.4,Core Type Checker
18,Refactor Core.Exp to push XPrim calls into new data type,new,refactor,minor,,Core Transforms
29,Check well-formedness of bound witnesses in letregion,new,enhancement,minor,,Build System
32,Don't panic if user Control-C's GCC,new,enhancement,minor,,Compilation Driver
38,Refactor Util.Pretty to use Data.Seq instead of Data.List,new,refactor,minor,,Compilation Driver
46,Compile base libraries into .so,new,enhancement,minor,,Compilation Driver
85,Create large pinned memory blocks automatically,new,enhancement,minor,,Runtime System
145,Add a point free case expression,new,enhancement,minor,,Source Parser
185,Refactor function ddcCompile to use ddcMake,new,refactor,minor,,Build System
30,Emit a better error message when reading an empty interface file.,new,defect,trivial,,Compilation Driver
8,Add a full set of unboxed casting operators.,new,enhancement,project,,Libraries
12,Revisit exception mechanism,new,task,project,,Source Type Inferencer
13,Share GC stack slots in Sea code,new,enhancement,project,,Core to Sea Translation
14,Implement full laziness transform,new,enhancement,project,,Core Transforms
22,Mask mutability constraints on fresh data,new,enhancement,project,,Source Type Inferencer
23,Mask effects on fresh data,new,enhancement,project,,Source Type Inferencer
25,Investigate support for polymorphic recursion,new,task,project,,Source Type Inferencer
27,Rewrite primitive functions from RTS in Disciple,new,refactor,project,,Libraries
28,"When defining projections, auto-open the other fns in the projection",new,enhancement,project,,Source Parser
31,Implement dictionary passing.,new,enhancement,project,,Source to Core Translation
35,Allow embedded mutually recursive definitions.,new,enhancement,project,,Source Type Inferencer
44,Fix elaboration of recursive data types.,new,defect,project,,Source Type Inferencer
48,Make a better graphics library,new,task,project,,Libraries
49,Add monadic do expressions.,new,enhancement,project,,Source Parser
54,Allow non-effectful CAFs to be recursive.,new,task,project,,Build System
63,Mask closure terms which are constant,new,task,project,,Source Type Inferencer