--- /dev/null
+{-# 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 }))
RegexMatcher.hs Unify.hs GArrowTikZ.hs
tikz:
- mkdir .build
- ../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs
- ./GArrowTikZ > .build/test.tex
+ mkdir -p .build
+ ../../../inplace/bin/ghc-stage2 -odir .build -hidir .build GArrowTikZ.hs Unify.hs test.hs
+ ./test > .build/test.tex
cd .build; pdflatex test.tex
open .build/test.pdf