Timeline


and

Nov 12, 2012:

12:17 AM WikiStart edited by benl
(diff)
12:15 AM WikiStart edited by benl
(diff)
12:12 AM WikiStart edited by benl
(diff)

Nov 11, 2012:

11:55 PM WikiStart edited by benl
(diff)
5:00 AM Ticket #279 (Rewrite rule type matcher doesn't handle type sums) created by benl
Unifying two arbitrary sums is probably too hard, but we could handle …

Nov 10, 2012:

5:41 AM Ticket #278 (Snip transform doesn't handle over applications) created by benl
In 'makeLets' the case that handles over applications with deBruijn …
3:39 AM Ticket #277 (Make 'applySimplifier' return a TransformResult) created by benl
Applying a simplifier to an expression yields a TransformResult with …

Nov 7, 2012:

1:50 PM Ticket #276 (Delay lifting of indices in type environments.) created by benl
The 'lift' function on type environments applies to every member of …
12:17 PM Ticket #275 (Transforms like 'Snip' don't propagate annots in a sensible way) created by benl
If we apply 'Snip' to an expression annotate with its types, then the …
5:37 AM Ticket #274 (Try to make the load functions take Strings instead of Tokens) created by benl
Taking strings directly would the barrier to entry, so we don't need …
5:02 AM Ticket #273 (Handle hierarchical module names) created by benl
We also need to reject hashes on the end of module names. They are …
4:58 AM Ticket #272 (Better error message for non-matching braces.) created by benl
applyOffside just throws an error if they don't match.
4:56 AM Ticket #271 (Better error message for unterminated comment blocks.) created by benl
'dropCommentBlock' just throws an error.
4:54 AM Ticket #270 (Compliance check for nested functions) created by benl
Finish the compliance check for nested functions.
4:50 AM Ticket #269 (Refactor DataModeSmall to hold DaCons instead of names.) created by benl
The Unit type is a small type, but there is no name for it. This makes …
12:25 AM Ticket #268 (Race in 'war' test driver when running shell scripts) created by benl
We're getting intermittent failures when running scripts: […] The …

Nov 4, 2012:

11:49 AM Ticket #258 (Give a civilised error message for CAF binders.) closed by benl
fixed: This now gives a fragment error saying it needs a top-level letrec, …
11:34 AM Ticket #254 (Bad error message for function with Bools) closed by benl
fixed: True isn't part of the Lite language, only True#. We weren't checking …
10:46 AM Ticket #32 (Don't panic if user Control-C's GCC) closed by benl
fixed
5:31 AM Ticket #261 (Implement tailcalls in the C backend) closed by benl
duplicate
5:28 AM Ticket #267 (Tailcalls don't work with the C backend.) created by benl
For the LLVM backend we use LLVM's support for tail calls, but …
5:26 AM Ticket #266 (Tailcall optimisation doesn't work for exported functions.) created by benl
Using fast calls for non-exported functions enables the LLVM tailcall …
5:24 AM Ticket #212 (Tail-call optimisation doesn't work with 32-bit LLVM) closed by benl
fixed
3:37 AM Development/ReleaseProcess edited by benl
(diff)
2:53 AM Ticket #50 (Emit error for dangerous vars at top level.) closed by benl
wontfix: We're going to use polymorphism-by-name for this. Just erase type …
2:50 AM Ticket #265 (Clean up intermediate build files) created by benl
Don't leave the .ddc.c and .ddc.ll files lying around if we haven't …

Nov 3, 2012:

6:58 AM Ticket #264 (Support multi-module compilation) created by benl
In DDC 0.3.0 we can inline functions from other modules, but can't …
6:36 AM Ticket #263 (Allow rewrite rules to be specified in core modules.) created by benl
At the moment you can only give them on the ddci command-line

Nov 2, 2012:

1:32 PM Ticket #262 (Transitive inlining fails with -to-c) created by benl
{{{bin/ddc -to-c test/ddc-main/60-Lite/99-Defib/01-Factorial/Main?.dcl …
1:15 PM Development/ReleaseProcess edited by benl
(diff)
1:06 PM Development/ReleaseProcess edited by benl
(diff)
1:04 PM Development/ReleaseProcess edited by benl
(diff)
1:00 PM WikiStart edited by benl
(diff)
1:00 PM Development/ReleaseProcess created by benl
12:46 PM WikiStart edited by benl
(diff)
12:46 PM WikiStart edited by benl
(diff)
12:44 PM WikiStart edited by benl
(diff)
12:40 PM WikiStart edited by benl
(diff)
12:24 PM Ticket #261 (Implement tailcalls in the C backend) created by benl
The C backend currently performs standard calls for the tailcallN#

Oct 31, 2012:

1:21 PM Ticket #249 (-fvia-c doesn't actually compile via the C backend) closed by benl
fixed

Oct 24, 2012:

2:10 AM WikiStart edited by benl
(diff)
1:50 AM WikiStart edited by benl
(diff)

Oct 23, 2012:

10:22 AM Ticket #260 (Track source locations, and give them in error messages) created by benl
We have an annotation parameter on the AST, intended for source …

Oct 16, 2012:

2:39 AM Ticket #259 (Well-formedness check for distinct witnesses is too weak.) created by benl
[…] Regions r1 and r2 might not be distinct. ---- fixed by …
Note: See TracTimeline for information about the timeline view.