Timeline


and

Dec 29, 2013:

12:46 AM Records/SyntaxDirectedNameResolution edited by aavogt
note a preprocessor that implements this concept (for HList records only … (diff)

Dec 28, 2013:

1:58 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:51 PM Changeset in ghc [a6f6169a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Define mkTcNomReflCo = TcRefl Nominal, and use it all over This patch doesn't include the changes to TcCanonical and TcSMonad, which are a bigger follow-up patch, so it is tightly coupled to the follow-up.
12:51 PM Changeset in ghc [8721743e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Re-factor TcCanonical (again), fixes Trac #8603 This is a substantial refactoring of the canonicaliser. The proximate cause was that we were sometimes failing to correctly orient a tyvar/tyvar equality (x ~ y), because the kind of x or y was not fully zonked at the moment we compared them. That in turn led me to look closely at the way that canEvNC (which decomposes equalities) worked. * The big change is that the 'reOrient' and 'classify' functions are gone, along with classify's 'TypeClassifier' return type. Instead the re-orientation is built into canEqNC. When we find a type variable we divert into canEqTyVar, and so on, very much as in TcUnify. * TcCanonical.canEqTyVar, canEqLeafFun, etc now carry a SwapFlag (to reduce duplication), just as in TcUnify; now SwapFlag itself is defined in BasicTypes * I renamed TcSMonad.rewriteCtFlavor to rewriteEvidence, * I added a new specialised version of rewriteEvidence, called TcSMonad.rewriteEqEvidence. It is easier to use, and removes the crafty but brain-mangling higher order casts that we were using before. The result is not exactly simpler, but it's pretty clear and, I think, significantly more efficient. And it fixes Trac #8603!
12:51 PM Changeset in ghc [d58a8df3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Comments only
12:51 PM Changeset in ghc [d53a0958]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles
12:51 PM Changeset in testsuite [653ee4b]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Error message wibbles
12:45 PM Changeset in ghc [33b931c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8603
12:45 PM Changeset in testsuite [b34bee3]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8603
12:45 PM Changeset in ghc [a5cb317]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #8633
12:45 PM Changeset in testsuite [3fef8e4]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8633
12:44 PM Changeset in ghc [03d7cc6f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Update perf numbers for 32-bit This has not been done for ages
12:44 PM Changeset in testsuite [c2e88b3]wip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Update perf numbers for 32-bit This has not been done for ages

Dec 27, 2013:

9:20 PM Ticket #8635 (GHC optimisation flag ignored when importing a local module with derived ...) created by NeilMitchell
Given Foo.hs and Bar.hs: […] If I run: […] I get (snipped): …
4:59 PM Ticket #8634 (Relax functional dependency coherence check ("liberal coverage condition")) created by danilo2
== Abstract == Hi! I'm writing a compiler, which produces Haskell code. …
3:20 PM Ticket #8632 (ghc: panic! (the 'impossible' happened)) closed by goldfire
duplicate: It looks like you forgot to attach the code that causes the error. In any …
11:34 AM Changeset in ghc [df2dd64]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Edsko de Vries <edsko@…>
Add hook for splicing in renamer With the recent modifications to the TH infrastructure, many splices are now expanded in the renamer rather than the typechecker. This means that tools which inspect the renamed tree don't get to see the original splices. Added a new hook which gets called before such a splice gets expanded, analogous to the runQuasiQuoteHook.
6:06 AM Ticket #8633 (template haskell mkName parses operator ^.. as a qualified operator) created by aavogt
The operator ^.. (provided by lens) is parsed as the operator . from …
4:45 AM Ticket #8632 (ghc: panic! (the 'impossible' happened)) created by jdoliner
I got this message when trying to compile. It appears to be reproducible. …
3:51 AM Ticket #8631 (Need ImpredicativeTypes for GeneralizedNewtypeDeriving?) created by goldfire
Nathan Howell posts this code: […] Compiling on HEAD produces […] …
3:41 AM Ticket #8607 (Invalid location reported for type constructors) closed by goldfire
fixed: See the commit message above for details -- somewhat different than my …
3:34 AM Changeset in ghc [e4afeed]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/cpr-vs-jpwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Fix #8607. The solution (after many false starts) is to change the behavior of hsLTyClDeclBinders. The idea is that the locations of the names that the parser generates should really be the names' locations, unlike what was done in 1745779... But, when the renamer is creating Names from the RdrNames, the locations stored in the Names should be the declarations' locations. This is now achieved in hsLTyClDeclBinders, which returns [Located name], but the location is that of the *declaration*, not the name itself.
3:32 AM Changeset in ghc [00cd65f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Error wibbles while fixing #8607.
3:32 AM Changeset in testsuite [9e28639]wip/pattern-synonyms by Richard Eisenberg <eir@…>
Error wibbles while fixing #8607.
2:07 AM Ticket #8630 (Kind inference fails to account for associated types) created by goldfire
Consider this: […] HEAD gives me […] The problem is that the use …

Dec 25, 2013:

3:34 PM Ticket #8629 (Option 'split-objs' being ignored when trying to reduce object code size ...) created by f1rstmistake
I have been trying to statically link Pandoc packages to iOS application …

Dec 24, 2013:

9:49 PM Ticket #8628 (dynCompileExpr breaks repeated runDecls of the same name) created by agibiansky
Using dynCompileExpr with runDecls from InteractiveEval seems to be …
12:44 AM Ticket #8627 (mallocForeignPtrBytes documentation unobvious regarding memory alignment) created by schernichkin
According to the current documentation: mallocForeignPtr - is equivalent …
12:21 AM Building/CrossCompiling/iOS edited by lukexi
(diff)
Note: See TracTimeline for information about the timeline view.