X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FdeSugar%2FDsForeign.lhs;h=05dcb05221ee9649f71a56e643fb188c79b378f0;hb=8790aef6ee434e544e1ea0a23b891cb57d3f5f56;hp=77aa4120ceec8f4e43c1be60a201c759c6ba93e4;hpb=1f5e55804b97d2b9a77207d568d602ba88d8855d;p=ghc-hetmet.git

diff --git a/ghc/compiler/deSugar/DsForeign.lhs b/ghc/compiler/deSugar/DsForeign.lhs
index 77aa412..05dcb05 100644
--- a/ghc/compiler/deSugar/DsForeign.lhs
+++ b/ghc/compiler/deSugar/DsForeign.lhs
@@ -16,9 +16,8 @@ import CoreSyn
 import DsCCall		( dsCCall, mkFCall, boxResult, unboxArg, resultWrapper )
 import DsMonad
 
-import HsSyn		( ForeignDecl(..), ForeignExport(..),
+import HsSyn		( ForeignDecl(..), ForeignExport(..), LForeignDecl,
 			  ForeignImport(..), CImportSpec(..) )
-import TcHsSyn		( TypecheckedForeignDecl )
 import CoreUtils	( exprType, mkInlineMe )
 import Id		( Id, idType, idName, mkSysLocal, setInlinePragma )
 import Literal		( Literal(..) )
@@ -46,6 +45,7 @@ import PrimRep          ( getPrimRepSizeInBytes )
 import PrelNames	( hasKey, ioTyConKey, stablePtrTyConName, newStablePtrName, bindIOName,
 			  checkDotnetResName )
 import BasicTypes	( Activation( NeverActive ) )
+import SrcLoc		( Located(..), unLoc )
 import Outputable
 import Maybe 		( fromJust )
 import FastString
@@ -68,7 +68,7 @@ so we reuse the desugaring code in @DsCCall@ to deal with these.
 type Binding = (Id, CoreExpr)	-- No rec/nonrec structure;
 				-- the occurrence analyser will sort it all out
 
-dsForeigns :: [TypecheckedForeignDecl] 
+dsForeigns :: [LForeignDecl Id] 
 	   -> DsM (ForeignStubs, [Binding])
 dsForeigns [] 
   = returnDs (NoStubs, [])
@@ -76,9 +76,9 @@ dsForeigns fos
   = foldlDs combine (ForeignStubs empty empty [] [], []) fos
  where
   combine (ForeignStubs acc_h acc_c acc_hdrs acc_feb, acc_f) 
-	  (ForeignImport id _ spec depr loc)
+	  (L loc (ForeignImport id _ spec depr))
     = traceIf (text "fi start" <+> ppr id)	`thenDs` \ _ ->
-      dsFImport id spec	           `thenDs` \ (bs, h, c, mbhd) -> 
+      dsFImport (unLoc id) spec	           `thenDs` \ (bs, h, c, mbhd) -> 
       warnDepr depr loc		   `thenDs` \ _                ->
       traceIf (text "fi end" <+> ppr id)	`thenDs` \ _ ->
       returnDs (ForeignStubs (h $$ acc_h)
@@ -88,7 +88,7 @@ dsForeigns fos
 		bs ++ acc_f)
 
   combine (ForeignStubs acc_h acc_c acc_hdrs acc_feb, acc_f) 
-	  (ForeignExport id _ (CExport (CExportStatic ext_nm cconv)) depr loc)
+	  (L loc (ForeignExport (L _ id) _ (CExport (CExportStatic ext_nm cconv)) depr))
     = dsFExport id (idType id) 
 		ext_nm cconv False                 `thenDs` \(h, c, _) ->
       warnDepr depr loc				   `thenDs` \_              ->