X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fparser%2FParser.y;h=443d2b325e63ad1d91d7065fb681f23e2de2f653;hb=e4abae1dd1edfca515e2bcf5e278869c4863f509;hp=a30599526ad80099fdaca540154dfc481ae73632;hpb=2327a85d09b2afb5d9d3e2417fac066c5b1e75f1;p=ghc-hetmet.git

diff --git a/ghc/compiler/parser/Parser.y b/ghc/compiler/parser/Parser.y
index a305995..443d2b3 100644
--- a/ghc/compiler/parser/Parser.y
+++ b/ghc/compiler/parser/Parser.y
@@ -1,6 +1,6 @@
 {-								-*-haskell-*-
 -----------------------------------------------------------------------------
-$Id: Parser.y,v 1.116 2003/02/20 18:33:53 simonpj Exp $
+$Id: Parser.y,v 1.117 2003/05/06 10:25:32 simonpj Exp $
 
 Haskell grammar.
 
@@ -267,7 +267,16 @@ module 	:: { RdrNameHsModule }
  	: srcloc 'module' modid maybemoddeprec maybeexports 'where' body 
 		{ HsModule (mkHomeModule $3) Nothing $5 (fst $7) (snd $7) $4 $1 }
 	| srcloc body
-		{ HsModule (mkHomeModule mAIN_Name) Nothing Nothing 
+		{ 	-- Behave as if we'd said 
+			--	module Main( main ) where ...
+		  let
+			main_RDR_Unqual = mkUnqual varName FSLIT("main")
+			-- We definitely don't want an Orig RdrName, because
+			-- main might, in principle, be imported into module Main
+		  in
+		  HsModule (mkHomeModule mAIN_Name) 
+			   Nothing 
+			   (Just [IEVar main_RDR_Unqual])
 			   (fst $2) (snd $2) Nothing $1 }
 
 maybemoddeprec :: { Maybe DeprecTxt }