Timeline


and

Oct 10, 2012:

11:36 AM Ticket #258 (Give a civilised error message for CAF binders.) created by benl
We can't finish the implementation until we have laziness back, but …
11:34 AM Ticket #257 (Add types of bindings used by inlined functions to imports list) created by benl
When we inline a function that uses bindings not already imported by …
11:33 AM Ticket #256 (Do fragment compliance check for nested functions.) created by benl
We won't write the lambda lifter until the next release, but we should …

Oct 2, 2012:

3:06 AM Ticket #255 (Anonymisation transform doesn't work with letregions construct) created by benl
[…] This is probably a problem with letregions rather than with …

Sep 26, 2012:

4:19 PM Ticket #254 (Bad error message for function with Bools) created by benl
[…] […] Why is the discrim type bad?

Sep 25, 2012:

1:54 PM Ticket #247 (Can't parse import lists with type imports) closed by benl
fixed

Sep 23, 2012:

11:17 AM Ticket #250 (We're not checking for heap overflow) closed by benl
fixed
11:06 AM Ticket #253 (Better error message for redefined function at top-level of core) created by benl
7:33 AM Ticket #252 (Give a better message when we run out of heap) created by benl
At the moment we're just calling abort(). We can't even write a …
7:11 AM Ticket #251 (Fix nested case expressions that assign to nothing binders) created by benl
Handle this case properly in Salt -> LLVM conversion {{{ let _ = case …
3:18 AM WikiStart edited by benl
(diff)
3:16 AM WikiStart edited by benl
(diff)
2:58 AM Ticket #244 (Bad error message for type vars used as val vars) closed by benl
fixed
2:50 AM Ticket #250 (We're not checking for heap overflow) created by benl
2:46 AM Ticket #249 (-fvia-c doesn't actually compile via the C backend) created by benl
2:46 AM Ticket #248 (Constructing a Nil object writes a Unit object as the first field) created by benl
2:45 AM Ticket #247 (Can't parse import lists with type imports) created by benl
2:44 AM Ticket #233 (Panic : thread_transX: can't find a witness for ...) closed by benl
wontfix
2:43 AM Ticket #188 (Bad quantifier in type for "undefined") closed by benl
wontfix
2:43 AM Ticket #67 (Compiler panic applying polymorphic functions to unboxed values) closed by benl
invalid
2:42 AM Ticket #79 (Kind inference checking problem for mutable tuples) closed by benl
fixed
2:42 AM Ticket #2 (Check class instances against their definitions.) closed by benl
wontfix
2:42 AM Ticket #37 (Fix closure trimming of data types containing functions.) closed by benl
wontfix
2:41 AM Ticket #44 (Fix elaboration of recursive data types.) closed by benl
wontfix
2:41 AM Ticket #73 (Bad core generated for recursive function with projections) closed by benl
wontfix
2:41 AM Ticket #155 (PANIC "mergeClasses: classes have differing kinds" in my Hashtable ...) closed by benl
wontfix
2:41 AM Ticket #163 (Elaboration of class constructors isn't respecting their kinds) closed by benl
wontfix
2:40 AM Ticket #4 (Check for unsound erasure of type lambdas in core to sea translation) closed by benl
fixed
2:40 AM Ticket #3 (Check Shape witnesses in core) closed by benl
invalid
2:39 AM Ticket #181 (Fix display of node effects in type error messages) closed by benl
wontfix
2:39 AM Ticket #189 (Check for missing quantifiers in type class definitions.) closed by benl
wontfix
2:38 AM Ticket #161 (No instance for Base.Shape3 and Class.Num.Num) closed by benl
wontfix
2:38 AM Ticket #52 (Auto export class instance functions) closed by benl
wontfix
2:38 AM Ticket #34 (Check inferred type against signatures.) closed by benl
wontfix
2:38 AM Ticket #16 (Add type bindings) closed by benl
wontfix
2:36 AM Ticket #217 (PANIC in DDC.Core.Lint.Env : withVarType: type for a.list already present) closed by benl
wontfix
2:36 AM Ticket #200 (Shootout fannkuch-redex benchmark chokes with N > 8) closed by benl
wontfix
2:36 AM Ticket #198 (Shootout binary trees benchmark dies with OOM) closed by benl
wontfix
2:35 AM Ticket #6 (Check format of source pragmas.) closed by benl
wontfix
2:35 AM Ticket #203 (Grow heaps and stacks automatically) closed by benl
wontfix
2:34 AM Ticket #167 (Missing constraints in interface files.) closed by benl
fixed: fixed in new compiler
2:33 AM Ticket #160 (Runtime crash with recursive bindings) closed by benl
fixed: fixed in new compiler.
2:32 AM Ticket #68 (Do kind checking during constraint generation.) closed by benl
wontfix: not in new compiler
2:31 AM Ticket #228 (Normalise variable names on types presented to the user) closed by benl
invalid: pony removal
2:31 AM Ticket #19 (Erase calls to prim.force on objects in direct regions during Core.Simplify) closed by benl
invalid: pony removal
2:31 AM Ticket #83 (Look in data definition when checking dangerous vars) closed by benl
invalid: pony removal
2:31 AM Ticket #87 (Support type constraints on constructor) closed by benl
invalid: pony removal
2:30 AM Ticket #90 (Support default instances in type class declarations.) closed by benl
invalid: pony removal
2:29 AM Ticket #202 (Add a war test mode with RTS debugging turned on.) closed by benl
invalid: pony removal
2:27 AM Ticket #230 (War : Report number of failed tests) closed by benl
invalid: pony removal
2:27 AM Ticket #241 (Provide source locations in core type error messages) closed by benl
invalid: pony removal
2:26 AM Ticket #17 (Check profiling and ticky counters in runtime system and add tests) closed by benl
invalid: new compiler has a different runtime
2:26 AM Ticket #13 (Share GC stack slots in Sea code) closed by benl
invalid: pony removal
2:26 AM Ticket #46 (Compile base libraries into .so) closed by benl
invalid: pony removal
2:25 AM Ticket #88 (Allow data fields to be listed with the offside rule) closed by benl
invalid: pony removal
2:24 AM Ticket #145 (Add a point free case expression) closed by benl
invalid: pony removal
2:24 AM Ticket #85 (Create large pinned memory blocks automatically) closed by benl
invalid: not a bug
2:24 AM Ticket #205 (Write an arbitrary precision Integer data type) closed by benl
invalid
2:23 AM Ticket #31 (Implement dictionary passing.) closed by benl
invalid
2:23 AM Ticket #40 (Check for overlapping projection dictionaries during type inference) closed by benl
wontfix
2:21 AM Ticket #86 (Use Haskell/GHC style pragma instead of a pragma keyword) closed by benl
wontfix
2:20 AM Ticket #20 (Implement the rest of the primitive types.) closed by benl
fixed: Fixed in new compiler
2:19 AM Ticket #30 (Emit a better error message when reading an empty interface file.) closed by benl
wontfix
2:16 AM Ticket #48 (Graphics library is unsafe) closed by benl
wontfix
2:15 AM Ticket #185 (Refactor function ddcCompile to use ddcMake) closed by benl
wontfix: This will be rewritten in the new compiler
Note: See TracTimeline for information about the timeline view.