• Simon Marlow's avatar
    Keep track of free type variables in the interactive bindings · 671b39c5
    Simon Marlow authored
    Now, the type checker won't attempt to generalise over the skolem
    variables in the interactive bindings.  If we end up trying to show
    one of these types, there will be an unresolved predicate 'Show t'
    which causes a type error (albeit a strange one, I'll fix that
    later).
    671b39c5
GHC.hs 86.1 KB