Timeline


and

Dec 5, 2012:

1:14 PM WikiStart edited by benl
(diff)
1:12 PM WikiStart edited by benl
(diff)
1:08 PM WikiStart edited by benl
(diff)
1:07 PM WikiStart edited by benl
(diff)
1:06 PM WikiStart edited by benl
(diff)
1:03 PM Language/Ponies edited by benl
(diff)
1:02 PM Development/FixingNewbie edited by benl
(diff)
12:50 PM WikiStart edited by benl
(diff)
12:47 PM Development/Patches edited by benl
(diff)
12:44 PM Development/Patches edited by benl
(diff)
12:40 PM Development/ReleaseProcess edited by benl
(diff)
12:39 PM Development/ReleaseProcess edited by benl
(diff)
12:38 PM Development/DevBuilds edited by benl
(diff)
12:38 PM Development/Haddock edited by benl
(diff)
12:37 PM Development/Debugging edited by benl
(diff)
12:37 PM Development/Profiling edited by benl
(diff)
12:37 PM Development/Profiling edited by benl
(diff)
12:35 PM Development/Debugging edited by benl
(diff)
12:35 PM Development/Debugging edited by benl
(diff)
12:32 PM Development/CodeConventions edited by benl
(diff)
12:31 PM Development/CodeConventions edited by benl
(diff)
12:26 PM Development/CodeConventions edited by benl
(diff)
12:25 PM Development/CodeConventions edited by benl
(diff)
12:24 PM Development/CodeConventions edited by benl
(diff)
12:07 PM Development/CodeConventions edited by benl
(diff)
12:06 PM Development/CodeConventions edited by benl
(diff)
12:03 PM Development/CodeConventions edited by benl
(diff)
11:52 AM WikiStart edited by benl
(diff)
11:51 AM Development/Haddock edited by benl
(diff)
11:48 AM Development/Haddock edited by benl
(diff)
11:30 AM Development/Haddock edited by benl
(diff)
11:28 AM Development/BuildBots edited by benl
(diff)
11:27 AM Development/DevBuilds edited by benl
(diff)
11:26 AM Development/DevBuilds edited by benl
(diff)
11:25 AM Development/Testing edited by benl
(diff)
11:25 AM Development/Testing edited by benl
(diff)
11:22 AM WikiStart edited by benl
(diff)
11:21 AM Development/Testing edited by benl
(diff)
11:17 AM Development/Building edited by benl
(diff)
11:16 AM Development/Getting edited by benl
(diff)
7:18 AM Development/Building edited by benl
(diff)
7:17 AM Development/Building edited by benl
(diff)
7:16 AM Development/Building edited by benl
(diff)
7:15 AM Development/Building edited by benl
(diff)
7:13 AM Development/Building edited by benl
(diff)
7:12 AM Development/Building edited by benl
(diff)
7:12 AM Development/Building edited by benl
(diff)
6:39 AM Alpha edited by benl
(diff)
6:39 AM Alpha/Demos created by benl
6:38 AM Development/Testing edited by benl
(diff)
6:38 AM Alpha edited by benl
(diff)
6:37 AM WikiStart edited by benl
(diff)
6:36 AM Alpha edited by benl
(diff)
6:35 AM WikiStart edited by benl
(diff)
6:35 AM WikiStart edited by benl
(diff)
6:34 AM Alpha edited by benl
(diff)
6:32 AM Alpha edited by benl
(diff)
6:31 AM Alpha created by benl
6:30 AM WikiStart edited by benl
(diff)
6:29 AM Alpha/Language/Source edited by benl
(diff)
6:27 AM WikiStart edited by benl
(diff)
6:27 AM Alpha/Language edited by benl
(diff)
6:23 AM WikiStart edited by benl
(diff)
6:22 AM WikiStart edited by benl
(diff)

Dec 4, 2012:

2:21 PM Development/ReleaseProcess edited by benl
(diff)
12:13 PM WikiStart edited by benl
(diff)

Dec 2, 2012:

12:02 PM Development/ReleaseProcess edited by benl
(diff)
12:01 PM Development/ReleaseProcess edited by benl
(diff)
11:55 AM Development/CodeConventions edited by benl
(diff)
11:50 AM Development/CodeConventions edited by benl
(diff)
11:36 AM Ticket #292 (The -to-salt and -to-c passes don't run optimisations with -O) closed by benl
fixed
11:27 AM Ticket #293 (Rewrite rule BuildFold test exports undefined binding.) created by benl
It exports foldrAndBuild which isn't defined.
11:25 AM Ticket #291 (Check that exported names are actually defined.) closed by benl
fixed
6:27 AM Ticket #292 (The -to-salt and -to-c passes don't run optimisations with -O) created by benl
This got broken when refactoring the driver stages
6:26 AM Ticket #291 (Check that exported names are actually defined.) created by benl
If they are defined we check the types of the export signature, but …
6:24 AM Ticket #290 (Evaluator doesn't preserve closure typing.) created by benl
Typing L1# doesn't reveal the Use R1# closure term.
6:14 AM Ticket #262 (Transitive inlining fails with -to-c) closed by benl
fixed

Nov 25, 2012:

8:14 AM Ticket #279 (Rewrite rule type matcher doesn't handle type sums) closed by amosrobinson
fixed: Fixed. Simplified the matchT function too. It was originally keeping a …
6:37 AM Ticket #278 (Snip transform doesn't handle over applications) closed by benl
fixed

Nov 24, 2012:

5:06 AM Ticket #283 (Lite to Salt transform doesn't check for partial application) closed by benl
fixed
4:37 AM Ticket #257 (Add types of bindings used by inlined functions to imports list) closed by benl
duplicate
4:35 AM Ticket #256 (Do fragment compliance check for nested functions.) closed by benl
fixed
4:11 AM Ticket #251 (Fix nested case expressions that assign to nothing binders) closed by benl
fixed
2:44 AM Ticket #265 (Clean up intermediate build files) closed by benl
fixed
1:36 AM Ticket #255 (Anonymisation transform doesn't work with letregions construct) closed by benl
fixed
1:01 AM Ticket #268 (Race in 'war' test driver when running shell scripts) closed by benl
fixed

Nov 19, 2012:

12:27 PM Ticket #286 (Application of pointer constructor is treated as a boxed type.) closed by benl
fixed

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