curry-frontend-1.0.3: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2016 Jan Tikovsky
2016 Finn Teegen
LicenseBSD-3-clause
Maintainerjrt@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Checks.ImportSyntaxCheck

Description

This module provides the function importCheck to check and expand the import specifications of all import declarations.

Documentation

importCheck :: Interface -> Maybe ImportSpec -> (Maybe ImportSpec, [Message]) Source #