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

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

Checks.InterfaceSyntaxCheck

Description

Similar to Curry source files, some post-processing has to be applied to parsed interface files. In particular, the compiler must disambiguate nullary type constructors and type variables. In addition, the compiler also checks that all type constructor applications are saturated. Since interface files are closed -- i.e., they include declarations of all entities which are defined in other modules -- the compiler can perform this check without reference to the global environments.

Documentation