Timeline


and

Sep 6, 2016:

1:47 PM Ticket #386 (Better inference when case alternatives have differing effects.) created by benl
Emmitting the sig for 'loop' causes the checker to complain that S …
10:22 AM Language/Core/Expressions edited by benl
(diff)
10:21 AM WikiStart edited by benl
(diff)
10:19 AM Tutorial/Core/Compilation edited by benl
(diff)
10:18 AM Tutorial/Core/Compilation edited by benl
(diff)
10:18 AM Tutorial/Installation edited by benl
(diff)
10:17 AM WikiStart edited by benl
(diff)
10:16 AM WikiStart edited by benl
(diff)
10:15 AM Development/ReleaseProcess edited by benl
(diff)
10:14 AM WikiStart edited by benl
(diff)
10:14 AM WikiStart edited by benl
(diff)
10:11 AM WikiStart edited by benl
(diff)
10:10 AM WikiStart edited by benl
(diff)
10:09 AM WikiStart edited by benl
(diff)
10:08 AM WikiStart edited by benl
(diff)
10:08 AM WikiStart edited by benl
(diff)
7:06 AM Tutorial edited by benl
(diff)

Sep 5, 2016:

12:53 PM Ticket #382 (Using '$' between to constructor and its argument causes a segfault.) closed by benl
fixed
5:27 AM Ticket #385 (Make type inference work with non-trivial type synonyms) created by benl
Simple ones like Foo = Bar work, but not when the synonym has type …
5:01 AM Ticket #366 (Update LLVM meta-data syntax to work with LLVM 3.6) closed by benl
fixed
5:00 AM Ticket #267 (Tailcalls don't work with the C backend.) closed by benl
wontfix
4:52 AM Ticket #359 (Allow arbitrary expressions on the right of an $) closed by benl
fixed
4:51 AM Ticket #375 (Better inference with higher kinded type constructors.) closed by benl
fixed
4:51 AM Ticket #376 (Check variable elaboration in Applicative.) closed by benl
fixed
3:57 AM Ticket #343 (Lambda lift locally-recursive function, eg local loops.) closed by benl
fixed
2:13 AM Ticket #383 (Redo name generation in Lambda lifter.) closed by benl
fixed

Sep 2, 2016:

11:20 AM Ticket #384 (Unshare transform produces AST node with wrong type annotation.) created by benl
However, the follow on transforms don't use it. This will matter if we …
11:18 AM Ticket #383 (Redo name generation in Lambda lifter.) created by benl
The lambda lifter contains an experiment in generating names from the …
11:16 AM Ticket #382 (Using '$' between to constructor and its argument causes a segfault.) created by benl
Eg, in the Data.Text.List library.
11:14 AM Ticket #381 (Escape non-printable characters in base Show library.) created by benl
11:13 AM Ticket #380 (In source lexer, handle hex literals with size specifiers.) created by benl
Eg 0xabw3 should be a 32-bit word with value 0xab
2:05 AM Ticket #379 (Track variance information in type synonyms.) created by benl
The type checker treats the parameter type of a function …
1:59 AM Ticket #378 (Complete merging (~>) and (->) type constructors.) created by benl
Use a single baked in arrow constructor for both type and kind level, …

Aug 31, 2016:

2:55 PM Ticket #377 (Look through type equations during Tetra to Salt transform) created by benl
The Tetra to Salt transform isn't looking through type equations, so …
2:47 PM Ticket #365 (Support separate signatures in Source Tetra) closed by benl
fixed
2:43 PM Ticket #376 (Check variable elaboration in Applicative.) created by benl
When the return type is specified the quantifier is added to the …
2:36 PM Ticket #375 (Better inference with higher kinded type constructors.) created by benl
In Data.Functor this works […] But with a separate signature it …
10:54 AM Ticket #374 (Check specified kinds of type equations against their inferrer kinds.) created by benl
The syntax of type equations allows a kind to be specified, but we …
10:53 AM Ticket #373 (Check that type equations are not recursive.) created by benl
If the set of type equations / synonyms is recursive then the type …
8:05 AM Ticket #372 (Implement name spacing) created by benl
We currently don't have any name spacing at all, so can't use common …

Aug 26, 2016:

12:27 AM WikiStart edited by benl
(diff)

Aug 23, 2016:

11:22 AM WikiStart edited by benl
(diff)
11:22 AM WikiStart edited by benl
(diff)
8:22 AM Ticket #371 (The status of the last test is not being displayed by the war driver.) created by benl
Current number of tests reported is 226, but we only see the status …
8:21 AM Ticket #370 (Unterminated comments are not being detected in T271-UnterminatedComment) created by benl
This had been broken.
5:39 AM Ticket #369 (Auto wrap foreign primitives and primops when passed to higher order ...) created by benl
In demo/core/tetra/02-Lists/Main.dct we need to wrap the primitive …

Aug 22, 2016:

11:50 AM WikiStart edited by benl
(diff)
Note: See TracTimeline for information about the timeline view.