search

haskell / haskeline

A Haskell library for line input in command-line programs.
https://hackage.haskell.org/package/haskeline
BSD 3-Clause "New" or "Revised" License
223 stars 75 forks source link

Add a "forall" quantifier before rank-n-types #4

Closed monoidal closed 10 years ago

monoidal commented 10 years ago

I propose to add "forall" in one place in haskeline. This improves consistency (the other data member evalTerm also uses explicit forall). It is planned that future GHC will require "forall" in all polymorphic fields, including those which use => arrow. For more: https://ghc.haskell.org/trac/ghc/ticket/4426. I'm open to any questions.

judah commented 10 years ago

Merged; thanks for the patch, and apologies for the delay in response.