summaryrefslogtreecommitdiff
path: root/compiler/ghc.cabal.in
diff options
context:
space:
mode:
authorTwan van Laarhoven <twanvl@gmail.com>2013-09-11 15:32:33 +0200
committerHerbert Valerio Riedel <hvr@gnu.org>2013-09-18 09:53:18 +0200
commitbd42c9dfd1c9ce19672e1d63871a237c268e0212 (patch)
tree0d9e6e3fdedae39176751cc62c1458344a0cf781 /compiler/ghc.cabal.in
parentb6bc3263d0099e79b437ac5f3c053452c608c710 (diff)
downloadhaskell-bd42c9dfd1c9ce19672e1d63871a237c268e0212.tar.gz
Implement checkable "minimal complete definitions" (#7633)
This commit adds a `{-# MINIMAL #-}` pragma, which defines the possible minimal complete definitions for a class. The body of the pragma is a boolean formula of names. The old warning for missing methods is replaced with this new one. Note: The interface file format is changed to store the minimal complete definition. Authored-by: Twan van Laarhoven <twanvl@gmail.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Diffstat (limited to 'compiler/ghc.cabal.in')
-rw-r--r--compiler/ghc.cabal.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in
index 553d27d2ba..a4e40d80fb 100644
--- a/compiler/ghc.cabal.in
+++ b/compiler/ghc.cabal.in
@@ -397,6 +397,7 @@ Library
Unify
Bag
Binary
+ BooleanFormula
BufWrite
Digraph
Encoding