X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemoMain.hs;h=cc438bab3b69fb494777440010100b78c78d05c9;hp=9386d00174bb105f0dcbbbb9b8977528dcf140b5;hb=856ef91d5132ac813631f01420a8291a92bce1ad;hpb=cb76623a15c668453a369b06698c6896ba3075ee

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index 9386d00..cc438ba 100644
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,9 +1,5 @@
-{-# OPTIONS_GHC -dcore-lint #-}
 import Control.Category
-import GHC.HetMet.GArrow
-import GHC.HetMet.CodeTypes
-import GHC.HetMet.Private
 import GArrowTikZ
 import Demo
 
-main = tikz' $ \const merge -> foo const merge
+main = tikz $ \const merge -> demo const merge