Searched refs:classifiesTypeWithValues (Results 1 – 13 of 13) sorted by relevance
| /dports/lang/ghc/ghc-8.10.7/docs/core-spec/ |
| H A D | CoreSyn.ott | 403 | classifiesTypeWithValues :: :: ctwv {{ tex \textsf{classifiesTypeWithValues} }}
482 | classifiesTypeWithValues k :: :: classifies_type_with_values
|
| H A D | CoreLint.ott | 278 (R <= Ph \/ not (classifiesTypeWithValues k1)) \\/ (not (classifiesTypeWithValues k2) \/ compatible…
|
| /dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/ |
| H A D | CoreLint.hs | 1478 ; unless (classifiesTypeWithValues sk)
1486 = lintL (classifiesTypeWithValues k)
1496 = do { unless (classifiesTypeWithValues k1) (addErrL (msg (text "argument") k1))
1497 ; unless (classifiesTypeWithValues k2) (addErrL (msg (text "result") k2))
1832 ; when (r /= Phantom && classifiesTypeWithValues k1
1833 && classifiesTypeWithValues k2)
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Lint.hs | 1578 ; lintL (classifiesTypeWithValues sk) $
1735 = lintL (classifiesTypeWithValues kind)
1747 = do { unless (classifiesTypeWithValues k1) (addErrL (msg (text "argument") k1))
1748 ; unless (classifiesTypeWithValues k2) (addErrL (msg (text "result") k2))
2088 ; when (r /= Phantom && classifiesTypeWithValues k1
2089 && classifiesTypeWithValues k2)
|
| H A D | Type.hs | 230 classifiesTypeWithValues,
2900 _is_type = classifiesTypeWithValues k
2911 classifiesTypeWithValues :: Kind -> Bool
2913 classifiesTypeWithValues k = isJust (kindRep_maybe k) function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Lint.hs | 1595 ; lintL (classifiesTypeWithValues sk) $
1752 = lintL (classifiesTypeWithValues kind)
1764 = do { unless (classifiesTypeWithValues k1) (addErrL (msg (text "argument") k1))
1765 ; unless (classifiesTypeWithValues k2) (addErrL (msg (text "result") k2))
2106 ; when (r /= Phantom && classifiesTypeWithValues k1
2107 && classifiesTypeWithValues k2)
|
| H A D | Type.hs | 234 classifiesTypeWithValues,
3268 _is_type = classifiesTypeWithValues k
3279 classifiesTypeWithValues :: Kind -> Bool
3281 classifiesTypeWithValues k = isJust (kindRep_maybe k) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/ |
| H A D | Type.hs | 213 classifiesTypeWithValues,
2917 _is_type = classifiesTypeWithValues k
2928 classifiesTypeWithValues :: Kind -> Bool
2930 classifiesTypeWithValues k = isJust (kindRep_maybe k) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | Type.hs | 213 classifiesTypeWithValues,
2917 _is_type = classifiesTypeWithValues k
2928 classifiesTypeWithValues :: Kind -> Bool
2930 classifiesTypeWithValues k = isJust (kindRep_maybe k) function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 128 isLiftedTypeKind, isUnliftedTypeKind, classifiesTypeWithValues,
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/ |
| H A D | TcType.hs | 127 isLiftedTypeKind, isUnliftedTypeKind, classifiesTypeWithValues,
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 130 isLiftedTypeKind, isUnliftedTypeKind, classifiesTypeWithValues,
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcType.hs | 127 isLiftedTypeKind, isUnliftedTypeKind, classifiesTypeWithValues,
|