- Pharo-dev - lists.pharo.org

Re: [Pharo-project] problem running headless with input script on windows 7

by Sven Van Caekenberghe

I have not looked at the .zip but did you pass an absolute path to the VM ? You could also try with a file:// style URL. I do not know a lot about Windows. Do you get an error ? On Linux this works very well. On 18 Jul 2012, at 17:01, Tudor Girba wrote: > Hi, > > I am trying to run a Pharo 1.4 image in headless mode with an input > script on Windows 7, but I cannot manage to do it. > > To reproduce the problem, I setup a little package that includes: > - the latest pharo 1.4 image > - the latest CogVM win VM > - a simple script that only saves and quits the image > - a simple cmd to start the image with the given file > > You can download it from here: > https://www.dropbox.com/s/yg3wm10iums5zv6/test-headless-script.zip > > There seem to be two problems: > 1. even if I specify -headless, the ui still pops up. However, the > headless mode is clearly on because if I try to quit the image from > the world menu, it crashes due to the interaction part > 2. the script is not taken into account > > Can anyone give me some hints of to what I am doing wrong? > > Cheers, > Doru > > -- > www.tudorgirba.com > > "Every thing has its own flow" >

July 18, 2012

Re: [Pharo-project] type inference in Pharo

by Alexandre Bergel

Ok. How can I run the type inferencer? http://concretetypeinference.blogspot.com does not explicitly say it I remember you've said it in an email, but it has been some weeks ago Cheers, Alexandre On Jul 18, 2012, at 10:54 AM, Santiago Bragagnolo wrote: > The description of the algorithm is fully detailed in the Francisco Garau 's thesis.. you should read it. > > In a fairy case, you have the same info, but right now is not that good. You can collect probably more info profiling an execution.. but.. you must execute the code. If it is not expensive to execute, maybe you should execute it, but it is not general enough right? > > Best. > Santiago. > > 2012/7/18 Alexandre Bergel <alexandre.bergel(a)me.com> > > So running type inference over "1 + e" will say "e is a SmallInteger", > > rather than "e is a Number". > > > > It uses abstract interpretation, if that answers your question? > > Well... not really. The problem I have is the following: I would like to compare two techniques to get dependencies between classes. One using a type inferencer and another using a profiler we have done. The hypothesis I would like to verify is that statically you always know less than by profiling the execution. > > However, it is difficult for me to use your type inferencer if I do not exactly know what is your algorithm. In a scientific publication, I cannot just put the url of the blog as a description of the algorithm. > > Cheers, > Alexandre > > > >> > >> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote: > >> > >>> It's in the same blog: > >>> > >>> http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html > >>> > >>> Cheers, > >>> Guille > >>> > >>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: > >>> Hi! > >>> > >>> There is some work being done on inferring type (http://concretetypeinference.blogspot.com) What is the theoretical background of this work? > >>> What is the algorithm used to infer the types? > >>> > >>> Cheers, > >>> Alexandre > >>> -- > >>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > >>> Alexandre Bergel http://www.bergel.eu > >>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > >>> > >>> > >>> > >>> > >>> > >> > >> -- > >> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > >> Alexandre Bergel http://www.bergel.eu > >> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > >> > >> > >> > >> > > > > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > > -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 18, 2012

[Pharo-project] problem running headless with input script on windows 7

by Tudor Girba

Hi, I am trying to run a Pharo 1.4 image in headless mode with an input script on Windows 7, but I cannot manage to do it. To reproduce the problem, I setup a little package that includes: - the latest pharo 1.4 image - the latest CogVM win VM - a simple script that only saves and quits the image - a simple cmd to start the image with the given file You can download it from here: https://www.dropbox.com/s/yg3wm10iums5zv6/test-headless-script.zip There seem to be two problems: 1. even if I specify -headless, the ui still pops up. However, the headless mode is clearly on because if I try to quit the image from the world menu, it crashes due to the interaction part 2. the script is not taken into account Can anyone give me some hints of to what I am doing wrong? Cheers, Doru -- www.tudorgirba.com "Every thing has its own flow"

July 18, 2012

[Pharo-project] Last failing test on Linux | Issue 6364

by Sven Van Caekenberghe

http://code.google.com/p/pharo/issues/detail?id=6364 Who has access to the build server via command line and can have a look ? Pleaseâ¦. Sven

