projects
/
coq-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Demo.hs: swap <[]> and <{}>
[coq-hetmet.git]
/
src
/
Extraction-prefix.hs
diff --git
a/src/Extraction-prefix.hs
b/src/Extraction-prefix.hs
index
09f4b34
..
bbd2b81
100644
(file)
--- a/
src/Extraction-prefix.hs
+++ b/
src/Extraction-prefix.hs
@@
-15,6
+15,9
@@
import qualified Literal
import qualified Type
import qualified TypeRep
import qualified DataCon
import qualified Type
import qualified TypeRep
import qualified DataCon
+import qualified DsMonad
+import qualified IOEnv
+import qualified TcRnTypes
import qualified TyCon
import qualified Coercion
import qualified Var
import qualified TyCon
import qualified Coercion
import qualified Var
@@
-33,7
+36,9
@@
import qualified Data.Typeable
import Data.Bits ((.&.), shiftL, (.|.))
import Prelude ( (++), (+), (==), Show, show, (.), ($) )
import qualified Prelude
import Data.Bits ((.&.), shiftL, (.|.))
import Prelude ( (++), (+), (==), Show, show, (.), ($) )
import qualified Prelude
+import qualified HscTypes
import qualified GHC.Base
import qualified GHC.Base
+import qualified CoreMonad
import qualified System.IO.Unsafe
getTyConTyVars :: TyCon.TyCon -> [Var.TyVar]
import qualified System.IO.Unsafe
getTyConTyVars :: TyCon.TyCon -> [Var.TyVar]