Move forall binder to front of generated types

neovimhaskell / nvim-hs

Neovim API for Haskell plugins as well as the plugin provider

Other

269 stars 18 forks source link

Move forall binder to front of generated types #113

Closed isovector closed 1 year ago

isovector commented 1 year ago

This PR changes the types of the generated API from, eg:

nvim_set_option :: String -> Object -> forall env. Neovim env ()

nvim_set_option :: forall env. String -> Object -> Neovim env ()

which GHC likes much better in the light of simplified subsumption. Using these types means we can continue working with the nvim-hs API in pointfree fashion.

saep commented 1 year ago

I'm sorry for the late response. The notification for this PR has actually been in my spam folder. :o

isovector commented 1 year ago

No problem at all! Thanks for the merge!