diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-08-25 18:14:16 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-09-14 08:26:36 +0100 |
commit | 959a623e29309fbd4f206432ba534177ec804e18 (patch) | |
tree | e083594700abb480d8481a9f7ea6f67828aed69b | |
parent | 10a1a4781c646f81ca9e2ef7a2585df2cbe3a014 (diff) | |
download | haskell-959a623e29309fbd4f206432ba534177ec804e18.tar.gz |
No need to check ambiguity for visible type args
Seems unnecesarry to me.
-rw-r--r-- | compiler/typecheck/TcValidity.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index 65c7afdf98..fdff7e95aa 100644 --- a/compiler/typecheck/TcValidity.hs +++ b/compiler/typecheck/TcValidity.hs @@ -225,6 +225,7 @@ wantAmbiguityCheck ctxt = case ctxt of -- See Note [When we don't check for ambiguity] GhciCtxt -> False TySynCtxt {} -> False + TypeAppCtxt -> False _ -> True checkUserTypeError :: Type -> TcM () @@ -269,6 +270,10 @@ In a few places we do not want to check a user-specified type for ambiguity from doing an ambiguity check on a type with TyVars in it. Fixing this would not be hard, but let's wait till there's a reason. +* TypeAppCtxt: visible type application + f @ty + No need to check ty for ambiguity + ************************************************************************ * * |