<b...@smart-cactus.org>
| Cc: ghc-devs@haskell.org
| Subject: Re: Translation of GHC typechecker output to haskell-src-
| exts's 'Type'
|
| On 02-04-17 14:40:05, Tom Sydney Kerckhove wrote:
| > Is there a way to access the types before this translation happens?
| > It's okay i
Tom Sydney Kerckhove writes:
> On 02-04-17 14:40:05, Tom Sydney Kerckhove wrote:
>> Is there a way to access the types before this translation happens?
>> It's okay if I have to assume that type-checking succeeds...
>
> I have found a way to do what I want, even after
On 02-04-17 14:40:05, Tom Sydney Kerckhove wrote:
> Is there a way to access the types before this translation happens?
> It's okay if I have to assume that type-checking succeeds...
I have found a way to do what I want, even after this translation.
It relies on the fact that type class
On 01-04-17 19:47:15, Ben Gamari wrote:
> Tom Sydney Kerckhove writes:
>
> > Dear GHC Devs,
>
> Hi Tom,
Hi Mr Gamari
> I'm afraid the notes in TyCoRep are really all we have. Note that you
> should also familiarize yourself with the TyCon type (for reasons you'll
>
Tom Sydney Kerckhove writes:
> Dear GHC Devs,
Hi Tom,
> Because of the unwieldy nature of the data that the GHC type checker
> outputs, I am trying to convert a GHC 'Type' [1] to a haskell-src-ext
> 'Type' [2].
>
> The translation does not need to be perfect for now,
Dear GHC Devs,
Because of the unwieldy nature of the data that the GHC type checker
outputs, I am trying to convert a GHC 'Type' [1] to a haskell-src-ext
'Type' [2].
The translation does not need to be perfect for now, but I would at
least like to be able to translate function types and types