Change Term to be a GADT, to avoid type applications and allow TypeOf Term.
[haskell/symantic.git] / symantic-grammar / Language / Symantic / Grammar.hs
index 05b3e4352d9173772caa91d4556b4e2ee375cb1c..50974d9ef69db8534fac582d6fa4b93099bfd64d 100644 (file)
@@ -1,13 +1,19 @@
 module Language.Symantic.Grammar
- ( module Language.Symantic.Grammar.EBNF
+ ( module Language.Symantic.Grammar.Fixity
+ , module Language.Symantic.Grammar.EBNF
  , module Language.Symantic.Grammar.Terminal
  , module Language.Symantic.Grammar.Regular
  , module Language.Symantic.Grammar.ContextFree
  , module Language.Symantic.Grammar.Operators
+ , module Language.Symantic.Grammar.Meta
+ , module Language.Symantic.Grammar.BinTree
  ) where
 
+import Language.Symantic.Grammar.Fixity
 import Language.Symantic.Grammar.EBNF
 import Language.Symantic.Grammar.Terminal
 import Language.Symantic.Grammar.Regular
 import Language.Symantic.Grammar.ContextFree
 import Language.Symantic.Grammar.Operators
+import Language.Symantic.Grammar.Meta
+import Language.Symantic.Grammar.BinTree