Home
last modified time | relevance | path

Searched defs:makeLazy (Results 1 – 3 of 3) sorted by relevance

/dports/lang/kawa/kawa-3.1.1/gnu/q2/lang/
H A DDefineOp.java22 PrimProcedure makeLazy = new PrimProcedure("gnu.mapping.Promise", in rewriteForm() local
/dports/lang/kawa/kawa-3.1.1/gnu/kawa/functions/
H A DMakePromise.java7 public static final MakePromise makeLazy = new MakePromise(); field in MakePromise
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcPat.hs168 makeLazy penv = penv { pe_lazy = True } function