8 lines
154 B
Haskell
8 lines
154 B
Haskell
module TypeChecker where
|
|
|
|
import AbsJavalette
|
|
import PrintJavalette
|
|
import ErrM
|
|
|
|
typecheck :: Program -> Err()
|
|
typecheck (Program fs) = fail printTree fs
|