update to use Control.GArrow instead of GHC.HetMet.GArrow

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

diff --git a/examples/Demo.hs b/examples/Demo.hs
index 7a6aee8..579bf4d 100644 (file)
--- a/examples/Demo.hs
+++ b/examples/Demo.hs
@@ -1,11 +1,18 @@
 {-# OPTIONS_GHC -XModalTypes -fflatten -funsafe-skolemize -dcore-lint -XScopedTypeVariables -fsimpleopt-before-flatten #-}
 module Demo (demo) where
 
+
+demo const mult =
+ <{ \y ->
+    let   foo  = ~~mult (~~mult foo (~~mult y foo)) (~~mult y ~~(const 3))
+    in    foo }>
+
+
 {-
 demo const mult =
   <{ \y ->
      ~~mult
-       (~~mult y y)
+       (~~(const 1))
        (~~mult y y)
    }>
 -}
@@ -54,12 +61,6 @@ demo const mult =
 
 
 
-demo const mult =
- <{ \y ->
-    let   foo  = ~~mult (~~mult foo (~~mult y foo)) y
-    in    foo }>
-
-