From: quintela <unknown>
Date: Tue, 2 Dec 1997 18:15:53 +0000 (+0000)
Subject: [project @ 1997-12-02 18:15:53 by quintela]
X-Git-Tag: Approx_2487_patches~1210
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e99b50ff9e7b6399adec4196cf27be5907b92717;p=ghc-hetmet.git

[project @ 1997-12-02 18:15:53 by quintela]
Added matchExport to Match export list
---

diff --git a/ghc/compiler/deSugar/DsLoop.lhi b/ghc/compiler/deSugar/DsLoop.lhi
index d38d04e..4464a53 100644
--- a/ghc/compiler/deSugar/DsLoop.lhi
+++ b/ghc/compiler/deSugar/DsLoop.lhi
@@ -5,22 +5,25 @@ between DsExpr/DsBinds and various things.
 interface DsLoop where
 
 import CoreSyn	( CoreBinding(..), CoreExpr(..) )
-import DsMonad	( DsM(..) )
+import DsMonad	( DsM(..), DsMatchKind(..) )
 import DsBinds	( dsBinds )
 import DsExpr	( dsExpr )
 import DsUtils	( EquationInfo, MatchResult )
 import FastString ( FastString )
 import Id	( Id(..) )
-import Match	( match, matchSimply )
+import Match	( matchExport, match, matchSimply )
 import PreludeStdIO ( Maybe )
 import TcHsSyn	( TypecheckedHsBinds(..), TypecheckedHsExpr(..), TypecheckedPat(..) )
 import Type	( Type(..) )
 match :: [Id]		  -- Variables rep'ing the exprs we're matching with
       -> [EquationInfo]	  -- Info about patterns, etc. (type synonym below)
-      -> [EquationInfo]	  -- Potentially shadowing equations above this one
+      -> DsM MatchResult  -- Desugared result!
+matchExport :: [Id]	-- Variables rep'ing	 the exprs we're matching with
+      -> [EquationInfo]	  -- Info about patterns, etc. (type synonym below)
       -> DsM MatchResult  -- Desugared result!
 
 matchSimply :: CoreExpr			-- Scrutinee
+            -> DsMatchKind              -- Type of Match
 	    -> TypecheckedPat		-- Pattern it should match
 	    -> Type			-- Type of result
 	    -> CoreExpr			-- Return this if it matches