Skip to content

Make CodeQ and TExpQ levity polymorphic

Ryan Scott requested to merge wip/T18521 into master

The patch is quite straightforward. The only tricky part is that Language.Haskell.TH.Lib.Internal now must be Trustworthy instead of Safe due to the GHC.Exts import (in order to import TYPE).

Since CodeQ has yet to appear in any released version of template-haskell, I didn't bother mentioning the change to CodeQ in the template-haskell release notes.

Fixes #18521 (closed).

Merge request reports