Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
checkTypeOfMain :: QName -> Type -> TCM [Decl] -> TCM [Decl] Source #
Check that the main function has type IO a, for some a.
importsForPrim :: TCM [ModuleName] Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
checkTypeOfMain :: QName -> Type -> TCM [Decl] -> TCM [Decl] Source #
Check that the main function has type IO a, for some a.
importsForPrim :: TCM [ModuleName] Source #