packages feed

haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/RenameDefinition/LocalFunction_res.hs

module Refactor.RenameDefinition.LocalFunction where

f :: Int -> Int
f = g
  where g :: Int -> Int
        g = id


g :: Int -> Int
g = id