module TypeChecker where

import AbsCPP
import PrintCPP
import ErrM


typecheck :: Program -> Err ()
typecheck p = return ()