Changeset 15 for sizechecking_branches/LL.hs

Timestamp:

Nov 16, 2012, 4:26:26 PM (13 years ago)

Author:

gobi

Message:

new solver

File:

• sizechecking_branches/LL.hs (modified) (5 diffs)

sizechecking_branches/LL.hs

@@ -1 @@
-{-# Language GADTs, 
-        FlexibleInstances, 
-        FlexibleContexts, 
-        ScopedTypeVariables, 
-        TypeFamilies, 
+{-# Language GADTs,
+        FlexibleInstances,
+        FlexibleContexts,
+        ScopedTypeVariables,
+        TypeFamilies,
         NoMonomorphismRestriction,
         OverlappingInstances #-}
+module LL where
 
 import Data.Char
@@ -14 +15 @@
   deriving Show
 
-type family Arr (repr :: * -> *) (a :: *) (b :: *) :: *
 
 class Lambda l where
+    type Arr l (a :: *) (b :: *) :: *
     labs    :: (l a -> l b) -> l (Arr l a b)
     app     :: l (Arr l a b) -> l a -> l b
@@ -49 +50 @@
 
 newtype LPrint a = LPrint { unPrint :: Int -> Int -> ShowS }
-type instance Arr LPrint a b = a -> b
 
 instance Lambda LPrint where
+  type Arr LPrint a b = a -> b
   lit x      = LPrint $ \_ -> return $ shows x
   op m opc n = LPrint $ \p -> do
@@ -75 +76 @@
 {- Evaluating -}
 newtype R a = R { unR :: a }
-type instance Arr R a b = R a -> R b
 
 instance Lambda R where
+  type Arr R a b = R a -> R b
   labs        = R
   app         = unR
@@ -94 +95 @@
 eval = unR
 
-z = labs ( \s -> s + 1) `app` ( 1 + lit 2)
+z = labs (\s -> s + lit 1) `app` (lit 1 + 2)