imp-dev http://dev.eclipse.org/mhonarc/lists/imp-dev/maillist.html imp-dev en-us Sat, 05 May 2012 04:11:45 GMT Sat, 05 May 2012 04:11:45 GMT http://blogs.law.harvard.edu/tech/rss MHonArc RSS 2.0 RCFile webmaster@eclipse.org (Webmaster) webmaster@eclipse.org (Webmaster) imp-dev http://www.eclipse.org/eclipse.org-common/themes/Phoenix/images/eclipse_home_header.jpg http://dev.eclipse.org/mhonarc/lists/imp-dev/maillist.html [imp-dev] Project meta data is out of date for technology.imp http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00457.html Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects ... Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects must have a "next release" planned and scheduled. ]]> Sat, 05 May 2012 04:00:20 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00457.html emo@xxxxxxx (portal on behalf of emo) [imp-dev] Project meta data is out of date for technology.imp http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00456.html Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects ... Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects must have a "next release" planned and scheduled. ]]> Thu, 05 Apr 2012 04:00:24 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00456.html emo@xxxxxxx (portal on behalf of emo) Re: [imp-dev] 64 bit windows lpg executable? http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00455.html Cheers, - Bob==================Robert M. Fuhrerrmfuhrer@xxxxxxxxxxxxx Attachment: smime.p7s Description: S/MIME cryptographic signature
Hi Beverly,

I don't have access to a 64-bit Windows machine at the moment, so I don't have the equipment necessary to build the LPG executable for that platform. That said, LPG should build "out of the box" without incident. Have you tried that? You'll probably need to use the same LPG version as came with the IMP you're using. There are source snapshots posted on the LPG downloads area on SourceForge:

  http://sourceforge.net/projects/lpg/files/LPG/

[The version of the lpg.generator.win32_x86 plugin should tell you what version of the LPG source snapshot you need.]

Once you have the source snapshot and a reasonably current version of MS Visual C++ (as I recall, the free version works fine), you can just run something like:

  cl /Zi /EHsc /DWIN32 /Felpg-win32_x86 *.cpp

from a command shell, which will produce an executable file named lpg-win32_x86 (which is what the LPG Eclipse plugin expects). [In fact, if memory serves, I think you can even omit the extra compiler flags and just run "cl /Felpg-win32_x86 *.cpp".]

On Feb 28, 2012, at 3:05 PM, Beverly Sanders wrote:
Just wanted to say that we are still using imp/lpg in a project.  I hope
people are still working on it.

I did a recent new installation on a 64-bit windows machine which didn't
work.  I believe the problem is lack of an appropriate lpg executable.
I did get it to work by downloading a 32-bit eclipse and 32-bit Java.

The best fix would be to provide the 64-bit executable. It that can't be
done, at least mention the problem on the web page.

Thanks.

_______________________________________________
imp-dev mailing list
imp-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/imp-dev

Cheers,
 - Bob
==================
Robert M. Fuhrer

