| Copyright | (c) 2000 - 2007 Wolfgang Lux 2011 - 2015 Björn Peemöller 2015 Jan Tikovsky 2016 Finn Teegen |
|---|---|
| License | BSD-3-clause |
| Maintainer | bjp@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
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.