X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=examples%2FDemo.hs;fp=examples%2FDemo.hs;h=74bbef0ef54ecdd731b6f8e0e1384ebeaae86e33;hb=15df3430938d7175361b848de6578aea195e612f;hp=0000000000000000000000000000000000000000;hpb=a4a1bd8f36776aa8dd9393cf8d2b6afa0172e978;p=coq-hetmet.git

diff --git a/examples/Demo.hs b/examples/Demo.hs
new file mode 100644
index 0000000..74bbef0
--- /dev/null
+++ b/examples/Demo.hs
@@ -0,0 +1,10 @@
+{-# OPTIONS_GHC -XRankNTypes -XScopedTypeVariables -XFlexibleContexts -XModalTypes -XKindSignatures -fcoqpass -XMultiParamTypeClasses -dcore-lint #-}
+import GHC.HetMet.GArrow
+import GHC.HetMet.CodeTypes
+import GHC.HetMet.Private
+import GArrowTikZ
+
+foo x = <[ ~~x ]>
+foo' = unG . pga_flatten . foo . pga_unflatten
+--foo x z = <[ let y = ~~x in ~~z y y ]>
+main = tikz (foo' (PGArrowD { unG = TikZ_const 12 }))