Commit ce3b2eac authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Add an assertion

parent 653711f2
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment