X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtraction-prefix.hs;h=595b8d1ac3adc999283a68d5328c003977998766;hp=68c40e5ddde382f8d29722708a3caabc20918be3;hb=5a0761840d89b82cdacb0bf9215fd41aba847b68;hpb=a5cc4e8d9bbdb4b462de09a221f958bf3020895e

diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs
index 68c40e5..595b8d1 100644
--- a/src/Extraction-prefix.hs
+++ b/src/Extraction-prefix.hs
@@ -36,7 +36,8 @@ import qualified Data.Char
 import Data.Bits ((.&.), shiftL, (.|.))
 import Prelude ( (++), (+), (==), Show, show, Char )
 
-{-
+dataConEqTheta' dc = map (\p -> {-FIXME-}) (DataCon.dataConEqTheta dc)
+
 nat2int :: Nat -> Prelude.Int
 nat2int O     = 0
 nat2int (S x) = 1 + (nat2int x)
@@ -74,4 +75,4 @@ coreVarSort v | otherwise     = Prelude.error "Var.Var that is neither an expres
 
 outputableToString :: Outputable -> String
 outputableToString = (\x -> Outputable.showSDoc (Outputable.ppr x))
--}
+