| Samantha,
I doubt that you're using the PDB - it's in the plugin org.eclipse.imp.pdb.values, which is in the feature "IMP Analysis" (org.eclipse.imp.analysis), distinct from the IMP runtime feature, which I think is the only feature you do use.
On Jul 8, 2010, at 2:26 PM, Samantha Chan wrote: Hi,
I cannot find the API described here.
Can you please let me know what package Type belongs to? What version are you targeting this API change for? and when do you plan on committing the change?
I would like to know more to assess impact to our product. Thanks.
Thanks...
Samantha
Given that the change would help to avoid errors that I could easily
see new PDB users committing unknowingly, and particularly errors that
can be hard to diagnose, I'd say the API change is warranted.
On Jul 7, 2010, at 9:31 AM, Jurgen Vinju wrote:
> Hi!
>
> I'm about to commit an API change, removing an argument from the
> method Type.instantiate(TypeStore store, Type type) in pdb.values.
>
> The store argument was a design flaw. A TypeStore should hold only
> declarations of (type parametrized) abstract data types, not
> instances, so instantiating a type with actual type parameters should
> not need a TypeStore from anywhere.
> Removing the argument obviously makes sure nobody accidentally passes
> in a TypeStore.
> TypeStores that accidentally hold type instances instead of type
> definitions eventually lead to subtle bugs, that's what I'm trying to
> prevent here.
>
> I'm not sure this is clear for anybody that has not read or used the
> pdb.values code, but I wanted to put out this alert anyway. If you
> have this method in use, simply removing the parameter will fix your
> code.
>
> Cheers,
>
> Jurgen
-- Cheers, - Bob ------------------------------------------------- Robert M. Fuhrer Research Staff Member Programming Technologies Dept. IBM T.J. Watson Research Center
|
