Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DTrace.hs72 CheckNamedWhere{} -> True
195 CheckNamedWhere{} -> False
H A DBase.hs2591 | CheckNamedWhere ModuleName constructor
2625 pretty CheckNamedWhere{} = "CheckNamedWhere"
2662 getRange (CheckNamedWhere m) = getRange m
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A DCall.hs151 CheckNamedWhere m -> fsep $
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A DDef.hs1207 ensureNoNamedWhereInRefinedContext (Just m) = traceCall (CheckNamedWhere m) $ do