Match in types handled using top.

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

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