[project @ 2002-10-09 15:03:48 by simonpj]

-----------------------------------
	Lots more Template Haskell stuff
	-----------------------------------

At last!  Top-level declaration splices work!
Syntax is

	$(f x)

not "splice (f x)" as in the paper.

Lots jiggling around, particularly with the top-level plumbining.
Note the new data type HsDecls.HsGroup.

1 files changed, 10 insertions, 4 deletions

diff --git a/ghc/compiler/hsSyn/HsSyn.lhs b/ghc/compiler/hsSyn/HsSyn.lhs
index 290bc85756..708a82fb48 100644
--- a/ghc/compiler/hsSyn/HsSyn.lhs
+++ b/ghc/compiler/hsSyn/HsSyn.lhs
@@ -9,11 +9,9 @@ therefore, is almost nothing but re-exporting.
 
 \begin{code}
 module HsSyn (
-
 	-- NB: don't reexport HsCore
 	-- this module tells about "real Haskell"
 
-	module HsSyn,
 	module HsBinds,
 	module HsDecls,
 	module HsExpr,
@@ -23,10 +21,11 @@ module HsSyn (
 	module HsTypes,
 	Fixity, NewOrData, 
 
+	HsModule(..), hsModule, hsImports,
+	collectStmtsBinders,
 	collectHsBinders,   collectLocatedHsBinders, 
 	collectMonoBinders, collectLocatedMonoBinders,
-	collectSigTysFromHsBinds, collectSigTysFromMonoBinds,
-	hsModule, hsImports
+	collectSigTysFromHsBinds, collectSigTysFromMonoBinds
      ) where
 
 #include "HsVersions.h"
@@ -151,6 +150,13 @@ collectMonoBinders binds
     go (AndMonoBinds bs1 bs2)  acc = go bs1 (go bs2 acc)
 \end{code}
 
+
+%************************************************************************
+%*									*
+\subsection{Getting patterns out of bindings}
+%*									*
+%************************************************************************
+
 Get all the pattern type signatures out of a bunch of bindings
 
 \begin{code}