curry-base-1.1.1: Functions for manipulating Curry programs

Copyright(c) 2000 - 2007 Wolfgang Lux
2014 - 2015 Björn Peemöller
2014 Jan Tikovsky
2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.Syntax.InterfaceEquivalence

Description

If a module is recompiled, the compiler has to check whether the interface file must be updated. This must be done if any exported entity has been changed, or an export was removed or added. The function intfEquiv checks whether two interfaces are equivalent, i.e., whether they define the same entities.

Synopsis

Documentation

fixInterface :: Interface -> Interface Source #

Disambiguate nullary type constructors and type variables.

intfEquiv :: Interface -> Interface -> Bool Source #

Are two given interfaces equivalent?