Skip to content

renaming of variables in template haskell quotes #3477

Open
@aavogt

Description

@aavogt

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

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions