Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/JS/
H A DCompiler.hs363 case defCompilerPragmas jsBackendName def of
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DSignature.hs159 ps <- defCompilerPragmas backend <$> getConstInfo q
H A DBase.hs2471 defCompilerPragmas :: BackendName -> Definition -> [CompilerPragma]
2472 defCompilerPragmas b = reverse . fromMaybe [] . Map.lookup b . defCompiledRep function