Timeline


and

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 …

Oct 12, 2012:

2:14 AM TracLinks edited by trac
(diff)
2:14 AM TracWiki edited by trac
(diff)
2:14 AM TracAccessibility edited by trac
(diff)
2:14 AM TracModPython edited by trac
(diff)
2:14 AM TracUpgrade edited by trac
(diff)
2:14 AM TracTicketsCustomFields edited by trac
(diff)
2:14 AM WikiHtml edited by trac
(diff)
2:14 AM TracRevisionLog edited by trac
(diff)
2:14 AM TracReports edited by trac
(diff)
2:14 AM PageTemplates edited by trac
(diff)
2:14 AM TracImport edited by trac
(diff)
2:14 AM TracLogging edited by trac
(diff)
2:14 AM WikiMacros edited by trac
(diff)
2:14 AM TracTickets edited by trac
(diff)
2:14 AM WikiRestructuredText edited by trac
(diff)
2:14 AM TracFineGrainedPermissions edited by trac
(diff)
2:14 AM InterWiki edited by trac
(diff)
2:14 AM TracBrowser edited by trac
(diff)
2:14 AM TracStandalone edited by trac
(diff)
2:14 AM TracEnvironment edited by trac
(diff)
2:14 AM WikiPageNames edited by trac
(diff)
2:14 AM TracWorkflow edited by trac
(diff)
2:14 AM WikiNewPage edited by trac
(diff)
2:14 AM TracTimeline edited by trac
(diff)
2:14 AM WikiFormatting edited by trac
(diff)
2:14 AM TracModWSGI edited by trac
(diff)
2:14 AM TracRoadmap edited by trac
(diff)
2:14 AM TracPlugins edited by trac
(diff)
2:14 AM SandBox edited by trac
(diff)
2:14 AM TracCgi edited by trac
(diff)
2:14 AM TracBatchModify created by trac
2:14 AM TracAdmin edited by trac
(diff)
2:14 AM TracUnicode edited by trac
(diff)
2:14 AM TracSyntaxColoring edited by trac
(diff)
2:14 AM TracPermissions edited by trac
(diff)
2:14 AM TracQuery edited by trac
(diff)
2:14 AM TracSupport edited by trac
(diff)
2:14 AM InterTrac edited by trac
(diff)
2:14 AM TracNavigation edited by trac
(diff)
2:14 AM TracSearch edited by trac
(diff)
2:14 AM TracRss edited by trac
(diff)
2:14 AM TracIni edited by trac
(diff)
2:14 AM TracInstall edited by trac
(diff)
2:14 AM TracNotification edited by trac
(diff)
2:14 AM WikiProcessors edited by trac
(diff)
2:14 AM TracInterfaceCustomization edited by trac
(diff)
2:14 AM TracFastCgi edited by trac
(diff)
2:14 AM TracGuide edited by trac
(diff)
2:14 AM CamelCase edited by trac
(diff)
2:14 AM TracRepositoryAdmin edited by trac
(diff)
2:14 AM TracChangeset edited by trac
(diff)
2:14 AM TracBackup edited by trac
(diff)

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