Module CC.Helpers

Summary of exported operations:

ccLoadPath :: IO String  Deterministic 
Computes the load path for executing the generated program that executes all checks.

Exported operations:

ccLoadPath :: IO String  Deterministic 

Computes the load path for executing the generated program that executes all checks. The load path consists of the standard load path (defined by CURRYPATH) and the additional load path for packages required by CurryCheck.