ycextra-0.1: Additional utilities to work with Yhc Core.





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/