Skip to content
Snippets Groups Projects
Select Git revision
  • compact-unwind
  • compact-unwind-9.0
  • compact-unwind-8.10
  • compact-unwind-9.2
  • wip/ghc-exception-stacktraces
  • wip/9.0.2-backports-3
  • wip/T20861
  • wip/T19029
  • master default protected
  • wip/andreask/late_cc
  • wip/marge_bot_batch_merge_job
  • wip/joachim/no-app-invariant
  • wip/mp-multi-hmi
  • wip/resolve-package-import
  • wip/andreask/caller_cc_fix
  • wip/perf-tests-downwards
  • wip/no-skolem-info
  • wip/amg/dcoercion
  • wip/fragile-windows
  • wip/typos2
  • ghc-9.2.1-release
  • ghc-8.10.7-release
  • ghc-9.2.1-rc1
  • ghc-8.10.6-release
  • ghc-8.10.5-release
  • ghc-9.2.1-alpha2
  • ghc-9.2.1-alpha1
  • ghc-9.3-start
  • ghc-8.10.4-release
  • ghc-9.0.1-release
  • ghc-9.0.1-rc1
  • ghc-8.10.3-release
  • ghc-8.10.2-release
  • ghc-8.10.2-rc2
  • ghc-8.10.2-rc1
  • ghc-9.1-start
  • ghc-8.8.4-release
  • ghc-8.8.4-rc1
  • ghc-8.10.1-release
  • ghc-8.8.3-release
40 results
Compare
Forked from Glasgow Haskell Compiler / GHC
Source project has a limited visibility.
user avatar
Check for bogus quantified tyvars in partial type sigs
Simon Peyton Jones authored 
This fixes Trac #14479.  Not difficult.

See Note [Quantification and partial signatures] Wrinkle 4,
in TcSimplify.

(cherry picked from commit 72938f58)
87e517c1
History
user avatar 87e517c1
History
Name Last commit Last update