GHC.Prim.Any fixed

[helm.git] / matita / matita / lib / preamble.hs

diff --git a/matita/matita/lib/preamble.hs b/matita/matita/lib/preamble.hs
index 2aea1bb44b0a76c8a385d44e49ba1eb6b19aa215..9aae779dd90ca1869b9fd99eb1f125d3071f6e7d 100644 (file)
--- a/matita/matita/lib/preamble.hs
+++ b/matita/matita/lib/preamble.hs
@@ -1,5 +1,8 @@
-{-# LANGUAGE RankNTypes, KindSignatures #-}
+{-# LANGUAGE RankNTypes, KindSignatures, GADTs, ScopedTypeVariables #-}
 
 module Main where
 
-
+import Unsafe.Coerce
+import Prelude (error)
+import qualified Prelude
+import qualified GHC.Prim