[mercury-users] bug in mmc --aditi

[Holger Krug]

The mmc-handling of "pragma owner(Name/Arity, UserName)" seems buggy
when placing the `pragma' into a sub-module.

Example:

file "proto.base.m":

:- import_module aditi.
:- pragma owner(ids/2, hkrug).

file "proto.m":

:- include_module proto__base.
:- import_module proto__base.


$ mmake realclean
$ mmake depend
$ mmake
..
mmc --compile-to-c --grade asm_fast.gc     --aditi --use-subdirs   -I /usr/local/aditi-2.0.0/lib/mercury/ints proto.m > proto.err 2>&1
make: *** [Mercury/cs/proto.c] error 1
$ cat proto.err
Mercury/ints/proto.base.int:023: Error: expected owner name for `:- pragma owner' declaration: "hkrug".

file "Mercury/ints/proto.base.int" now contains:

:- pragma owner((proto:base):ids/2, "hkrug").

I have to change this manually to:   (removing module qualifier and `"')

:- pragma owner(ids/2, hkrug).

to get "proto.m" compiled.


Is there anybody who could fix this bug ?

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------