Attachment: smime.p7s
Description: S/MIME cryptographic signature

]]> Wed, 29 Feb 2012 01:28:35 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00455.html rmfuhrer@xxxxxxx (Robert Fuhrer) [imp-dev] 64 bit windows lpg executable? http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00454.html Just wanted to say that we are still using imp/lpg in a project. I hope people are still working on it. I did a recent new installation on a 64-bit windows machine which didn't work. I believe the problem is lack of an appropriate lpg executable. I did ge... Just wanted to say that we are still using imp/lpg in a project. I hope people are still working on it. I did a recent new installation on a 64-bit windows machine which didn't work. I believe the problem is lack of an appropriate lpg executable. I did get it to work by downloading a 32-bit eclipse and 32-bit Java. The best fix would be to provide the 64-bit executable. It that can't be done, at least mention the problem on the web page. Thanks. ]]> Tue, 28 Feb 2012 20:05:15 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00454.html sanders@xxxxxxx (Beverly Sanders) [imp-dev] Project meta data is out of date for technology.imp http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00453.html Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects ... Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects must have a "next release" planned and scheduled. ]]> Sun, 05 Feb 2012 05:00:19 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00453.html emo@xxxxxxx (portal on behalf of emo) [imp-dev] A proposed API change in Type http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00452.html Hi! I'd like to propose an API change for the match method in Type. It's now: void match(Type pattern, Map&lt;Type,Type&gt; bindings) throws FactMatchException; When the match succeeds the bindings contain a map from type parameters to bound types, when the matc... Hi! I'd like to propose an API change for the match method in Type. It's now: void match(Type pattern, Map<Type,Type> bindings) throws FactMatchException; When the match succeeds the bindings contain a map from type parameters to bound types, when the match fails the method throws an exception. This method is implemented in all alternative sub-classes of types (interpreter design pattern). The issue is that failure is quite a common case when matching composite type structures and so the exception gets thrown quite often. This leads to bad performance here and there. So, I'd like to propose a change to: boolean match(Type pattern, Map<Type,Type> bindings); and ask you to change your code accordingly after where necessary. Is this ok? Cheers, Jurgen -- Jurgen Vinju - Centrum Wiskunde & Informatica - SEN1 - INRIA Lille - ATEAMS - Universiteit van Amsterdam   www: http://jurgen.vinju.org, http://www.rascal-mpl.org,http://twitter.com/jurgenvinju skype: jurgen.vinju ]]> Wed, 18 Jan 2012 16:07:13 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00452.html Jurgen.Vinju@xxxxxxx (Jurgen Vinju) Re: [imp-dev] Heads up on pdb.values inputstreams and outputstreams http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00451.html HI Anya, Thanks for the warning! I forgot to add some files, and to remove some too. Mixup between commandline and Eclipse interface for SVN :( I also reactivated the tests you mention and they do pass now. Cheers! Jurgen On Sun, Jan 8, 2012 at 4:29 AM, Anya Helene Bagge <anya@xxxxxxxxx> wrote: > On 01/07/2012 10:26 PM, Jurgen Vinju wrote: >> >> Hi Imps, >> >> There has been some work to make pdb.values unicode friendly. Some >> methods have been added to IString to hide complexity about >> codepoints, UTF16 encodings and such. > > > Hmm, looks like you might have forgotten to add some of the files. At least, > it doesn't compile at all now (missing AbstractTextReader, amongst other > things). > > BTW, while you're at it, can you apply the following patch to > org.eclipse.imp.pdb.test? It adds a test that was disabled because of some > bugs in the IO implementation that have now been fixed (yes, bad choice to > disable it in the first place...). > > -anya > > Index: src/org/eclipse/imp/pdb/test/BaseTestRandomValues.java > =================================================================== > --- src/org/eclipse/imp/pdb/test/BaseTestRandomValues.java      (revision > 22948) > +++ src/org/eclipse/imp/pdb/test/BaseTestRandomValues.java      (working > copy) > @@ -150,11 +150,9 @@ >        } > >        private void ioHelper1(String io, IValueReader reader, IValueWriter > writer) throws IOException { > -               // TODO: integer I/O is broken in the reference > implementation > - >  if(!getClass().getPackage().getName().equals("org.eclipse.imp.pdb.test.reference")) > -                       ioHelper2(io + " Integers", reader, writer, new > DataGenerator(generator, INumber.class, intTestSet, new > RandomIntegerGenerator(vf))); > +               ioHelper2(io + " Integers", reader, writer, new > DataGenerator(generator, INumber.class, intTestSet, new > RandomIntegerGenerator(vf))); >                ioHelper2(io + " Rationals", reader, writer, new > DataGenerator(generator, INumber.class, ratTestSet, new > RandomRationalGenerator(vf))); > -                       ioHelper2(io + " Reals", reader, writer, new > DataGenerator(generator, INumber.class, realTestSet, new > RandomRealGenerator(vf))); > +               ioHelper2(io + " Reals", reader, writer, new > DataGenerator(generator, INumber.class, realTestSet, new > RandomRealGenerator(vf))); >        } > > > > > -- Jurgen Vinju - Centrum Wiskunde & Informatica - SEN1 - INRIA Lille - ATEAMS - Universiteit van Amsterdam   www: http://jurgen.vinju.org, http://www.rascal-mpl.org,http://twitter.com/jurgenvinju skype: jurgen.vinju ]]> Mon, 09 Jan 2012 08:38:00 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00451.html Jurgen.Vinju@xxxxxxx (Jurgen Vinju) [imp-dev] Heads up on pdb.values inputstreams and outputstreams http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00450.html Hi Imps, There has been some work to make pdb.values unicode friendly. Some methods have been added to IString to hide complexity about codepoints, UTF16 encodings and such. The IValueReader and IValueWriter interface were not so friendly to unicode since ... Hi Imps, There has been some work to make pdb.values unicode friendly. Some methods have been added to IString to hide complexity about codepoints, UTF16 encodings and such. The IValueReader and IValueWriter interface were not so friendly to unicode since they work with InputStreams and OutputStreams. The solution is to create two new interfaces: IValueTextReader and IValueTextWriter which read and write using java.io.Reader and java.io.Writer. Consequently the existing (binary) interfaces have been renamed to IValueBinaryReader and IValueBinaryWriter. To read a value from a textual source, such a a string, is easier now: x = new StandardTextReader(); x.read(...., new StringReader(yourString)); Thank you for your patience while updating your code! * Simply replace bytes by chars and your fine. * If you use the binary API you should not notice most of the refactoring unless you've implemented these interfaces yourself. * Two exceptions: rename PBFWriter to BinaryValueWriter and PBFReader to BinaryValueReader. Cheers, Jurgen -- Jurgen Vinju - Centrum Wiskunde & Informatica - SEN1 - INRIA Lille - ATEAMS - Universiteit van Amsterdam   www: http://jurgen.vinju.org, http://www.rascal-mpl.org,http://twitter.com/jurgenvinju skype: jurgen.vinju ]]> Sat, 07 Jan 2012 21:26:39 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00450.html Jurgen.Vinju@xxxxxxx (Jurgen Vinju) [imp-dev] Project meta data is out of date for technology.imp http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00449.html Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects ... Robert, Projects are required to keep meta data up to date using the MyFoundation Portal (http://portal.eclipse.org/). The following problems were found with this project's meta-data: * There is no next/future release of this project. All Eclipse projects must have a "next release" planned and scheduled. ]]> Thu, 05 Jan 2012 05:00:25 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00449.html emo@xxxxxxx (portal on behalf of emo) Re: [imp-dev] Making update site a p2 compatible mirror ? http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00448.html Hi Max,I&#39;m answering while Bob is on holidays. Thanks for your message!There have been no concrete plans to update to p2 as far as I know, but it must be in the pipeline somewhere.&#xA0; Now that you mention it we will discuss it when Bob returns. We do have co...
I'm answering while Bob is on holidays. Thanks for your message!

