[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


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


More information about the Haskell-Cafe mailing list