curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language

Copyright(c) 2016 Jan Tikovsky
LicenseBSD-3-clause
Maintainerjrt@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
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 #