Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DImports.hs190 MainInterface TypeCheck -> ModuleTypeChecked
191 NotMainInterface -> ModuleTypeChecked
285 …ainInterface TypeCheck -> useExistingOrLoadAndRecordVisited ModuleTypeChecked
286 …otMainInterface -> useExistingOrLoadAndRecordVisited ModuleTypeChecked
639 , miMode = ModuleTypeChecked
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DImports.hs74 prettyCheckMode ModuleTypeChecked = ""
H A DBase.hs895 | ModuleTypeChecked constructor