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
  10 main :: IO ()
  11 main = do
  12         forM_ gram_lexer render
  13         forM_ gram_type  render
  14         forM_ gram_term  render
  15         where render = Text.putStrLn . renderEBNF . unCF