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

Copyright(c) 2000 - 2004 Wolfgang Lux
2011 - 2013 Björn Peemöller
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Interfaces

Description

The compiler maintains a global environment holding all (directly or indirectly) imported interface declarations for a module.

This module contains a function to load *all* interface declarations declared by the (directly or indirectly) imported modules, regardless whether they are included by the import specification or not.

The declarations are later brought into the scope of the module via the function importModules, see module Imports.

Interface files are updated by the Curry builder when necessary, see module CurryBuilder.

Synopsis

Documentation

loadInterfaces Source #

Arguments

:: [FilePath]

FilePaths to search in for interfaces

-> Module a

Module header with import declarations

-> CYIO InterfaceEnv 

Load the interfaces needed by a given module. This function returns an InterfaceEnv containing the Interfaces which were successfully loaded.