[mercury-users] Modules, Submodules and Instances.

[Fergus Henderson]

On 01-Feb-1999, I (Fergus Henderson <fjh at cs.mu.OZ.AU>) wrote:
> 
> [...] the demangler is not properly demangling the names for
> instance declarations involving nested modules. [...]
> That one should be reasonably simple to fix, I think.

And indeed it was -- this is now fixed in our development sources.

I have also modified the language reference manual to explicitly disallow
instance declarations for abstract equivalence types, as discussed.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.