Home
last modified time | relevance | path

Searched refs:InlineReductions (Results 1 – 5 of 5) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DEnv.hs115 onlyReduceTypes = putAllowedReductions $ SmallSet.fromList [TypeLevelReductions, InlineReductions]
H A DBase.hs2378 | InlineReductions -- ^ Functions marked INLINE may be reduced. constructor
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DRewriting.hs240 lhs <- modifyAllowedReductions (const $ SmallSet.singleton InlineReductions) $ reduce lhs
H A DReduce.hs578 (isInlineFun def && InlineReductions `SmallSet.member` allowed) ||
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/
H A DMakefile465 InlineReductions.cpp \
644 InlineReductions.h \