From 00029a41e51fceb8aa4bfdf86170be036b35d497 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Thu, 25 Jan 2007 12:54:48 +0000
Subject: [PATCH] Comments and layout only

---
 compiler/hsSyn/HsBinds.lhs |   23 +++++++++++++++++------
 1 file changed, 17 insertions(+), 6 deletions(-)

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index 41097d8..0942703 100644
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -383,21 +383,32 @@ serves for both.
 \begin{code}
 type LSig name = Located (Sig name)
 
-data Sig name
-  = TypeSig	(Located name)	-- A bog-std type signature
+data Sig name	-- Signatures and pragmas
+  = 	-- An ordinary type signature
+	-- f :: Num a => a -> a
+    TypeSig	(Located name)	-- A bog-std type signature
 		(LHsType name)
 
-  | SpecSig 	(Located name)	-- Specialise a function or datatype ...
-		(LHsType name)	-- ... to these types
-		InlineSpec
+	-- An ordinary fixity declaration
+	--	infixl *** 8
+  | FixSig	(FixitySig name)	-- Fixity declaration
 
+	-- An inline pragma
+	-- {#- INLINE f #-}
   | InlineSig	(Located name)	-- Function name
 		InlineSpec
 
+	-- A specialisation pragma
+	-- {-# SPECIALISE f :: Int -> Int #-}
+  | SpecSig 	(Located name)	-- Specialise a function or datatype ...
+		(LHsType name)	-- ... to these types
+		InlineSpec
+
+	-- A specialisation pragma for instance declarations only
+	-- {-# SPECIALISE instance Eq [Int] #-}
   | SpecInstSig (LHsType name)	-- (Class tys); should be a specialisation of the 
 				-- current instance decl
 
-  | FixSig	(FixitySig name)	-- Fixity declaration
 
 type LFixitySig name = Located (FixitySig name)
 data FixitySig name = FixitySig (Located name) Fixity 
-- 
1.7.10.4