Searched refs:lintBinders (Results 1 – 3 of 3) sorted by relevance
1205 ; lintBinders CasePatBind args $ \ args' -> do1224 lintBinders :: BindingSite -> [Var] -> ([Var] -> LintM a) -> LintM a1225 lintBinders _ [] linterF = linterF [] function1226 lintBinders site (var:vars) linterF = lintBinder site var $ \var' -> function1227 lintBinders site vars $ \ vars' ->1326 linter = lintBinders LambdaBind vars $ \_ ->1572 = lintBinders LambdaBind bndrs $ \ _ ->
1431 ; lintBinders CasePatBind args $ \ args' -> do1473 lintBinders :: BindingSite -> [Var] -> ([Var] -> LintM a) -> LintM a1474 lintBinders _ [] linterF = linterF [] function1475 lintBinders site (var:vars) linterF = lintBinder site var $ \var' -> function1476 lintBinders site vars $ \ vars' ->1829 = lintBinders LambdaBind bndrs $ \ _ ->2394 = lintBinders LambdaBind (tvs ++ cvs) $ \_ ->
1442 ; lintBinders CasePatBind args $ \ args' -> do1490 lintBinders :: BindingSite -> [Var] -> ([Var] -> LintM a) -> LintM a1491 lintBinders _ [] linterF = linterF [] function1492 lintBinders site (var:vars) linterF = lintBinder site var $ \var' -> function1493 lintBinders site vars $ \ vars' ->1847 = lintBinders LambdaBind bndrs $ \ _ ->2425 = lintBinders LambdaBind (tvs ++ cvs) $ \_ ->