Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DEnv.hs32 getCurrentPath = fromMaybe __IMPOSSIBLE__ <$> asksTC envCurrentPath
H A DTrace.hs137 currentFile <- asksTC envCurrentPath
H A DBase.hs2775 , envCurrentPath :: Maybe AbsolutePath function
2913 , envCurrentPath = Nothing function
3008 eCurrentPath f e = f (envCurrentPath e) <&> \ x -> e { envCurrentPath = x }
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DCommandLine.hs175 localTC (\ e -> e { envCurrentPath = mpath }) cont
H A DImports.hs907 localTC (\e -> e { envCurrentPath = Just (srcFilePath file) }) $ do
H A DInteractionTop.hs945 localTC (\ e -> e { envCurrentPath = mfile }) m
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DQuote.hs60 currentFile <- fromMaybe __IMPOSSIBLE__ <$> asksTC envCurrentPath
H A DErrors.hs295 caseMaybeM (asksTC envCurrentPath) (return id) $ \ f -> do