From: simonpj <unknown>
Date: Thu, 25 Jan 2001 17:14:06 +0000 (+0000)
Subject: [project @ 2001-01-25 17:14:06 by simonpj]
X-Git-Tag: Approximately_9120_patches~2826
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=5f2385c5ad6977980a4d3739c117a6c74759760a;p=ghc-hetmet.git

[project @ 2001-01-25 17:14:06 by simonpj]
Add ASSERT to knownCon
---

diff --git a/ghc/compiler/simplCore/Simplify.lhs b/ghc/compiler/simplCore/Simplify.lhs
index 34f4dee..56466cb 100644
--- a/ghc/compiler/simplCore/Simplify.lhs
+++ b/ghc/compiler/simplCore/Simplify.lhs
@@ -1219,7 +1219,11 @@ knownCon :: OutExpr -> AltCon -> [OutExpr]
 	 -> SimplM OutExprStuff
 
 knownCon expr con args bndr alts se cont
-  = tick (KnownBranch bndr)	`thenSmpl_`
+  = 	-- Arguments should be atomic;
+	-- yell if not
+    WARN( not (all exprIsTrivial args), 
+	  text "knownCon" <+> ppr expr )
+    tick (KnownBranch bndr)	`thenSmpl_`
     setSubstEnv se		(
     simplBinder bndr		$ \ bndr' ->
     completeBinding bndr bndr' False False expr $