Timeline
Sep 5, 2016:
- 12:53 PM Ticket #382 (Using '$' between to constructor and its argument causes a segfault.) closed by
- fixed
- 5:27 AM Ticket #385 (Make type inference work with non-trivial type synonyms) created by
- 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
- fixed
- 5:00 AM Ticket #267 (Tailcalls don't work with the C backend.) closed by
- wontfix
- 4:52 AM Ticket #359 (Allow arbitrary expressions on the right of an $) closed by
- fixed
- 4:51 AM Ticket #375 (Better inference with higher kinded type constructors.) closed by
- fixed
- 4:51 AM Ticket #376 (Check variable elaboration in Applicative.) closed by
- fixed
- 3:57 AM Ticket #343 (Lambda lift locally-recursive function, eg local loops.) closed by
- fixed
- 2:13 AM Ticket #383 (Redo name generation in Lambda lifter.) closed by
- fixed
Sep 2, 2016:
- 11:20 AM Ticket #384 (Unshare transform produces AST node with wrong type annotation.) created by
- 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
- 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
- Eg, in the Data.Text.List library.
- 11:14 AM Ticket #381 (Escape non-printable characters in base Show library.) created by
- 11:13 AM Ticket #380 (In source lexer, handle hex literals with size specifiers.) created by
- Eg 0xabw3 should be a 32-bit word with value 0xab
- 2:05 AM Ticket #379 (Track variance information in type synonyms.) created by
- The type checker treats the parameter type of a function …
- 1:59 AM Ticket #378 (Complete merging (~>) and (->) type constructors.) created by
- 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
- 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
- fixed
- 2:43 PM Ticket #376 (Check variable elaboration in Applicative.) created by
- 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
- 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
- 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
- If the set of type equations / synonyms is recursive then the type …
- 8:05 AM Ticket #372 (Implement name spacing) created by
- We currently don't have any name spacing at all, so can't use common …
Aug 26, 2016:
Aug 23, 2016:
- 11:22 AM WikiStart edited by
- (diff)
- 11:22 AM WikiStart edited by
- (diff)
- 8:22 AM Ticket #371 (The status of the last test is not being displayed by the war driver.) created by
- 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
- This had been broken.
- 5:39 AM Ticket #369 (Auto wrap foreign primitives and primops when passed to higher order ...) created by
- In demo/core/tetra/02-Lists/Main.dct we need to wrap the primitive …
Aug 22, 2016:
Note: See TracTimeline
for information about the timeline view.