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

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'

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