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