From a45824c7d03fcf797e22d2919187a7e97fb567cc Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Thu, 26 May 2011 22:47:16 -0700 Subject: [PATCH] update Demo.hs --- examples/Demo.hs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/examples/Demo.hs b/examples/Demo.hs index afedde6..4c53aa5 100644 --- a/examples/Demo.hs +++ b/examples/Demo.hs @@ -1,15 +1,21 @@ {-# OPTIONS_GHC -XModalTypes -fcoqpass -dcore-lint #-} module Demo (demo) where + --demo con mer = <[ ~~mer ~~(con (2::Int)) ~~(con (12::Int)) ]> --- demo const mult = <[ let q = ~~(const (1::Int)) in ~~mult q q ]> +demo const mult = + <[ let twelve = ~~(const (12::Int)) + four = ~~(const ( 4::Int)) + in ~~mult four (~~mult four twelve) + ]> +{- demo const mult = <[ let twelve = ~~(const (12::Int)) in let four = ~~(const (4::Int)) in ~~mult four twelve ]> - +-} {- demo const mult = <[ let twelve = ~~(const (12::Int)) -- 1.7.10.4