Struct with same name overwirtes silently - no warning message

From: Stefano Novello <stefano.novello_at_parc-technologies.com>
Date: Fri 06 Sep 2002 09:49:15 AM GMT
Message-ID: <3E899FAFBF56D611B6A500508B9A9DA206E04A@LON-SRV2>
If a a struct is defined differently and imported from 2 modules,
the last definition silently overwrites the first.

I think there should be an ambiguous import message.

Stefano

ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.3 #41, Sat Nov 24 13:49 2001
[eclipse 1]: module(m1).
WARNING: creating a new module in module(m1)
[m1 2]: [user].
 :- export struct(s(m1)).
  user       compiled traceable 0 bytes in 0.00 seconds

Yes (0.01s cpu)
[m1 3]:  module(m2).
WARNING: creating a new module in module(m2)
[m2 4]: [user].
 :- export struct(s(m2)).
  user       compiled traceable 0 bytes in 0.00 seconds

Yes (0.00s cpu)
[m2 5]: module(eclipse).
[eclipse 6]: use_module(m1).

Yes (0.00s cpu)
[eclipse 7]: use_module(m2).

Yes (0.00s cpu)
[eclipse 8]: current_struct(S).

S = s(m2)
More (0.00s cpu) ? ;

S = suspend(inst, constrained, bound)
Yes (0.00s cpu)
[eclipse 9]:  

8th Floor The Tower Building	EMAIL: Stefano.Novello@parc-technologies.com
11 York Road                      TEL: +44 (0)20 72614068
SE1 7NX LONDON                    

This e-mail message is for the sole use of the intended recipient(s) - its
contents are the property of Parc Technologies Limited (or its licensors)
and are confidential. Please do not copy, review, use (except for the
intended purposes), disclose or distribute the e-mail or its contents or
allow anyone else to do so without our prior permission. 
Parc Technologies Limited does not guarantee that this e-mail has not been
intercepted and amended nor that it is virus-free. You should carry out your
own virus checks before opening any attachment. Any opinions expressed in
this e-mail message are those of the author and not necessarily Parc
Technologies Limited.

 
Received on Fri Sep 06 10:52:37 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:17 PM GMT GMT