complete rewrite of GArrowTikZ, update examples

[coq-hetmet.git] / examples / DemoMain.hs

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index 9386d00..cc438ba 100644 (file)
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,9 +1,5 @@
-{-# OPTIONS_GHC -dcore-lint #-}

 import Control.Category
 import Control.Category

-import GHC.HetMet.GArrow
-import GHC.HetMet.CodeTypes
-import GHC.HetMet.Private

 import GArrowTikZ
 import Demo
 
 import GArrowTikZ
 import Demo
 

-main = tikz' $ \const merge -> foo const merge
+main = tikz $ \const merge -> demo const merge