Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Defines UHC Core functions used in other parts of Agda.
E.g. parsing Core pragmas uses the parseCoreCode
function.
Documentation
data CoreConstr Source
:: CoreConstr | |
-> Int | Arity |
-> CTag |
setTag :: CoreConstr -> Int -> CoreConstr Source