Skip to content
  • Simon Peyton Jones's avatar
    Tidy up tidySkolemInfo · 290a553e
    Simon Peyton Jones authored
    Previously tidySkolemInfo used tidyOpenType, and returned a new
    TidyEnv.  But that's not needed any more, because all the skolems
    should be in scope in the constraint tree.
    
    I also removed a (now-unnecessary) field of UnifyForAllSkol
    290a553e