Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/
H A DFast.hs650 | ForceK QName (Spine s) (Spine s) constructor
883 evalPointerAM (unArg v) [] (ForceK f spine0 spine1 : ctrl)
1050 runAM' (Eval arg@(Closure (Value blk) t _ _) (ForceK pf spine0 spine1 : ctrl))
1359 unfoldDelayed (ForceK{} : ctrl) = unfoldDelayed ctrl
1456 …prettyPrec p (ForceK _ spine0 spine1) = mparens (p > 9) $ "ForceK" <?> prettyList (spine0 <> spi…