{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wno-missing-signatures #-}
-- For TH splices
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnboxedTuples #-}
{-# OPTIONS_GHC -Wno-unused-local-binds #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
module Parser where

import Data.Either (Either(..))
import Data.Text (Text)
import Text.Show (Show)
import Symantic.Parser
import Grammar
import qualified Data.IORef as IORef
import qualified Language.Haskell.TH as TH
import qualified Language.Haskell.TH.Syntax as TH
import Control.DeepSeq
import System.IO (IO)