stop adding in foralls for unbound type variables

bmillwood / haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

27 stars 51 forks source link

stop adding in foralls for unbound type variables #75

Closed amiltner closed 6 years ago

amiltner commented 6 years ago

Fix issue #74 .

amiltner commented 6 years ago

I made a mini quasiquoter based on this, and in the next phase of compilation, the types are correctly inferred - there is no need to try to infer them at this level.