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