From: simonpj@microsoft.com <unknown>
Date: Thu, 21 Oct 2010 17:02:22 +0000 (+0000)
Subject: Add an assertion
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ce3b2eac8e28938b48ccc6234f99c6f6ceb8d2b7

Add an assertion
---

diff --git a/compiler/basicTypes/Id.lhs b/compiler/basicTypes/Id.lhs
index d8771bc..65ab644 100644
--- a/compiler/basicTypes/Id.lhs
+++ b/compiler/basicTypes/Id.lhs
@@ -172,7 +172,7 @@ localiseId :: Id -> Id
 -- Make an with the same unique and type as the 
 -- incoming Id, but with an *Internal* Name and *LocalId* flavour
 localiseId id 
-  | isLocalId id && isInternalName name
+  | ASSERT( isId id ) isLocalId id && isInternalName name
   = id
   | otherwise
   = mkLocalIdWithInfo (localiseName name) (idType id) (idInfo id)