Searched refs:patAsNames (Results 1 – 2 of 2) sorted by relevance
1170 I.VarP i x -> addAsBindings (patAsNames i) $ case patOrigin i of1175 I.DotP i v -> addAsBindings (patAsNames i) $ case patOrigin i of1186 I.LitP i l -> addAsBindings (patAsNames i) $ return $ A.LitP empty l1188 I.ConP c cpi ps | conPRecord cpi -> addAsBindings (patAsNames $ conPInfo cpi) $1194 I.ConP c cpi ps -> addAsBindings (patAsNames $ conPInfo cpi) $ reifyConP c cpi ps1195 I.DefP i f ps -> addAsBindings (patAsNames i) $ case patOrigin i of1200 I.IApplyP i _ _ x -> addAsBindings (patAsNames i) $ case patOrigin i of
422 , patAsNames :: [Name] function