Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DEnv.hs64 doExpandLast = localTC $ \ e -> e { envExpandLast = setExpand (envExpandLast e) }
70 dontExpandLast = localTC $ \ e -> e { envExpandLast = DontExpandLast }
73 reallyDontExpandLast = localTC $ \ e -> e { envExpandLast = ReallyDontExpandLast }
H A DBase.hs2840 , envExpandLast :: ExpandHidden function
2943 , envExpandLast = ExpandLast function
3079 eExpandLast f e = f (envExpandLast e) <&> \ x -> e { envExpandLast = x }
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A DApplication.hs505 expandLast <- asksTC envExpandLast
869 expandLast <- asksTC envExpandLast
H A DTerm.hs1276 expandHidden <- asksTC envExpandLast