Skip to content
Snippets Groups Projects
Select Git revision
20 results
Blame Permalink
Forked from Glasgow Haskell Compiler / GHC
Source project has a limited visibility.
  • Simon Peyton Jones's avatar
    935dc721
    Fix the treatment of lexically scoped kind variables (Trac #8856) · 935dc721
    Simon Peyton Jones authored 
    The issue here is described in Note [Binding scoped type variables] in
TcPat.  When implementing this fix I was able to make things quite a
bit simpler:
 * The type variables in a type signature now never unify
   with each other, and so can be straightfoward skolems.
 * We only need the SigTv stuff for signatures in patterns,
   and for kind variables.

(cherry picked from commit cf1a0f97)
    935dc721
    History
    Fix the treatment of lexically scoped kind variables (Trac #8856)
    Simon Peyton Jones authored 
    The issue here is described in Note [Binding scoped type variables] in
TcPat.  When implementing this fix I was able to make things quite a
bit simpler:
 * The type variables in a type signature now never unify
   with each other, and so can be straightfoward skolems.
 * We only need the SigTv stuff for signatures in patterns,
   and for kind variables.

(cherry picked from commit cf1a0f97)
Code owners
Assign users and groups as approvers for specific file changes. Learn more.