Custom Query (71 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (71 matches)

Ticket Summary Owner Type Priority Component Version
#229 Thoth doesn't always detect failed builds defect blocker Build Bot (thoth) 0.1.2
#232 Build race with shell script tests. defect blocker Test runner (war) 0.1.2
#246 universeFromType1 gives wrong result defect blocker Core Type Checker 0.2.1
#259 Well-formedness check for distinct witnesses is too weak. tranma defect blocker Core Type Checker 0.2.1
#294 Code generator bugs with transformed Reverse program. defect blocker Core to Sea Translation 0.2.1
#212 Tail-call optimisation doesn't work with 32-bit LLVM benl defect high Unknown 0.1.2
#243 Partially applied primitives get stuck during evaluation. benl defect high Core Type Checker 0.2.1
#244 Bad error message for type vars used as val vars defect high Core Type Checker 0.2.1
#245 Free vars check is broken defect high Core Interpreter 0.2.1
#250 We're not checking for heap overflow defect high Runtime System 0.2.1
#255 Anonymisation transform doesn't work with letregions construct tranma defect high Core Transforms 0.2.1
#268 Race in 'war' test driver when running shell scripts defect high Test runner (war) 0.2.1
#4 Check for unsound erasure of type lambdas in core to sea translation enhancement normal Core to Sea Translation
#16 Add type bindings enhancement normal Source Parser
#19 Erase calls to prim.force on objects in direct regions during Core.Simplify enhancement normal Core Transforms
#20 Implement the rest of the primitive types. enhancement normal Libraries
#30 Emit a better error message when reading an empty interface file. defect normal Compilation Driver
#32 Don't panic if user Control-C's GCC enhancement normal Compilation Driver
#34 Check inferred type against signatures. enhancement normal Source Type Inferencer
#41 Refactor occurance checker to improve speed. refactor normal Source Type Inferencer
#50 Emit error for dangerous vars at top level. defect normal Source Type Inferencer 0.1.2
#52 Auto export class instance functions enhancement normal Source Desugarer
#67 Compiler panic applying polymorphic functions to unboxed values defect normal Core Type Checker 0.1.2
#68 Do kind checking during constraint generation. defect normal Source Type Inferencer 0.1.2
#79 Kind inference checking problem for mutable tuples defect normal Source Type Inferencer 0.1.2
#83 Look in data definition when checking dangerous vars enhancement normal Source Type Inferencer
#86 Use Haskell/GHC style pragma instead of a pragma keyword newbie normal Build System 0.1.2
#87 Support type constraints on constructor enhancement normal Source Parser 0.1.2
#90 Support default instances in type class declarations. enhancement normal Source Parser 0.1.2
#161 No instance for Base.Shape3 and Class.Num.Num enhancement normal Source Parser 0.1.2
#181 Fix display of node effects in type error messages defect normal Source Type Inferencer
#187 Write tests for Data,ArrayU module. tomberek newbie normal Runtime System 0.1.2
#188 Bad quantifier in type for "undefined" defect normal Source Type Inferencer 0.1.2
#189 Check for missing quantifiers in type class definitions. defect normal Source Desugarer 0.1.2
#198 Shootout binary trees benchmark dies with OOM defect normal Unknown 0.1.2
#200 Shootout fannkuch-redex benchmark chokes with N > 8 defect normal Unknown 0.1.2
#202 Add a war test mode with RTS debugging turned on. task normal Runtime System 0.1.2
#203 Grow heaps and stacks automatically enhancement normal Runtime System 0.1.2
#206 End of file with unclosed multiline comment should be an error tomberek newbie normal Source Parser 0.1.2
#217 PANIC in DDC.Core.Lint.Env : withVarType: type for a.list already present defect normal Source to Core Translation 0.1.2
#225 Split Runtime.h into internal and external bits. erikd defect normal Runtime System 0.1.2
#228 Normalise variable names on types presented to the user defect normal Source Type Inferencer 0.1.2
#230 War : Report number of failed tests enhancement normal Test runner (war) 0.1.2
#233 Panic : thread_transX: can't find a witness for ... defect normal Core Transforms 0.1.2
#242 Better error message when constructors are used at the wrong level defect normal Core Type Checker 0.2.0
#247 Can't parse import lists with type imports defect normal Core Parser 0.2.1
#249 -fvia-c doesn't actually compile via the C backend benl defect normal Compilation Driver 0.2.1
#251 Fix nested case expressions that assign to nothing binders defect normal Core to Sea Translation 0.2.1
#253 Better error message for redefined function at top-level of core defect normal Core Type Checker 0.2.1
#254 Bad error message for function with Bools defect normal Unknown 0.2.1
#256 Do fragment compliance check for nested functions. enhancement normal Core Type Checker 0.2.1
#257 Add types of bindings used by inlined functions to imports list defect normal Unknown 0.2.1
#258 Give a civilised error message for CAF binders. defect normal Core Type Checker 0.2.1
#262 Transitive inlining fails with -to-c defect normal Core Transforms 0.2.1
#265 Clean up intermediate build files enhancement normal Compilation Driver 0.2.1
#270 Compliance check for nested functions enhancement normal Core Type Checker 0.2.1
#271 Better error message for unterminated comment blocks. enhancement normal Core Parser 0.2.1
#272 Better error message for non-matching braces. defect normal Core Parser 0.2.1
#278 Snip transform doesn't handle over applications defect normal Core Transforms 0.2.1
#279 Rewrite rule type matcher doesn't handle type sums amosrobinson defect normal Core Transforms 0.2.1
#282 Rewrite rule lookup code doesn't distinguish between name levels defect normal Core Transforms 0.2.1
#283 Lite to Salt transform doesn't check for partial application defect normal Core to Sea Translation 0.2.1
#284 Reject case matches against float literals. defect normal Core to Sea Translation 0.2.1
#285 Allow maching against unit literals defect normal Core to Sea Translation 0.2.1
#286 Application of pointer constructor is treated as a boxed type. defect normal Core to Sea Translation 0.2.1
#287 Check for valid promotion and truncation in to-C conversion defect normal Core to Sea Translation 0.2.1
#288 Check for conflicting capabilities in Eval modules defect normal Core Type Checker 0.2.1
#289 Better error for unmatches braces during offside rule enhancement normal Core Parser 0.2.1
#291 Check that exported names are actually defined. defect normal Core Type Checker 0.2.1
#292 The -to-salt and -to-c passes don't run optimisations with -O defect normal Compilation Driver 0.2.1
#293 Rewrite rule BuildFold test exports undefined binding. defect normal Test suite 0.2.1
Note: See TracQuery for help on using queries.