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
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 infered 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

Aug 23, 2016:

11:22 AM WikiStart edited by benl
11:22 AM WikiStart edited by benl
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

Aug 5, 2016:

8:15 AM Ticket #368 (Check for unconstrained meta-variables after inference.) created by benl
Unconstrained type meta-variables should not end up in interface files …
Note: See TracTimeline for information about the timeline view.