Safe Haskell | Safe-Infered |
---|
Agda.TypeChecking.CompiledClause.Compile
Documentation
Arguments
:: Bool | Translate record patterns? |
-> [Clause] | |
-> TCM CompiledClauses |
type Cl = ([Arg Pattern], ClauseBody)
compile :: Cls -> CompiledClauses
expandCatchAlls :: Int -> Cls -> Cls
substBody :: Int -> Integer -> Term -> ClauseBody -> ClauseBody