Searched refs:WHNF (Results 1 – 17 of 17) sorted by relevance
/dports/lang/ghc/ghc-8.10.7/rts/ |
H A D | StgStartup.cmm | 158 to be evaluated to WHNF by that time, so that we can easily get at
|
/dports/lang/ghc/ghc-8.10.7/docs/hep/ |
H A D | hep.tex | 790 -- To WHNF 803 any type, to WHNF. The client must supply a \verb@RunHooks@ object 834 reached WHNF. Lastly, a return value of \verb@NoThreadsToRun@ 937 -- eval this ptr to WHNF
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/ |
H A D | Fast.hs | 404 data Normalisation = WHNF | NF constructor 414 fastReduce = fastReduce' WHNF
|
/dports/lang/ghc/ghc-8.10.7/docs/rts/ |
H A D | rts.tex | 197 They may be in WHNF or they may be unevaluated. 200 type which is \emph{not} in WHNF. 202 \item A \emph{value} is an object in WHNF. It can be pointed or unpointed. 610 Indirections needn't always point to a closure in WHNF. They can 1746 Note that unpointed objects are (arbitrarily) not considered to be in WHNF. 1761 WHNF. For example, indirections. 1793 It is true of updateable objects which are not in WHNF with the
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
H A D | RealGHC.lhs.exactprinter.golden | 510 -- variable, we expand it so long as its unfolding is a WHNF
|
H A D | RealGHC.lhs | 510 -- variable, we expand it so long as its unfolding is a WHNF
|
H A D | RealGHC.lhs.parser.golden | 39213 " variable, we expand it so long as its unfolding is a WHNF"
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/ |
H A D | RealGHC.lhs.exactprinter.golden | 510 -- variable, we expand it so long as its unfolding is a WHNF
|
H A D | RealGHC.lhs | 510 -- variable, we expand it so long as its unfolding is a WHNF
|
H A D | RealGHC.lhs.parser.golden | 39213 " variable, we expand it so long as its unfolding is a WHNF"
|
/dports/lang/ghc/ghc-8.10.7/docs/users_guide/ |
H A D | bugs.rst | 417 function, while the lambda form is in WHNF that contains an application of an
|
H A D | glasgow_exts.rst | 14259 evaluating ``e`` (to WHNF) and then matching the result against ``p``.
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
H A D | RealGHC.lhs.exactprinter.golden | 510 -- variable, we expand it so long as its unfolding is a WHNF
|
H A D | RealGHC.lhs | 510 -- variable, we expand it so long as its unfolding is a WHNF
|
H A D | RealGHC.lhs.parser.golden | 39213 " variable, we expand it so long as its unfolding is a WHNF"
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/ghc-lib/stage0/compiler/build/ |
H A D | primop-docs.hs-incl | 232 …ords, it evaluates the first\n argument @a@ to weak head normal form (WHNF). @seq@ is usually\…
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/ghc-lib/stage0/compiler/build/ |
H A D | primop-docs.hs-incl | 309 …ords, it evaluates the first\n argument @a@ to weak head normal form (WHNF). @seq@ is usually\…
|