/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/ |
H A D | Env.hs | 28 localTC $ \ e -> e { envCurrentModule = m } function 45 localTC $ \ e -> e { envAnonymousModules = (m, n) : envAnonymousModules e } function 64 doExpandLast = localTC $ \ e -> e { envExpandLast = setExpand (envExpandLast e) } function 70 dontExpandLast = localTC $ \ e -> e { envExpandLast = DontExpandLast } function 73 reallyDontExpandLast = localTC $ \ e -> e { envExpandLast = ReallyDontExpandLast } function 79 performedSimplification = localTC $ \ e -> e { envSimplification = YesSimplification } function 129 insideDotPattern = localTC $ \ e -> e { envInsideDotPattern = True } function 136 callByName = localTC $ \ e -> e { envCallByNeed = False } function
|
H A D | Mutual.hs | 21 noMutualBlock = localTC $ \e -> e { envMutualBlock = Nothing } function 31 localTC (\ e -> e { envMutualBlock = Just i }) $ m i function
|
H A D | Options.hs | 156 localTC $ \e -> e { envDisplayFormsEnabled = True } function 161 localTC $ \e -> e { envDisplayFormsEnabled = False } function
|
H A D | Constraints.hs | 116 localTC (\e -> e { envActiveProblems = pids', envSolvingConstraints = isSolving }) $ function 218 nowSolvingConstraints = localTC $ \e -> e { envSolvingConstraints = True } function
|
H A D | Imports.hs | 45 localTC $ \e -> e { envImportPath = m : envImportPath e } function
|
H A D | Signature.hs | 1094 inAbstractMode = localTC $ \e -> e { envAbstractMode = AbstractMode } function 1099 inConcreteMode = localTC $ \e -> e { envAbstractMode = ConcreteMode } function 1103 ignoreAbstractMode = localTC $ \e -> e { envAbstractMode = IgnoreAbstractMode } function
|
H A D | MetaVars.hs | 120 localTC (\ env -> env { envAssignMetas = False }) cont function
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 17 class localTC(T) {} in localTC() function
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gdc.test/compilable/ |
H A D | protection.d | 16 class localTC(T) {} in localTC() function
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/ |
H A D | Monad.hs | 65 localTC (\e -> e { envContext = f $ envContext e function
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
H A D | Irrelevance.hs | 124 . localTC (\ e -> e { envWorkingOnTypes = True }) function
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
H A D | MakeCase.hs | 249 localTC (\ e -> e { envPrintMetasBare = True }) $ do function
|
H A D | CommandLine.hs | 175 localTC (\ e -> e { envCurrentPath = mpath }) cont function
|
H A D | InteractionTop.hs | 945 localTC (\ e -> e { envCurrentPath = mfile }) m function 1046 localTC (\st -> st { envImportPath = [] function
|
H A D | Imports.hs | 907 localTC (\e -> e { envCurrentPath = Just (srcFilePath file) }) $ do function
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/ |
H A D | Def.hs | 1200 localTC (\ e -> e { envCheckingWhere = True }) $ do function 1254 localTC (\ e -> e { envClause = IPClause name i t sub cl clo [] }) ret function
|
H A D | Decl.hs | 258 localTC (\ e -> e { envMutualBlock = Just mid }) $ function
|