
24 Jan
2022
24 Jan
'22
9:23 a.m.
Norman Ramsey
I'm trying to use the retrie refactoring tool, but I'm getting a mysterious error message:
nr@homedog ~/a/g/compiler [1]> retrie --adhoc "forall x . not (backendNeedn'tLink x) == backendNeedsLink x"
parseAdhocs:1:80: error: parse error on input ‘#-}’ retrie: user error (parse failed)
The Tool was installed using cabal install; its github page is https://github.com/facebookincubator/retrie/#readme.
Has anybody had any success using this tool on the GHC sources? I'd love a workaround, or just advice.
For what it's worth, Norman has reported this issue upstream as https://github.com/facebookincubator/retrie/issues/41 Cheers, - Ben