From 5f2385c5ad6977980a4d3739c117a6c74759760a Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 25 Jan 2001 17:14:06 +0000
Subject: [PATCH] [project @ 2001-01-25 17:14:06 by simonpj] Add ASSERT to
 knownCon

---
 ghc/compiler/simplCore/Simplify.lhs |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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 $
-- 
1.7.10.4