Re: Birthday greetings

Happy Birthday! Thanks for all your work, I'm very happy with Haskell and GHC, especially now that I can use it at work :D. I've been digging through GHC for months now, hoping to contribute something back this year :) Kind regards, raichoo ___

Re: Birthday greetings

Happy birthday! On Tue, Jan 19, 2016 at 9:31 AM, raichoo wrote: > Happy Birthday! > > Thanks for all your work, I'm very happy with Haskell and GHC, especially > now that I > can use it at work :D. > > I've been digging through GHC for months now, hoping to contribute >

Re: Improving trac notifications

Have you had any chance to think about this yet Herbert? Matt On Wed, Jan 6, 2016 at 6:44 PM, Ben Gamari wrote: > Ben Gamari writes: > >> Matthew Pickering writes: >> >>> I subscribe to the ghc-tickets[1] mailing list

Re: Fwd: Host-Oriented Template Haskell

Hello John You may find this implementation ticket of interest: https://ghc.haskell.org/trac/ghc/ticket/11378 Edward Excerpts from Ericson, John's message of 2016-01-19 15:15:15 -0800: > Cross-posting this as was suggested on the Haskell-Cafe list. While I > envision this as normal feature that

Re: Fwd: Host-Oriented Template Haskell

Ah thanks for the link. Template Haskell with only {-# TH-ONLY #-} imports is precisely equivalent to what I propose. I find a clean separation with that and normal TH useful, however, precisely so the stage2 compiler's source can include such a thing. On Tue, Jan 19, 2016 at 3:20 PM, Edward Z.

Re: Fwd: Host-Oriented Template Haskell

>From #11378: > Can we actually link against the old version of ghc? Yes we can! All we need > is > (1) for it to have been built with a different IPID, and > (2) to use module renaming to rename the relevant modules to a different > module name, so that we can import them without a conflict.

CallStack naming

Hi devs, I'm sure there's an easy answer to this, but I'm wondering: why is the CallStack feature implemented with implicit parameters instead of just a magical constraint? Whenever I use this feature, I don't want to have to enable -XImplicitParams and then make sure I get the name right.

Serialized module

As part of the recent Remote GHCi changes, I moved the module Serialized from the ghc package to ghc-boot. This is because it is shared by the ghci package and ghc itself. The only way to arrange that it was available to both ghc in stage1 and the ghci package (which is not a dependency of the

Re: ghci and unfoldings?

-fno-ignore-interface-pragmas might work. However the problem is really that the interpreter cannot compile the full intermediate language of GHC (it can't handle arbitrary unboxed tuples), and we work around that in a fairly fragile way by disabling -O. By enabling unfoldings you might expose

Re: Birthday greetings

Happy Birthday Simon :) And well done for keeping on top of things for so long. I reached the overload point quite a while ago and I no longer read all the mailing lists. So the same goes for me: I'm not going to see a ticket or a diff unless you explicitly CC me on it - but please feel free to

Fixing #11444 - OK-for-speculation check rejects valid program?

I found one of the problems with #11444, but I don't know how to fix it. The problem is that the desugarer is generating this function: ptrEq [InlPrag=NOINLINE] :: forall a_a1wc. a_a1wc -> a_a1wc -> Bool [LclIdX, Str=DmdType] ptrEq = \ (@ a_a1Ts) (x_a1we :: a_a1Ts) (y_a1wf ::

Fwd: Host-Oriented Template Haskell

Cross-posting this as was suggested on the Haskell-Cafe list. While I envision this as normal feature that anyone can use, in practice its biggest consumers would be GHC devs. John -- Forwarded message -- From: Ericson, John Date: Tue, Jan 19, 2016 at

Re: How to build profiled stage1?

An update: If I just clone from scratch, set the flavor "prof" and run make, it doesn't work. But this is another problem, my original problem is about building profiling stage1, rather than stage2. 2016-01-18 15:10 GMT-05:00 Ömer Sinan Ağacan : > I'm trying to debug my