Jan 3, 2017:

9:52 AM Ticket #401 (In Resolver, check for incoherent instances.) created by benl
During elaboration we currently just use the first candidate binding …
9:51 AM Ticket #400 (In Resolver, build maps of tycon to binding to improve performance.) created by benl
Right now when resolving elaborations we do a brute force search …
9:48 AM Ticket #399 (Shift development docs and tutorial info into man repo.) created by benl
We don't want documentation split across github, the repo, as well as …
9:46 AM Ticket #398 (Make github front page contain some getting started or tutorial info, ...) created by benl
There should be some obvious newbie info with a getting started guide, …
9:45 AM Ticket #397 (Shift ddc-war into ddc-tools package.) created by benl
It doesn't need its own package.
9:43 AM Ticket #396 (When there is no export declaration in a module then export everything.) created by benl
Like in Haskell. We shouldn't have to list every top-level binding in …
9:41 AM Ticket #395 (Better inference for effectful case expressions.) created by benl
In this function the result computation is boxed in both alternatives, …
9:31 AM Ticket #394 (Check that the dependency extractor is just parsing the module header.) created by benl
The extractor used to parse just the module header, but this might …
9:30 AM Ticket #393 (Repair 32-bit runtime.) created by benl
Now that the 64-bit runtime is feature complete we should update the …
9:28 AM Ticket #392 (Repair C code generator) created by benl
The C code generator rotted while we were working on the LLVM code …
9:26 AM Ticket #391 (Allow pattern bindings at top-level.) created by benl
Haskell supports top level bindings like […] Also in do-notation …

Jan 2, 2017:

8:52 AM WikiStart edited by benl
8:50 AM WikiStart edited by benl

Dec 29, 2016:

9:21 AM Ticket #390 (make where bindings mutually recursive.) created by benl
from ghc regress t020 […]

Dec 23, 2016:

11:47 AM Ticket #378 (Complete merging (~>) and (->) type constructors.) closed by benl
11:47 AM Ticket #371 (The status of the last test is not being displayed by the war driver.) closed by benl
11:46 AM Ticket #377 (Look through type equations during Tetra to Salt transform) closed by benl
Note: See TracTimeline for information about the timeline view.