Changeset 24 for sizechecking/branches/macs/Lambda.hs

Timestamp:

May 3, 2014, 6:38:40 PM (11 years ago)

Author:

gobi

Message:

expressions

File:

• sizechecking/branches/macs/Lambda.hs (modified) (3 diffs)

sizechecking/branches/macs/Lambda.hs

@@ -11 +11 @@
     lam   :: (l a -> l b) -> l (a -> b)
     app   :: l (a -> b) -> l a -> l b
-    const :: Int -> l Int
+    lit :: Int -> l Int
 
 {-
@@ -18 +18 @@
 newtype Q a = Q { unQ :: a }
 instance Lambda Q where
-    const = Q
+    lit = Q
     lam a = Q (unQ.a.Q)
     app a b = Q $ unQ a (unQ b)
@@ -37 +37 @@
 
 instance Lambda S where
-    const a = S (\_ p -> showsPrec p a)
+    lit a = S (\_ p -> showsPrec p a)
     app (S fun) (S arg) = S (\s p -> 
         let (s1, s2) = S.split2 s