Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/JS/
H A DCompiler.hs540 memId <- visitorName $ recCon $ theDef dt
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs2291 recCon :: Defn -> QName
2292 recCon Record{ recConHead } = conName recConHead function
2293 recCon _ = __IMPOSSIBLE__ function
/dports/math/hs-Agda/Agda-2.6.2/
H A DCHANGELOG.md1145 …- [#4637](https://github.com/agda/agda/issues/4637): recCon-NOT-PRINTED in termination error in c…