symantic-lib/Language/Symantic/Parsing/EBNF.hs

   1 module Parsing.EBNF where
   2
   3 import Data.Text.IO as Text
   4 import Control.Monad
   5
   6 import Language.Symantic.Typing
   7 import Language.Symantic.Parsing
   8 import Language.Symantic.Compiling (gram_term)
   9 import Language.Symantic.Lib ()
  10
  11 main :: IO ()
  12 main = do
  13         forM_ gram_lexer render
  14         forM_ gram_type  render
  15         forM_ gram_term  render
  16         where render = Text.putStrLn . renderEBNF . unCF