Timeline
Nov 4, 2012:
- 11:49 AM Ticket #258 (Give a civilised error message for CAF binders.) closed by
- 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
- 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
- fixed
- 5:31 AM Ticket #261 (Implement tailcalls in the C backend) closed by
- duplicate
- 5:28 AM Ticket #267 (Tailcalls don't work with the C backend.) created by
- 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
- 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
- fixed
- 3:37 AM Development/ReleaseProcess edited by
- (diff)
- 2:53 AM Ticket #50 (Emit error for dangerous vars at top level.) closed by
- 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
- 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
- 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
- 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
- {{{bin/ddc -to-c test/ddc-main/60-Lite/99-Defib/01-Factorial/Main?.dcl …
- 1:15 PM Development/ReleaseProcess edited by
- (diff)
- 1:06 PM Development/ReleaseProcess edited by
- (diff)
- 1:04 PM Development/ReleaseProcess edited by
- (diff)
- 1:00 PM WikiStart edited by
- (diff)
- 1:00 PM Development/ReleaseProcess created by
- 12:46 PM WikiStart edited by
- (diff)
- 12:46 PM WikiStart edited by
- (diff)
- 12:44 PM WikiStart edited by
- (diff)
- 12:40 PM WikiStart edited by
- (diff)
- 12:24 PM Ticket #261 (Implement tailcalls in the C backend) created by
- The C backend currently performs standard calls for the tailcallN# …
Oct 31, 2012:
Oct 24, 2012:
Oct 23, 2012:
- 10:22 AM Ticket #260 (Track source locations, and give them in error messages) created by
- 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
- […] Regions r1 and r2 might not be distinct. ---- fixed by …
Oct 12, 2012:
- 2:14 AM TracLinks edited by
- (diff)
- 2:14 AM TracWiki edited by
- (diff)
- 2:14 AM TracAccessibility edited by
- (diff)
- 2:14 AM TracModPython edited by
- (diff)
- 2:14 AM TracUpgrade edited by
- (diff)
- 2:14 AM TracTicketsCustomFields edited by
- (diff)
- 2:14 AM WikiHtml edited by
- (diff)
- 2:14 AM TracRevisionLog edited by
- (diff)
- 2:14 AM TracReports edited by
- (diff)
- 2:14 AM PageTemplates edited by
- (diff)
- 2:14 AM TracImport edited by
- (diff)
- 2:14 AM TracLogging edited by
- (diff)
- 2:14 AM WikiMacros edited by
- (diff)
- 2:14 AM TracTickets edited by
- (diff)
- 2:14 AM WikiRestructuredText edited by
- (diff)
- 2:14 AM TracFineGrainedPermissions edited by
- (diff)
- 2:14 AM InterWiki edited by
- (diff)
- 2:14 AM TracBrowser edited by
- (diff)
- 2:14 AM TracStandalone edited by
- (diff)
- 2:14 AM TracEnvironment edited by
- (diff)
- 2:14 AM WikiPageNames edited by
- (diff)
- 2:14 AM TracWorkflow edited by
- (diff)
- 2:14 AM WikiNewPage edited by
- (diff)
- 2:14 AM TracTimeline edited by
- (diff)
- 2:14 AM WikiFormatting edited by
- (diff)
- 2:14 AM TracModWSGI edited by
- (diff)
- 2:14 AM TracRoadmap edited by
- (diff)
- 2:14 AM TracPlugins edited by
- (diff)
- 2:14 AM SandBox edited by
- (diff)
- 2:14 AM TracCgi edited by
- (diff)
- 2:14 AM TracBatchModify created by
- 2:14 AM TracAdmin edited by
- (diff)
- 2:14 AM TracUnicode edited by
- (diff)
- 2:14 AM TracSyntaxColoring edited by
- (diff)
- 2:14 AM TracPermissions edited by
- (diff)
- 2:14 AM TracQuery edited by
- (diff)
- 2:14 AM TracSupport edited by
- (diff)
- 2:14 AM InterTrac edited by
- (diff)
- 2:14 AM TracNavigation edited by
- (diff)
- 2:14 AM TracSearch edited by
- (diff)
- 2:14 AM TracRss edited by
- (diff)
- 2:14 AM TracIni edited by
- (diff)
- 2:14 AM TracInstall edited by
- (diff)
- 2:14 AM TracNotification edited by
- (diff)
- 2:14 AM WikiProcessors edited by
- (diff)
- 2:14 AM TracInterfaceCustomization edited by
- (diff)
- 2:14 AM TracFastCgi edited by
- (diff)
- 2:14 AM TracGuide edited by
- (diff)
- 2:14 AM CamelCase edited by
- (diff)
- 2:14 AM TracRepositoryAdmin edited by
- (diff)
- 2:14 AM TracChangeset edited by
- (diff)
- 2:14 AM TracBackup edited by
- (diff)
Oct 10, 2012:
- 11:36 AM Ticket #258 (Give a civilised error message for CAF binders.) created by
- 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
- 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
- We won't write the lambda lifter until the next release, but we should …
Note: See TracTimeline
for information about the timeline view.