module IR.Pattern (checkAnomaly) where

import Common.Compiler (Pass)
import qualified IR.IR as I
import qualified IR.Pattern.Anomaly as Anomaly


checkAnomaly :: Show t => I.Program t -> Pass ()
checkAnomaly :: Program t -> Pass ()
checkAnomaly = Program t -> Pass ()
forall t. Show t => Program t -> Pass ()
Anomaly.checkProgram