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