id summary owner type priority component version 93 Module names need to be filtred in generated C code benl defect trivial Compilation Driver 0.1.2 94 Fix option parser to be more forgiving defect normal Compilation Driver 0.1.2 96 ellipsis in list generator expressions not comprehensive enough erikd defect normal Unknown 97 Error in parsing end of {- -} comments erikd defect normal Source Parser 0.1.2 165 Fix build dependencies erikd defect normal Build System 5 Check that top level CAFs don't have side effects. bens defect blocker Core Type Checker 0.1.2 43 Core.Reconstruct isn't using the PCtor defs. refactor blocker Source to Core Translation 55 Combine function bindings in projection dictionaries defect blocker Source Desugarer 0.1.2 57 Don't try and make a module that doesn't include main defect blocker Compilation Driver 0.1.2 58 Panic in type inferencer defect blocker Source Type Inferencer 0.1.2 59 Parsing fails when a block comment ends on an import line defect blocker Source Parser 0.1.2 61 Desugaring pattern matches with guards is broken benl defect blocker Source Desugarer 0.1.2 62 Parsing or desugaring of field initialisers is broken defect blocker Source Desugarer 0.1.2 64 Parsing problems with when/irrefutable patterns defect blocker Source Parser 0.1.2 65 Parsing problems with where/irrefutable patterns defect blocker Source Parser 0.1.2 66 Fix parsing and printing of Bot for effect and closures. defect blocker Source Parser 0.1.2 69 Better error message when region and closure vars appear in terms benl defect blocker Source Parser 0.1.2 72 Kind error with projections in recursive function -- defect blocker Source Type Inferencer 0.1.2 75 Unresolved TApp during inference defect blocker Source Type Inferencer 0.1.2 76 Compilation time is exponential in depth of constructor nesting task blocker Source Type Inferencer 77 crushProjClassT panics when there are type errors erikd defect blocker Source Type Inferencer 0.1.2 78 Renamer problems in data type defs defect blocker Source Parser 0.1.2 80 Allow projections to be added foreign imported unboxed types erikd defect blocker Source Desugarer 0.1.2 82 Shape crusher isn't preserving effect and closure terms benl defect blocker Source Type Inferencer 0.1.2 84 Fix postgeneralisation check. defect blocker Source Type Inferencer 0.1.2 92 Better error message when trying to define an instance of an unknown class benl defect blocker Source Parser 0.1.2 95 Parse error with lists erikd defect blocker Source Parser 0.1.2 99 Finding which modules needs to be rebuilt is grossly inefficient. erikd defect blocker Runtime System 0.1.2 100 Output gets printed twice benl defect blocker Source Type Inferencer 0.1.2 102 Closure/IntFun test produces bad core when compiled with -O defect blocker Core Transforms 0.1.2 104 Renamer problem with class functions defect blocker Source Desugarer 0.1.2 142 Export type followed by data definition incorrectly results in ErrorRdefinedData benl defect blocker Source Parser 0.1.2 143 Type signature without implementation should be an error benl defect blocker Source Semantics 0.1.2 144 Need better error message when source file does not exist erikd defect blocker Compilation Driver 0.1.2 147 Parse error on let erikd defect blocker Source Parser 0.1.2 149 PANIC in Type.Crush.Unify benl defect blocker Core Type Checker 0.1.2 150 PANIC in Type.Location defect blocker Core Type Checker 0.1.2 151 PANIC in Source.DefixApps ($ do) erikd defect blocker Source Desugarer 0.1.2 152 Merge Core.Util.Pack with Type.Util.Pack benl refactor blocker Source Type Inferencer 0.1.2 153 Merge Core.Util.Trim with Type.Util.Trim benl refactor blocker Source Type Inferencer 0.1.2 154 Refactor TFetters to TConstrained benl refactor blocker Source Type Inferencer 0.1.2 158 PANIC in Type.Solve : floatBranch: can't find branch for index benl defect blocker Compilation Driver 0.1.2 159 Infix quotes have wrong precedence erikd defect blocker Libraries 0.1.2 162 Handle patterns in left of list comprehension generators. erikd defect blocker Source Desugarer 0.1.2 164 TinyPTC-X11 doesn't build on Debian unstable erikd defect blocker Build System 166 Infixl/Infixr do not accept backtick quote names erikd defect blocker Source Parser 0.1.2 170 Improve warning message output and extend war driver to check for warnings. erikd enhancement blocker Source Semantics 171 Parse error on list comprehension bens defect blocker Source Parser 0.1.2 174 Type mismatch during unification erikd defect blocker Source Parser 175 Bad pattern match code generated for list comprehension erikd defect blocker Core to Sea Translation 177 Configure does not correctly detect 32 bit user space on 64 bit kernel erikd defect blocker Build System 179 ddc: Bad code generated for statement containing nothing but a curried function. erikd defect blocker Core to Sea Translation 180 Segmentation fault on updating a Ref Tac-Tics defect blocker Runtime System 182 Fix Order4-5 example benl defect blocker Source Type Inferencer 183 Fix minimumBy thing in raytracer defect blocker Core Type Checker 0.1.2 191 ddc doesn't find modules in current directory erikd defect blocker Compilation Driver 0.1.2 148 DDC fails the man or boy test. erikd defect blocker Unknown 0.1.2 56 Bad core produced from lambda abstraction defect blocker Source to Core Translation 0.1.2 169 Module exporter re-exports projections it has imported defect blocker Unknown 0.1.2 178 PANIC in Core.Reconstruct reconX/Prim due to using boxInt32 where a polymorphic function is expected. defect blocker Core Transforms