search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Use `thNameToGhcName` to avoid Strings #67

Closed zliu41 closed 2 years ago

zliu41 commented 2 years ago

This avoids most strings when loading names.

zliu41 commented 2 years ago

This doesn't work for 8.6 and 8.4 for reasons I don't understand. 8.8+ is fine. @sellout shall we drop 8.6 and 8.4? It's difficult to keep supporting these old versions going forward, and supporting 8.8+ means we support 4 latest minor versions which is already plenty.