very rudimentary support for feedback in GArrowTikZ

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

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index 9386d00..e3e56b7 100644 (file)
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,9 +1,15 @@
-{-# 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 merge
+{-
+demo' ::
+         (Int -> PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) ) -> 
+         (       PGArrow g (GArrowTensor g (GArrowTensor g Int Int) (GArrowUnit g)) Int) ->
+         (PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) )
+demo' = demo
+-}
+
+main = tikz $ \const merge -> demo const merge