ext-core library: Export a bunch more stuff from the parser

diff --git a/utils/ext-core/Language/Core/ParsecParser.hs b/utils/ext-core/Language/Core/ParsecParser.hs
index 3fd3f17..40609e3 100644 (file)
--- a/utils/ext-core/Language/Core/ParsecParser.hs
+++ b/utils/ext-core/Language/Core/ParsecParser.hs
@@ -1,6 +1,8 @@
 {-# OPTIONS -Wall -fno-warn-missing-signatures #-}
 
-module Language.Core.ParsecParser (parseCore) where
+module Language.Core.ParsecParser (parseCore, coreModuleName, coreTcon, 
+  coreQualifiedGen, upperName, identifier, coreType, coreKind,
+  coreTbinds, parens, braces, topVbind) where
 
 import Language.Core.Core
 import Language.Core.Check