AutoSize.hs

{-@ LIQUID "--expect-any-error" @-}
module AutoSize where

import GHC.Base

data List a = N | Cons a (List a) 


nil = N
cons = Cons 

foo :: List a -> Int 
foo N = 0 
foo (Cons x xs) = 1 + foo xs 


data Exp = EConst Int | EBinOp Int Exp Exp 

expSize :: Exp -> Int
expSize (EConst _) = 0
expSize e@(EBinOp _ e1 e2) = 1 + (expSize e) + (expSize e2)