X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FIFLDemos.hs;fp=examples%2FIFLDemos.hs;h=288e6a418a0c820356e17afeb9c5bfa824e5a0fa;hp=43d29f448ecdc2a0dda0a520960c8f369114e4a5;hb=2f22f2f26622f85e457060de3a5c534004a26e79;hpb=35974aa218dd8ebad2462a356a1ef81e41bddf7a

diff --git a/examples/IFLDemos.hs b/examples/IFLDemos.hs
index 43d29f4..288e6a4 100644
--- a/examples/IFLDemos.hs
+++ b/examples/IFLDemos.hs
@@ -1,6 +1,14 @@
 {-# OPTIONS_GHC -XModalTypes -dcore-lint -XScopedTypeVariables -ddump-types -XTypeFamilies -XNoMonomorphismRestriction #-}
 module Demo (demo, demo2) where
 
+{-
+demo :: 
+  <[ \input ->
+        let delayed = ~~reg output
+            output  = ~~xor input delayed
+        in output ]>
+-}
+
 demo  z   = <[ \y -> ~~z ]>
 
 demo2 :: <[ (a,b) ~~> c ]>@d -> <[ () ~~> a ]>@d -> <[ b ~~>c ]>@d
@@ -85,4 +93,4 @@ sha256round =
                           k_plus_w)
          t2   = adder s0 (maj3 a b c)
      in h
-   ]>
\ No newline at end of file
+   ]>