July 18, 2012

Re: [Pharo-project] type inference in Pharo

by Santiago Bragagnolo

The description of the algorithm is fully detailed in the Francisco Garau 's thesis.. you should read it. In a fairy case, you have the same info, but right now is not that good. You can collect probably more info profiling an execution.. but.. you must execute the code. If it is not expensive to execute, maybe you should execute it, but it is not general enough right? Best. Santiago. 2012/7/18 Alexandre Bergel <alexandre.bergel(a)me.com> > > So running type inference over "1 + e" will say "e is a SmallInteger", > > rather than "e is a Number". > > > > It uses abstract interpretation, if that answers your question? > > Well... not really. The problem I have is the following: I would like to > compare two techniques to get dependencies between classes. One using a > type inferencer and another using a profiler we have done. The hypothesis I > would like to verify is that statically you always know less than by > profiling the execution. > > However, it is difficult for me to use your type inferencer if I do not > exactly know what is your algorithm. In a scientific publication, I cannot > just put the url of the blog as a description of the algorithm. > > Cheers, > Alexandre > > > >> > >> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote: > >> > >>> It's in the same blog: > >>> > >>> > http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html > >>> > >>> Cheers, > >>> Guille > >>> > >>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel < > alexandre.bergel(a)me.com> wrote: > >>> Hi! > >>> > >>> There is some work being done on inferring type ( > http://concretetypeinference.blogspot.com) What is the theoretical > background of this work? > >>> What is the algorithm used to infer the types? > >>> > >>> Cheers, > >>> Alexandre > >>> -- > >>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > >>> Alexandre Bergel http://www.bergel.eu > >>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > >>> > >>> > >>> > >>> > >>> > >> > >> -- > >> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > >> Alexandre Bergel http://www.bergel.eu > >> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > >> > >> > >> > >> > > > > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > >

July 18, 2012

Re: [Pharo-project] type inference in Pharo

by Frank Shearar

On 18 July 2012 15:23, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: >> So running type inference over "1 + e" will say "e is a SmallInteger", >> rather than "e is a Number". >> >> It uses abstract interpretation, if that answers your question? > > Well... not really. The problem I have is the following: I would like to compare two techniques to get dependencies between classes. One using a type inferencer and another using a profiler we have done. The hypothesis I would like to verify is that statically you always know less than by profiling the execution. > > However, it is difficult for me to use your type inferencer if I do not exactly know what is your algorithm. In a scientific publication, I cannot just put the url of the blog as a description of the algorithm. http://dl.dropbox.com/u/1754431/Type%20inference/TiThesis-1.pdf isn't exactly a post on a blog though. Francisco can of course correct me if I'm wrong, but I'm pretty sure he & I discussed something like what you're after during a UKSTUG meeting. I wanted to be able to answer questions like "what types does this method take as arguments? what types can it return?", which is something like calculating dependencies between classes. I'm pretty sure he felt that concrete type inference wouldn't answer those kinds of questions. I solved my issue [1] by querying the system: given a single-parameter method, what messages are sent to that parameter? What classes implement that set of messages? frank [1] http://www.lshift.net/blog/2012/01/31/duck-finding-for-testing-your-theories > Cheers, > Alexandre > > >>> >>> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote: >>> >>>> It's in the same blog: >>>> >>>> http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html >>>> >>>> Cheers, >>>> Guille >>>> >>>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: >>>> Hi! >>>> >>>> There is some work being done on inferring type (http://concretetypeinference.blogspot.com) What is the theoretical background of this work? >>>> What is the algorithm used to infer the types? >>>> >>>> Cheers, >>>> Alexandre >>>> -- >>>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >>>> Alexandre Bergel http://www.bergel.eu >>>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >>>> >>>> >>>> >>>> >>>> >>> >>> -- >>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >>> Alexandre Bergel http://www.bergel.eu >>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >>> >>> >>> >>> >> > > -- > _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: > Alexandre Bergel http://www.bergel.eu > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > >

July 18, 2012

Re: [Pharo-project] type inference in Pharo

by Alexandre Bergel

> So running type inference over "1 + e" will say "e is a SmallInteger", > rather than "e is a Number". > > It uses abstract interpretation, if that answers your question? Well... not really. The problem I have is the following: I would like to compare two techniques to get dependencies between classes. One using a type inferencer and another using a profiler we have done. The hypothesis I would like to verify is that statically you always know less than by profiling the execution. However, it is difficult for me to use your type inferencer if I do not exactly know what is your algorithm. In a scientific publication, I cannot just put the url of the blog as a description of the algorithm. Cheers, Alexandre >> >> On Jul 17, 2012, at 12:08 PM, Guillermo Polito wrote: >> >>> It's in the same blog: >>> >>> http://concretetypeinference.blogspot.fr/2012/05/about-how-i-got-here.html >>> >>> Cheers, >>> Guille >>> >>> On Tue, Jul 17, 2012 at 6:03 PM, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: >>> Hi! >>> >>> There is some work being done on inferring type (http://concretetypeinference.blogspot.com) What is the theoretical background of this work? >>> What is the algorithm used to infer the types? >>> >>> Cheers, >>> Alexandre >>> -- >>> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >>> Alexandre Bergel http://www.bergel.eu >>> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >>> >>> >>> >>> >>> >> >> -- >> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: >> Alexandre Bergel http://www.bergel.eu >> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >> >> >> >> > -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 18, 2012

Re: [Pharo-project] [update 2.0] #20223

by Camillo Bruni

On 2012-07-18, at 15:21, Sean P. DeNigris wrote: > > Pavel Krivanek-3 wrote >> >>> Issue 6406: [BUG]: FileDialogWindow: Open on Absolute Path >>> http://code.google.com/p/pharo/issues/detail?id=6406 >> >> The test is failing on Mac >> > > I downloaded Pharo-2.0-AfterRunningTests.zip, and the test passes on my Mac. > > The error message in the report is useless. When I get out of work, I'll > change #comparingStringBetween:and: to use the #fullPrintString instead of > limiting it to 10 characters, so we can see what the heck is going on when > tests fail on Jenkins. In the UI, the window title will truncate anyway, so > there's no loss I can see. yes please! :)

July 18, 2012

Re: [Pharo-project] [update 2.0] #20223

by Sean P. DeNigris

Pavel Krivanek-3 wrote > >> Issue 6406: [BUG]: FileDialogWindow: Open on Absolute Path >> http://code.google.com/p/pharo/issues/detail?id=6406 > > The test is failing on Mac > I downloaded Pharo-2.0-AfterRunningTests.zip, and the test passes on my Mac. The error message in the report is useless. When I get out of work, I'll change #comparingStringBetween:and: to use the #fullPrintString instead of limiting it to 10 characters, so we can see what the heck is going on when tests fail on Jenkins. In the UI, the window title will truncate anyway, so there's no loss I can see. Sean -- View this message in context: http://forum.world.st/update-2-0-20223-tp4640472p4640530.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.

July 18, 2012

Re: [Pharo-project] Soâ¦ what's the status of the StartupPreferences mess for 1.4?

by Esteban Lorenzano

it look files like in unix: ~/.config/pharo in 2.0 it looks them like in mac: ~/Library/Preferences/pharo Esteban On Jul 18, 2012, at 3:09 PM, Guillermo Polito wrote: > I remember that you disabled it because it was failing on windows, wasn't it? > > Can someone try it on windowz? Sean, what is the expected lookup in 1.4? > > On Wed, Jul 18, 2012 at 3:06 PM, Esteban Lorenzano <estebanlm(a)gmail.com> wrote: > It was present but cancelled on 1.4 because it was broken at some point. > I'm unsure about including it, that's why I want the feedback. > > I'm closing summer release now (today), so I would like to be sure :) > > Esteban > > On Jul 18, 2012, at 2:41 PM, Sean P. DeNigris wrote: > > > > > EstebanLM wrote > >> > >> issues last days... it is fixed on all platforms? > >> Can someone confirm it? > >> > > > > It works (different lookup rules than 2.0) on Mac... Was StartupPreferences > > included in the 1st 1.4 release, or will this be a new feature in the summer > > release? > > > > -- > > View this message in context: http://forum.world.st/So-what-s-the-status-of-the-StartupPreferences-mess-f… > > Sent from the Pharo Smalltalk mailing list archive at Nabble.com. > > > > >

July 18, 2012