Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DTrace.hs147 , [ \e -> e { envHighlightingRange = callRange }
158 oldRange <- envHighlightingRange <$> askTC
H A DBase.hs2828 , envHighlightingRange :: Range function
2938 , envHighlightingRange = noRange function
3067 eHighlightingRange f e = f (envHighlightingRange e) <&> \ x -> e { envHighlightingRange = x }