[Haskell-cafe] Is there some way to hack the type system without recompiling GHC?

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Fri Nov 23 06:25:14 UTC 2018

Previous message: [Haskell-cafe] Is there some way to hack the type system without recompiling GHC?
Next message: [Haskell-cafe] Is there some way to hack the type system without recompiling GHC?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Fri, Nov 23, 2018 at 02:11:29PM +0800, ducis wrote:
> In this case is it possible to somehow insert (regular haskell) code into
> the typechecker

Are you looking for GHC plugins?

    https://downloads.haskell.org/~ghc/8.6.2/docs/html/users_guide/extending_ghc.html#compiler-plugins

Previous message: [Haskell-cafe] Is there some way to hack the type system without recompiling GHC?
Next message: [Haskell-cafe] Is there some way to hack the type system without recompiling GHC?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list