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