Ben Gamari is, I believe, leading the effort with that proposal. It continues
to get attention but has not yet blossomed to something we're ready to debate
widely. This is a hard nut to crack, and we'd like to get it right. So I guess
all there is to say right now is that the effort is ongoing,
Inspection Testing by Joachim Breitner may be of interest:
https://arxiv.org/abs/1803.07130
> On Oct 25, 2019, at 5:34 PM, Alexis King wrote:
>
>> On Oct 25, 2019, at 04:07, Simon Peyton Jones wrote:
>>
>> | I’ve noticed that Specialise.hs has handful of pprTrace calls sprinkled
>> |
A nice property of Solution D (and I think this is a new observation) is that
we could accommodate both located source and unlocated. For example:
> data GhcPass (c :: Pass) -- as today
> data Pass = MkPass Phase HasLoc
> data Phase = Parsed | Renamed | Typechecked
> data HasLoc = YesLoc |
> Note that the MR description is a little misleading and I should update it:
> I'm using an open type family, really.
Ah, that’s good to know. In this case, I’m in support.
- Vlad
> On 28 Oct 2019, at 13:13, Sebastian Graf wrote:
>
> Hi Vlad,
>
> Note that the MR description is a little
Vlad
Are you arguing for Solution D? Or are you proposing some new solution E? I
can't tell.
| As to merge request !1970, it isn’t good to special-case GhcPass in a
| closed type family, making other tools second-class citizens. Let’s say I
| have `MyToolPass`, how would I write an instance
Hi Alexis,
I think the fact that it looks like it's fixed is only a coincidence. See
https://gitlab.haskell.org/ghc/ghc/issues/17409, where I go into a bit more
detail.
Cheers
Sebastian
Am Mo., 28. Okt. 2019 um 07:16 Uhr schrieb Alexis King <
lexi.lam...@gmail.com>:
> Hi all,
>
> I have an odd
Hi all,
I tried compiling this file:
{-# LANGUAGE NoImplicitPrelude #-}-- | Demonstrate various use of the
FFI.module Foreign whereimport Foreign.Cforeign import ccall "math.h
sin" sin :: CDouble -> CDoubleit :: CDoubleit = sin 1
And I’ve noticed that the annotated type given for this foreign
Hi all,
I have an odd question: I’ve bumped into a clear simplifier bug, and although
it only happens on GHC 8.6.5, not 8.8.1, I’d like to locate the change that
fixed it. My library’s test suite currently fails on GHC 8.6.5 due to the bug,
and I’d rather not force all my users to upgrade to