Timeline


and

Nov 18, 2012:

11:44 AM Ticket #270 (Compliance check for nested functions) closed by benl
duplicate
11:39 AM Ticket #287 (Check for valid promotion and truncation in to-C conversion) closed by benl
fixed
5:44 AM Ticket #253 (Better error message for redefined function at top-level of core) closed by benl
fixed
5:19 AM Ticket #284 (Reject case matches against float literals.) closed by benl
fixed
5:19 AM Ticket #288 (Check for conflicting capabilities in Eval modules) closed by benl
fixed
5:18 AM Ticket #289 (Better error for unmatches braces during offside rule) closed by benl
fixed

Nov 17, 2012:

10:41 AM Ticket #285 (Allow maching against unit literals) closed by benl
fixed
7:10 AM Development/ReleaseProcess edited by benl
(diff)
7:02 AM Ticket #272 (Better error message for non-matching braces.) closed by benl
duplicate
6:59 AM Ticket #289 (Better error for unmatches braces during offside rule) created by benl
6:57 AM Ticket #271 (Better error message for unterminated comment blocks.) closed by benl
fixed
5:15 AM Ticket #288 (Check for conflicting capabilities in Eval modules) created by benl
In the Eval language fragment, we're checking for conflicting caps in …

Nov 16, 2012:

10:34 AM Ticket #287 (Check for valid promotion and truncation in to-C conversion) created by benl
The LLVM backend has this, but the via-c path does not.
10:27 AM Ticket #286 (Application of pointer constructor is treated as a boxed type.) created by benl
in isUnboxedType in the Lite object layout code.
10:24 AM Ticket #285 (Allow maching against unit literals) created by benl
The Lite to Salt transform doesn't handle this.
10:22 AM Ticket #284 (Reject case matches against float literals.) created by benl
Case expressions should turn into 'switch' in the C and LLVM backends, …
10:18 AM Ticket #283 (Lite to Salt transform doesn't check for partial application) created by benl
Missing case in convertExpX
8:56 AM Ticket #282 (Rewrite rule lookup code doesn't distinguish between name levels) created by benl
The lookupFromSubst function tries to lookup the same name from a …

Nov 14, 2012:

11:58 AM Ticket #281 (Well-formedness check for distinct witnesses is too strict.) created by tranma
As a fix for #259, we made Distinctn stricter than necessary: …
11:50 AM Ticket #259 (Well-formedness check for distinct witnesses is too weak.) closed by tranma
fixed

Nov 13, 2012:

12:09 PM Ticket #280 (Rewrites should be done with the most specific rule.) created by benl
The rewrite engine should apply the most specific rule, instead of the …

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 …
Note: See TracTimeline for information about the timeline view.