-- | Entrypoint for the LBNF checker.

{-# LANGUAGE NoImplicitPrelude #-}

module BNFC.Check.Run where

import BNFC.Prelude
import BNFC.CF

import qualified BNFC.Abs as A

import BNFC.Check.Monad
import qualified BNFC.Check.Pass1 as Pass1
import qualified BNFC.Check.Pass2 as Pass2

checkGrammar :: A.Grammar -> (Warnings, RecoverableErrors, Either PFatalError LBNF)
checkGrammar grammar = runCheck $ do
  uncurry Pass2.checkLBNF =<< Pass1.checkLBNF grammar