Changeset 29

Timestamp:

May 15, 2014, 7:25:06 PM (11 years ago)

Author:

gobi

Message:

move to separate file

Location:

sizechecking/branches/macs

Files:

• Proof.hs (modified) (2 diffs)
• SizedFun.hs (modified) (1 diff)

sizechecking/branches/macs/Proof.hs

@@ -1 @@
-{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeFamilies, Rank2Types #-}
 
 module Proof where
@@ -11 +11 @@
 import Prelude (String, Int, ($), (.))
 
-
-data ZContext = ZContext {}
-data Constraint 
-newtype Z a = Z { unZ :: SizeExp }
-
-instance Size Q where
-instance Lambda Z where
-instance LOps Z where
-instance Exp Z where

sizechecking/branches/macs/SizedFun.hs

@@ -57 +57 @@
     type SizeExp Q = S SData
     bind name size exp = exp
-