categorifier icon indicating copy to clipboard operation
categorifier copied to clipboard

Use thNameToGhcName

Open zliu41 opened this issue 3 years ago • 0 comments

There's a GHC function, GhcPlugins.thNameToGhcName. This should be used instead of Categorifier.Hierarchy.findName.

zliu41 avatar Apr 22 '22 00:04 zliu41