Open
Description
The rename plugin does not work with template haskell quotes:
{-# LANGUAGE TemplateHaskell #-}
module Main (main) where
main = $(
let x = 'y'
f = [| print |]
in [| $f x |] )
In the above code, renaming bindings of f
or x
doesn't change their use. Renaming f
or x
where they are used gives an error Renaming of an imported name is unsupported