Residuation analysis: checks whether a function does not residuate and yields a ground value if some arguments are ground
Author: Michael Hanus
Version: September 2018
showResInfo
:: AOutFormat -> ResiduationInfo -> String
|
residuationAnalysis
:: Analysis ResiduationInfo
Non-residuation analysis. |
Data type to represent residuation information.
If an operation has info MayResiduate
, it may residuate
or yields a non-ground value even if all arguments are ground.
If an operation has info NoResiduateIf xs
, it does not residuate
and yields a ground value if all arguments in the index list are ground,
where arguments are numbered from 1.
Constructors:
MayResiduate
:: ResiduationInfo
NoResiduateIf
:: [Int] -> ResiduationInfo
NoResInfo
:: ResiduationInfo
|
Non-residuation analysis. |