- coreUnreachableFuncs :: Core -> [CoreFuncName]
- coreUnreachableDatas :: Core -> [CoreCtorName]
Unreachability
Yhc.Core.Reachable.coreReachable
fails if any of the
function/constructor calls cannot be matched by a function defined in the
linked Core. The two functions provided in this module help detect
missing (in other words, unreachable) functions to give user alerts,
or to automatically create some missing items where possible.
coreUnreachableFuncs :: Core -> [CoreFuncName]Source
Determine missing (unreachable) functions. All functions called except All functions defined
coreUnreachableDatas :: Core -> [CoreCtorName]Source
Determine missing (unreachable) data constructors. All ctors called\used in patterns except All ctors defined/