Documentation
checkTypeOfMain :: QName -> Type -> TCM ()Source
Check that the main function has type IO a, for some a.
declsForPrim :: TCM [HsDecl]Source
hasCompiledData :: [String] -> TCM BoolSource
checkTypeOfMain :: QName -> Type -> TCM ()Source
Check that the main function has type IO a, for some a.
declsForPrim :: TCM [HsDecl]Source
hasCompiledData :: [String] -> TCM BoolSource