+++ /dev/null
-Renamer stats: 5 interfaces read
- 0 class decls imported, out of 17 read
- 0 data decls imported (of which 0 abstractly), out of 9 read
- 0 newtype decls imported (of which 0 abstractly), out of 0 read
- 0 type synonym decls imported, out of 5 read
- 0 value signatures imported, out of 1098 read
- 0 instance decls imported, out of 114 read
-
-
-================================================================================
-Renamer:
-module Test where
-{- rec -}
-i{-r3J,x-}
- x_r3k = j{-r3H,x-}
- x_r3k x_r3k
-j{-r3H,x-}
- x_r3q y_r3s
- = k{-r3F,x-}
- x_r3q x_r3q y_r3s
-k{-r3F,x-}
- x_r3A y_r3C z_r3E
- = i{-r3J,x-}
- z_r3E
-{- rec -}
-f{-r3K,x-}
- x_r3i = g{-r3I,x-}
- x_r3i x_r3i
-g{-r3I,x-}
- x_r3m y_r3o
- = h{-r3G,x-}
- x_r3m x_r3m y_r3o
-h{-r3G,x-}
- x_r3u y_r3w z_r3y
- = f{-r3K,x-}
- z_r3y
-
-NOTE: Simplifier still going after 4 iterations; bailing out.