From: leeerussell@gmail.com
Subject: SPARK hide directive, hiding separate declaration.
Date: Thu, 3 Jan 2008 03:59:56 -0800 (PST)
Date: 2008-01-03T03:59:56-08:00 [thread overview]
Message-ID: <ea18afb3-55dd-415d-98b2-7ffc10bad160@e25g2000prg.googlegroups.com> (raw)
Hello everyone
I think I may have found a similar problem discussed when searching,
but I felt that this problem is sufficiently different to warrant a
new post.
I am getting the following error code when using SPARK examiner:
Semantic Error : 10: Illegal redeclaration of identifier foo.
The error is happening because I have a declaration of a separate in a
body that is otherwise all hidden from SPARK (using --# hide). The
SPARK examiner cannot see the hidden declaration, so is complaining
about the separate.
Is there any thing like an --# unhide directive that would allow me to
let SPARK see the declaration in the body, but nothing else?
Thanks for any help
Lee Russell
next reply other threads:[~2008-01-03 11:59 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-03 11:59 leeerussell [this message]
2008-01-04 3:16 ` SPARK hide directive, hiding separate declaration roderick.chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox