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

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

Checks.DeriveCheck

Description

Before entering derived instances into the instance environment, the compiler has to ensure that it is not asked for other instances than those of supported type classes.

Documentation