--- This is the right function to pass to tcPat when there are no signatures
-tcPatBndr_NoSigs binder_name pat_ty
- = -- Need to make a new, monomorphic, Id
- -- The binder_name is already being used for the polymorphic Id
- newLocalId (getOccName binder_name) pat_ty loc `thenNF_Tc` \ bndr_id ->
- returnTc bndr_id
- where
- loc = getSrcLoc binder_name
+-- This is the right function to pass to tcPat when
+-- we're looking at a lambda-bound pattern,
+-- so there's no polymorphic guy to worry about
+tcMonoPatBndr binder_name pat_ty = returnTc (mkVanillaId binder_name pat_ty)