Home
last modified time | relevance | path

Searched refs:WHNF (Results 1 – 17 of 17) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/rts/
H A DStgStartup.cmm158 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 Dhep.tex790 -- 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 DFast.hs404 data Normalisation = WHNF | NF constructor
414 fastReduce = fastReduce' WHNF
/dports/lang/ghc/ghc-8.10.7/docs/rts/
H A Drts.tex197 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 DRealGHC.lhs.exactprinter.golden510 -- variable, we expand it so long as its unfolding is a WHNF
H A DRealGHC.lhs510 -- variable, we expand it so long as its unfolding is a WHNF
H A DRealGHC.lhs.parser.golden39213 " 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 DRealGHC.lhs.exactprinter.golden510 -- variable, we expand it so long as its unfolding is a WHNF
H A DRealGHC.lhs510 -- variable, we expand it so long as its unfolding is a WHNF
H A DRealGHC.lhs.parser.golden39213 " variable, we expand it so long as its unfolding is a WHNF"
/dports/lang/ghc/ghc-8.10.7/docs/users_guide/
H A Dbugs.rst417 function, while the lambda form is in WHNF that contains an application of an
H A Dglasgow_exts.rst14259 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 DRealGHC.lhs.exactprinter.golden510 -- variable, we expand it so long as its unfolding is a WHNF
H A DRealGHC.lhs510 -- variable, we expand it so long as its unfolding is a WHNF
H A DRealGHC.lhs.parser.golden39213 " 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 Dprimop-docs.hs-incl232 …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 Dprimop-docs.hs-incl309 …ords, it evaluates the first\n argument @a@ to weak head normal form (WHNF). @seq@ is usually\…