Commit 959a623e authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

No need to check ambiguity for visible type args

Seems unnecesarry to me.
parent 10a1a478
......@@ -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
* *
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment