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

Copyright(c) 2016 - 2017 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Checks.TypeSyntaxCheck

Description

After the source file has been parsed and all modules have been imported, the compiler first checks all type definitions and signatures. In particular, this module disambiguates nullary type constructors and type variables, which -- in contrast to Haskell -- is not possible on purely syntactic criteria. In addition it is checked that all type constructors and type variables occurring on the right hand side of a type declaration are actually defined and no identifier is defined more than once.

Documentation