Home
last modified time | relevance | path

Searched refs:starKName (Results 1 – 2 of 2) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/compiler/prelude/
H A DTHNames.hs112 starKName, constraintKName,
480 starKName, constraintKName :: Name
487 starKName = libFun (fsLit "starK") starKIdKey function
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/
H A DDsMeta.hs2505 repTStar = rep2 starKName []