There have been no concrete plans to update to p2 as far as I know, but it must be in the pipeline somewhere. 
Now that you mention it we will discuss it when Bob returns. We do have concrete plans to review IMP's releases and their engineering, so we can take p2 on at the same time.

Cheers,

Jurgen

On Sun, Aug 7, 2011 at 11:13 AM, Max Andersen <max.andersen@xxxxxxxxx> wrote:
Hi,

Currently it seems there is no p2 metadata generated for the published
imp updatesite.
Any plans on updating the eclipse update site for IMP to include p2
metadata so it can be used in projects that uses Tycho to build ?

I "fixed it" by running this script and use the generated output
instead of the real site but would be awesome you would be publishing
a *real* p2 updatesite.

sh mirror.sh http://download.eclipse.org/technology/imp/updates/

mirror.sh:
ECLIPSE=/Users/max/products/eclipse/indigo
local_site=/Users/max/impmirror
local_update_site=file:/$local_site

echo Mirroring metadata for $1
java -jar $ECLIPSE/plugins/org.eclipse.equinox.launcher_*.jar
-application org.eclipse.equinox.p2.metadata.repository.mirrorApplication
-source $1 -destinat\
ion $local_update_site -destinationName "IMP Mirror" -verbose

echo Mirroring artifacts for $1
java -jar $ECLIPSE/plugins/org.eclipse.equinox.launcher_*.jar
-application org.eclipse.equinox.p2.artifact.repository.mirrorApplication
-source $1 -destinat\
ion $local_update_site -destinationName "IMP Mirror" -verbose

echo Fixing site to include p2
rm $local_site/artifacts.*
rm $local_site/content.*
java -jar $ECLIPSE/plugins/org.eclipse.equinox.launcher_*.jar
-application org.eclipse.equinox.p2.publisher.FeaturesAndBundlesPublisher
-metadataRepository $\
local_update_site -artifactRepository $local_update_site -source
$local_site -publishArtifacts



Note, even with this fixed there seem to be other broken elements in
the plugins/features but not sure if that is caused by bad version
dependencies or illegal naming - i'll let you know when/if I isolate
that ;)

--
/max
http://about.me/maxandersen
_______________________________________________
imp-dev mailing list
imp-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/imp-dev



--
Jurgen Vinju
- Centrum Wiskunde & Informatica - SEN1
- INRIA Lille - ATEAMS
- Universiteit van Amsterdam

  www: http://jurgen.vinju.org, http://www.rascal-mpl.nl,http://twitter.com/jurgenvinju
skype: jurgen.vinju

]]> Tue, 09 Aug 2011 07:49:19 GMT http://dev.eclipse.org/mhonarc/lists/imp-dev/msg00448.html Jurgen.Vinju@xxxxxxx (Jurgen Vinju)