No need to check ambiguity for visible type args
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 25 Aug 2017 17:14:16 +0000 (18:14 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 14 Sep 2017 07:26:36 +0000 (08:26 +0100)
Seems unnecesarry to me.

compiler/typecheck/TcValidity.hs

index 65c7afd..fdff7e9 100644 (file)
@@ -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
+
 
 ************************************************************************
 *                                                                      *