= do { checkL (not (var == oneTupleDataConId))
(ptext (sLit "Illegal one-tuple"))
- ; checkL (not (var `hasKey` wildCardKey))
- (ptext (sLit "Occurence of a wild-card binder") <+> ppr var)
- -- See Note [WildCard binders] in SimplEnv
-
; checkDeadIdOcc var
; var' <- lookupIdInScope var
; return (idType var') }