X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDemo.hs;h=579bf4d2045d3c96cadce209cabb07b5f67d17e6;hp=7a6aee8eaeec82b3aeecb7ba185a52d3ac42549f;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=15696408ed7f683d0a6cc89f381867819a29c240

diff --git a/examples/Demo.hs b/examples/Demo.hs
index 7a6aee8..579bf4d 100644
--- 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 }>
-
-