Custom Query (257 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (1 - 100 of 257)

1 2 3
Ticket Summary Owner Type Priority Milestone Component
#5 Check that top level CAFs don't have side effects. bens defect blocker Core Type Checker
#7 Merge projection dictionaries from different modules. erikd defect blocker Source Desugarer
#43 Core.Reconstruct isn't using the PCtor defs. refactor blocker Source to Core Translation
#53 Check for name shadowing in forall quantifiers. erikd defect blocker Source Parser
#55 Combine function bindings in projection dictionaries defect blocker Source Desugarer
#57 Don't try and make a module that doesn't include main defect blocker Compilation Driver
#58 Panic in type inferencer defect blocker Source Type Inferencer
#59 Parsing fails when a block comment ends on an import line defect blocker Source Parser
#60 Matching against literal strings is broken defect blocker Source Desugarer
#61 Desugaring pattern matches with guards is broken benl defect blocker Source Desugarer
#62 Parsing or desugaring of field initialisers is broken defect blocker Source Desugarer
#64 Parsing problems with when/irrefutable patterns defect blocker Source Parser
#65 Parsing problems with where/irrefutable patterns defect blocker Source Parser
#66 Fix parsing and printing of Bot for effect and closures. defect blocker Source Parser
#69 Better error message when region and closure vars appear in terms benl defect blocker Source Parser
#71 Better error message for unimplemented class functions erikd defect blocker Source Parser
#72 Kind error with projections in recursive function defect blocker Source Type Inferencer
#75 Unresolved TApp during inference defect blocker Source Type Inferencer
#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
#78 Renamer problems in data type defs defect blocker Source Parser
#80 Allow projections to be added foreign imported unboxed types erikd defect blocker Source Desugarer
#82 Shape crusher isn't preserving effect and closure terms benl defect blocker Source Type Inferencer
#84 Fix postgeneralisation check. defect blocker Source Type Inferencer
#92 Better error message when trying to define an instance of an unknown class benl defect blocker Source Parser
#95 Parse error with lists erikd defect blocker Source Parser
#99 Finding which modules needs to be rebuilt is grossly inefficient. erikd defect blocker Runtime System
#100 Output gets printed twice benl defect blocker Source Type Inferencer
#102 Closure/IntFun test produces bad core when compiled with -O defect blocker Core Transforms
#103 Not able to parse 'a, b, c :: Type' style type signatures erikd defect blocker Source Parser
#104 Renamer problem with class functions defect blocker Source Desugarer
#106 Add support for Int64 and Float64 types. erikd defect blocker Libraries
#109 Quickcheck tests pass with quickcheck1, fail with quickcheck2. erikd defect blocker Unknown
#142 Export type followed by data definition incorrectly results in ErrorRdefinedData benl defect blocker Source Parser
#143 Type signature without implementation should be an error benl defect blocker Source Semantics
#144 Need better error message when source file does not exist erikd defect blocker Compilation Driver
#146 Report error on instance redefinition erikd defect blocker Source Parser
#147 Parse error on let erikd defect blocker Source Parser
#149 PANIC in Type.Crush.Unify benl defect blocker Core Type Checker
#150 PANIC in Type.Location defect blocker Core Type Checker
#151 PANIC in Source.DefixApps ($ do) erikd defect blocker Source Desugarer
#152 Merge Core.Util.Pack with Type.Util.Pack benl refactor blocker Source Type Inferencer
#153 Merge Core.Util.Trim with Type.Util.Trim benl refactor blocker Source Type Inferencer
#154 Refactor TFetters to TConstrained benl refactor blocker Source Type Inferencer
#158 PANIC in Type.Solve : floatBranch: can't find branch for index benl defect blocker Compilation Driver
#159 Infix quotes have wrong precedence erikd defect blocker Libraries
#162 Handle patterns in left of list comprehension generators. erikd defect blocker Source Desugarer
#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
#168 Module exporter re-exports projections it has imported defect blocker Unknown
#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
#172 Lexer generates incorrect token sequence erikd defect blocker Source Parser
#173 Parse type annotations on source expressions benl enhancement blocker Source Parser
#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
#184 Main function not generated when needed using 'bin/ddc -c Module,ds' erikd defect blocker Compilation Driver
#191 ddc doesn't find modules in current directory erikd defect blocker Compilation Driver
#210 Wrong Constructor order in interface file erikd defect blocker Unknown
#229 Thoth doesn't always detect failed builds defect blocker 0.3.0 Build Bot (thoth)
#232 Build race with shell script tests. defect blocker 0.3.0 Test runner (war)
#246 universeFromType1 gives wrong result defect blocker 0.3.0 Core Type Checker
#259 Well-formedness check for distinct witnesses is too weak. tranma defect blocker 0.3.0 Core Type Checker
#294 Code generator bugs with transformed Reverse program. defect blocker 0.3.0 Core to Sea Translation
#382 Using '$' between to constructor and its argument causes a segfault. defect blocker 0.4.3 Core to Sea Translation
#398 Make github front page contain some getting started or tutorial info, rather than release notes. document blocker Unknown
#432 Check shadowing of rules in Inst judgement defect blocker Source Type Inferencer
#435 Handle LLVM 4.0, check about LLVM 5.0 defect blocker Core to Sea Translation
#212 Tail-call optimisation doesn't work with 32-bit LLVM benl defect high 0.3.0 Unknown
#235 Handle casts in head position. defect high Core Interpreter
#236 Lex )> symbol separately to avoid conflict with witness args. defect high Core Parser
#237 Handle spill components of sums in type equivalence checker. defect high Core Type Checker
#238 Check for witness conflicts in initial expresson defect high Core Interpreter
#239 Maintain proper source positions defect high Core Parser
#243 Partially applied primitives get stuck during evaluation. benl defect high 0.3.0 Core Type Checker
#244 Bad error message for type vars used as val vars defect high 0.3.0 Core Type Checker
#245 Free vars check is broken defect high 0.3.0 Core Interpreter
#250 We're not checking for heap overflow defect high 0.3.0 Runtime System
#255 Anonymisation transform doesn't work with letregions construct tranma defect high 0.3.0 Core Transforms
#268 Race in 'war' test driver when running shell scripts defect high 0.3.0 Test runner (war)
#388 No source locations when compliance checker fails. defect high Source Type Inferencer
#394 Check that the dependency extractor is just parsing the module header. benl task high Source Parser
#402 Check that object allocs do not misalign the heap. benl task high Runtime System
#412 Using literal "\\" string fails in LLVM code generation. defect high Unknown
#413 Infix parser does not allow multiple \lor in expression. benl bug high Source Parser
#419 Explicit dictionaries needed in more places then they should be. defect high Core Transforms
#420 Pattern desugarer gets confused if variables are renamed. defect high Source Desugarer
#422 Explicit type arguments required in some places where they should not be. defect high Source Type Inferencer
#426 Free existential not caught by post type check defect high Source Type Inferencer
#436 Post type checker does not find unresolved metavariables. defect high Source Type Inferencer
#437 Don't leak space when using sprintf in prim library. defect high 0.5.0 Runtime System
#441 Irrelevant data type decls are leaking into interface files. benl bug high Source Typing
#1 Check for partial application of functions to unboxed args. defect normal 0.4.1 Core to Sea Translation
#4 Check for unsound erasure of type lambdas in core to sea translation enhancement normal 0.3.0 Core to Sea Translation
#9 Disallow unboxed data being present in function closures. defect normal Core Type Checker
1 2 3
Note: See TracQuery for help on using queries.