id,summary,status,owner,type,priority,milestone
1,Check for partial application of functions to unboxed args.,new,,defect,minor,0.1.3
2,Check class instances against their definitions.,assigned,benl,defect,blocker,0.1.3
6,Check format of source pragmas.,new,,defect,minor,
7,Merge projection dictionaries from different modules.,assigned,erikd,defect,blocker,0.1.3
9,Disallow unboxed data being present in function closures.,new,,defect,minor,0.1.4
30,Emit a better error message when reading an empty interface file.,new,,defect,trivial,
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
44,Fix elaboration of recursive data types.,new,,defect,project,
50,Emit error for dangerous vars at top level.,new,,defect,normal,0.1.5
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
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
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
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,
8,Add a full set of unboxed casting operators.,new,,enhancement,project,
11,Resurrect Core.Inline,new,,enhancement,normal,0.1.5
13,Share GC stack slots in Sea code,new,,enhancement,project,
14,Implement full laziness transform,new,,enhancement,project,
16,Add type bindings,new,erikd,enhancement,blocker,0.1.3
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
22,Mask mutability constraints on fresh data,new,,enhancement,project,
23,Mask effects on fresh data,new,,enhancement,project,
24,Allow resumption of tests in bin/war test driver,new,,enhancement,normal,
28,"When defining projections, auto-open the other fns in the projection",new,,enhancement,project,
29,Check well-formedness of bound witnesses in letregion,new,,enhancement,minor,
31,Implement dictionary passing.,new,,enhancement,project,
32,Don't panic if user Control-C's GCC,new,,enhancement,minor,
34,Check inferred type against signatures.,new,,enhancement,blocker,0.1.4
35,Allow embedded mutually recursive definitions.,new,,enhancement,project,
46,Compile base libraries into .so,new,,enhancement,minor,
49,Add monadic do expressions.,new,,enhancement,project,
52,Auto export class instance functions,new,,enhancement,normal,0.1.5
70,Implement operator sectioning,new,erikd,enhancement,project,
83,Look in data definition when checking dangerous vars,new,,enhancement,blocker,0.1.5
85,Create large pinned memory blocks automatically,new,,enhancement,minor,
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
90,Support default instances in type class declarations.,new,,enhancement,normal,0.1.5
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,_|_
145,Add a point free case expression,new,,enhancement,minor,
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
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,
86,Use Haskell/GHC style pragma instead of a pragma keyword,new,,newbie,blocker,0.1.5
186,Source.Defix.hs: Non-exhaustive patterns in lambda,new,,newbie,normal,
187,"Write tests for Data,ArrayU module.",new,,newbie,normal,
18,Refactor Core.Exp to push XPrim calls into new data type,new,,refactor,minor,
27,Rewrite primitive functions from RTS in Disciple,new,,refactor,project,
38,Refactor Util.Pretty to use Data.Seq instead of Data.List,new,,refactor,minor,
41,Refactor occurance checker to improve speed.,new,,refactor,normal,0.1.4
185,Refactor function ddcCompile to use ddcMake,new,,refactor,minor,
12,Revisit exception mechanism,new,,task,project,
25,Investigate support for polymorphic recursion,new,,task,project,
47,"Package DDC into Cabal, and streamline install process.",new,,task,normal,
48,Make a better graphics library,new,,task,project,
54,Allow non-effectful CAFs to be recursive.,new,,task,project,
63,Mask closure terms which are constant,new,,task,project,
89,Test out effect constructors with interesting kinds,new,,task,normal,0.1.5