DisallowedGeneralizeName (reference) in projects: dports

Searched refs:DisallowedGeneralizeName (Results 1 – 6 of 6) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A D	Precise.hs	`303 DisallowedGeneralizeName -> Generalizable`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A D	EmacsTop.hs	`347 DisallowedGeneralizeName -> "generalizable variable from let open"`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A D	Base.hs	`366 \| DisallowedGeneralizeName -- ^ Generalizable variable from a let open constructor 974 disallowGen GeneralizeName = DisallowedGeneralizeName`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A D	Abstract.hs	`933 DisallowedGeneralizeName -> Def x`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A D	AbstractToConcrete.hs	`137 not (k == GeneralizeName \|\| k == DisallowedGeneralizeName)`
H A D	ConcreteToAbstract.hs	`586 DisallowedGeneralizeName -> do`