X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemoMain.hs;h=e3e56b737d2a500cfe398246694971dd7130ab5a;hp=cc438bab3b69fb494777440010100b78c78d05c9;hb=bc93ead06902db52dfcc229084a42152d4166bdf;hpb=3282a2b78028238987a5a49e59d8e8d495aea0e1

diff --git a/examples/DemoMain.hs b/examples/DemoMain.hs
index cc438ba..e3e56b7 100644
--- a/examples/DemoMain.hs
+++ b/examples/DemoMain.hs
@@ -1,5 +1,15 @@
 import Control.Category
 import GArrowTikZ
+import GHC.HetMet.Private
+import GHC.HetMet.GArrow
 import Demo
 
+{-
+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