summaryrefslogtreecommitdiff
path: root/docs/backpack/algorithm.tex
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2015-04-30 09:18:49 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2015-04-30 09:22:20 +0100
commitb83160d07e626bee685f329a9a73e90a4a6074ae (patch)
treeaba7948b3d73a3b05db887da48905fec73c62e69 /docs/backpack/algorithm.tex
parent54cefbd753b516fe8645c1470750ad7f65352844 (diff)
downloadhaskell-b83160d07e626bee685f329a9a73e90a4a6074ae.tar.gz
Tidy up treatment of FlexibleContexts
Previously (Trac #10351) we could get Non type-variable argument in the constraint: C [t] (Use FlexibleContexts to permit this) When checking that `f' has the inferred type f :: forall t. C [t] => t -> () which is a bit stupid: we have *inferred* a type that we immediately *reject*. This patch arranges that that the generalisation mechanism (TcSimplify.decideQuantification) doesn't pick a predicate that will be rejected by the subsequent validity check. This forced some minor refactoring, as usual.
Diffstat (limited to 'docs/backpack/algorithm.tex')
0 files changed, 0 insertions, 0 deletions