UselessInline (reference) in projects: dports

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A D	Errors.hs	`39 UselessInline a -> icodeN 4 UselessInline a 93 [4, a] -> valuN UselessInline a`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A D	Warning.hs	`148 UselessInline q -> fsep $`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A D	Generate.hs	`423 UselessInline{} -> mempty`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/MAlonzo/
H A D	Compiler.hs	`394 when inline $ warning $ UselessInline q`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`3275 \| UselessInline QName constructor 3419 UselessInline{} -> UselessInline_`