X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=examples%2FDemoMain.hs;h=08fab3e6d6dd51a623721e9459f547420920dee1;hb=e3c18fcb881ce6af59003fa5888b1e0fb16b66a5;hp=d832b6e660dc2db17838ecacdb8f6bb7d408d43d;hpb=6ae1b9b08da7c1d1f0de42afa1ccbf42acda3e62;p=coq-hetmet.git

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index d832b6e..08fab3e 100644
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,9 +1,7 @@
-{-# OPTIONS_GHC -dcore-lint #-}
 import Control.Category
-import GHC.HetMet.GArrow
-import GHC.HetMet.CodeTypes
-import GHC.HetMet.Private
 import GArrowTikZ
+import GHC.HetMet.Private
+import GHC.HetMet.GArrow
 import Demo
 
-main = tikz' $ \const merge -> foo const (pga_comp (pga_second pga_cancelr) merge)
+main = tikz demo