Custom Query (79 matches)

Filters
 
Columns

Show under each result:

Status: assigned (6 matches)

Ticket Summary Owner Type Priority Component Version
#2 Check class instances against their definitions. benl defect blocker Type Inferencer 0.1.2
#7 Merge projection dictionaries from different modules. erikd defect blocker Source Desugarer 0.1.2
#155 PANIC "mergeClasses: classes have differing kinds" in my Hashtable first cut benl defect blocker Core Type Checker 0.1.2
#161 Implement let qualifiers for list comprehensions erikd enhancement normal Source Parser 0.1.2
#172 Lexer generates incorrect token sequence erikd defect blocker Source Parser
#173 Faliure to parse type annotations within list defintion erikd defect blocker Source Parser

Status: closed (60 matches)

Ticket Summary Owner Type Priority Component Version
#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
#56 Bad core produced from lambda abstraction defect blocker Source to Core Translation 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
#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
#95 Parse error with lists erikd defect blocker Source Parser 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
#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
#148 DDC fails the man or boy test. erikd defect blocker Unknown 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
#165 Fix build dependencies erikd defect normal Build System
#166 Infixl/Infixr do not accept backtick quote names erikd defect blocker Source Parser 0.1.2
#169 Module exporter re-exports projections it has imported defect blocker Unknown 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
#178 PANIC in Core.Reconstruct reconX/Prim due to using boxInt32 where a polymorphic function is expected. defect blocker Core Transforms
#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

Status: new (13 matches)

Ticket Summary Owner Type Priority Component Version
#1 Check for partial application of functions to unboxed args. defect minor Core to Sea Translation 0.1.2
#15 Ensure we're sharing constant values of enumeration type. newbie normal Core Transforms
#16 Add type bindings erikd enhancement blocker Source Parser
#73 Bad core generated for recursive function with projections defect blocker Source to Core Translation 0.1.2
#81 Bug in core type checker defect blocker Build System 0.1.2
#160 Runtime crash with recursive bindings defect blocker Runtime System 0.1.2
#163 Elaboration of class constructors isn't respecting their kinds defect blocker Source Desugarer 0.1.2
#167 Missing constraints in interface files. defect blocker Core Type Checker
#168 Module exporter re-exports projections it has imported defect blocker Unknown 0.1.2
#181 Fix display of node effects in type error messages defect blocker Source Type Inferencer
#188 Bad quantifier in type for "undefined" defect blocker Source Type Inferencer 0.1.2
#189 Check for missing quantifiers in type class definitions. defect normal Source Desugarer 0.1.2
#190 Bad parser error message defect normal Source Parser 0.1.2
Note: See TracQuery for help on using queries.