From e99b50ff9e7b6399adec4196cf27be5907b92717 Mon Sep 17 00:00:00 2001
From: quintela <unknown>
Date: Tue, 2 Dec 1997 18:15:53 +0000
Subject: [PATCH] [project @ 1997-12-02 18:15:53 by quintela] Added matchExport
to Match export list
---
ghc/compiler/deSugar/DsLoop.lhi | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/ghc/compiler/deSugar/DsLoop.lhi b/ghc/compiler/deSugar/DsLoop.lhi
index d38d04e5c694..4464a5396f9c 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
--
GitLab