Changeset 10 for sizechecking_branches

Timestamp:

Nov 14, 2012, 8:45:28 PM (13 years ago)

Author:

gobi

Message:

adding a new implementation of Lambda

Location:

sizechecking_branches

Files:

• . (added)
• L.hs (moved) (moved from sizechecking/L.hs) (3 diffs)
• LL.hs (added)

sizechecking_branches/L.hs

@@ -1 @@
-{-# Language GADTs, FlexibleInstances, FlexibleContexts, MultiParamTypeClasses, FunctionalDependencies, ScopedTypeVariables, TypeFamilies, NoMonomorphismRestriction #-}
+{-# Language GADTs, FlexibleInstances, FlexibleContexts, MultiParamTypeClasses, FunctionalDependencies, ScopedTypeVariables, TypeFamilies, NoMonomorphismRestriction, OverlappingInstances #-}
+module L where
 
 import Data.Char(ord, chr)
@@ -11 +12 @@
 {- Lambda calculus without free variables -}
 type Arr repr a b = repr a -> repr b
---type family Arr (repr :: * -> *) (a :: *) (b :: *) :: *
 
 class Lambda l where
@@ -26 +26 @@
     undef   :: l Bottom
     unsized :: l ()
+
+instance Lambda l => Show (l a) where
+    showsPrec _ e = error "Error: no show"
+
+instance Lambda l => Eq (l a) where
+    (==) _ _ = error "Error: no eq"
 
 instance Lambda l => Num (l Int) where