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