Home
last modified time | relevance | path

Searched refs:CALConcat (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/
H A DSyntax.hs207 | CALConcat (Clos (MArgList o) o) (ICArgList o) constructor
337 addtrailingargs newargs CALNil = CALConcat newargs CALNil
338 addtrailingargs newargs (CALConcat x xs) = CALConcat x (addtrailingargs newargs xs)
374 CALConcat a as -> CALConcat (weak' n a) (weak' n as)
H A DTypecheck.hs249 let ncargs = CALConcat (Clos cl args) cargs
291 CALConcat (Clos cl args) args2 ->
294 ALCons hid arg argsb -> mbret $ HNALCons hid (Clos cl arg) (CALConcat (Clos cl argsb) args2)
299 ALConPar args -> mbret $ HNALConPar (CALConcat (Clos cl args) args2)
430 $ HNApp (Const c) $ CALConcat (Clos [] args) CALNil
625 boringArgs (CALConcat (Clos cl as) as2) = do
710 nccargs (CALConcat (Clos cl margs) cargs) = do