RE: Translation of GHC typechecker output to haskell-src-exts's 'Type'

2017-04-03 Thread Simon Peyton Jones via ghc-devs
<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

Re: Translation of GHC typechecker output to haskell-src-exts's 'Type'

2017-04-02 Thread Ben Gamari
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

Re: Translation of GHC typechecker output to haskell-src-exts's 'Type'

2017-04-02 Thread Tom Sydney Kerckhove
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

Re: Translation of GHC typechecker output to haskell-src-exts's 'Type'

2017-04-02 Thread Tom Sydney Kerckhove
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 >

Re: Translation of GHC typechecker output to haskell-src-exts's 'Type'

2017-04-01 Thread Ben Gamari
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,

Translation of GHC typechecker output to haskell-src-exts's 'Type'

2017-04-01 Thread Tom Sydney Kerckhove
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