- Pharo-dev - lists.pharo.org

Re: [Pharo-project] New VMs at http://www.mirandabanda.org/files/Cog/VM/VM.r2559/

by Sean P. DeNigris

Eliot Miranda-2 wrote > > Add -blockonerror flag to Unix & Mac VMs to allow attaching gdb on > error/segv. > Cool!! Thanks, Eliot -- View this message in context: http://forum.world.st/New-VMs-at-http-www-mirandabanda-org-files-Cog-VM-VM-… Sent from the Pharo Smalltalk mailing list archive at Nabble.com.

July 18, 2012

Re: [Pharo-project] New VMs at http://www.mirandabanda.org/files/Cog/VM/VM.r2559/

by Eliot Miranda

The unix VMs in this build are defunct. The UnixOSProcessPlugin was broken. Please find functional ones in http://www.mirandabanda.org/files/Cog/VM/VM.r2562. On Thu, Jun 21, 2012 at 6:58 PM, Eliot Miranda <eliot.miranda(a)gmail.com>wrote: > http://www.mirandabanda.org/files/Cog/VM/VM.r2559/ > > CogVM binaries as per VMMaker.oscog-eem.163/r2559. > > Make wakeHighestPriority filter-out zombie processes; fixes Newspeak/Glue > crash. > Add -blockonerror flag to Unix & Mac VMs to allow attaching gdb on > error/segv. > Make the sigsegv handler catch SIGILL and SIGBUS on Unix and Mac. > Add 64-bit file support to linux builds. > Fix sqUnixX11.c ClipChildren to ClipByChildren. > > -- > best, > Eliot > > -- best, Eliot

July 18, 2012

Re: [Pharo-project] type inference in Pharo

by Frank Shearar

On 17 July 2012 18:31, Alexandre Bergel <alexandre.bergel(a)me.com> wrote: > Well... I still do not know which algorithm is used. Without a clear answer, I do not know how to compare it with other type inferencer. For example, is the one of Scala more accurate? No idea Very different kind of beast. Scala's type inference will use some kind of Hindley-Milner unification based algorithm. Concrete type inference answers a different question: given some expression, what are the _actual_ types (hence "concrete", rather than "the most general possible type"/abstract) of the bits of the expression. 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? I don't think it would be inaccurate to say that it works like Shivers/etc's k-CFA work. frank > 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 > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > >

July 17, 2012

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

by Pavel Krivanek

Tests Guard report: http://code.google.com/p/pharo/wiki/TestsGuard Now we have only two remaining platform independent failures - Keymapping.Tests.KMDispatcherTestCase.testBuffering - RPackage.Tests.RPackageImportFromPackageInfoTest.testImportExtensionFromParentPackageRegisterExtensionInParentPackage Thank you for the hard work! -- Pavel On Tue, Jul 17, 2012 at 6:40 PM, Marcus Denker <marcus.denker(a)inria.fr> wrote: > 20222 > ----- > > Issue 6347: Test failing: DiskFileSystemTest.testEntryAt > http://code.google.com/p/pharo/issues/detail?id=6347 > > Issue 6404: Fuel Tests fail due to DateAndTime changes > http://code.google.com/p/pharo/issues/detail?id=6404 > > Issue 6402: update kernelPackageNames > http://code.google.com/p/pharo/issues/detail?id=6402 > -- > Marcus Denker -- http://marcusdenker.de > >

July 17, 2012

Re: [Pharo-project] type inference in Pharo

by Alexandre Bergel

How can I install and try the type inferencer? I could not immediately see that from http://concretetypeinference.blogspot.fr/ 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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 17, 2012

Re: [Pharo-project] type inference in Pharo

by Alexandre Bergel

Well... I still do not know which algorithm is used. Without a clear answer, I do not know how to compare it with other type inferencer. For example, is the one of Scala more accurate? No idea 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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 17, 2012

Re: [Pharo-project] type inference in Pharo

by Frank Shearar

Santiago's building on Francisco Garau's thesis, which builds on Ole Agesen's PhD thesis: ttps://labs.oracle.com/techrep/1996/smli_tr-96-52.pdf "Concrete Type Inference: Delivering Object-Oriented Applications" which tackles the problem of type inference in the context of a Self image. frank On 17 July 2012 17:08, Guillermo Polito <guillermopolito(a)gmail.com> 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 >> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. >> >> >> >> >

July 17, 2012

[Pharo-project] [update 2.0] #20222

by Marcus Denker

20222 ----- Issue 6347: Test failing: DiskFileSystemTest.testEntryAt http://code.google.com/p/pharo/issues/detail?id=6347 Issue 6404: Fuel Tests fail due to DateAndTime changes http://code.google.com/p/pharo/issues/detail?id=6404 Issue 6402: update kernelPackageNames http://code.google.com/p/pharo/issues/detail?id=6402 -- Marcus Denker -- http://marcusdenker.de

July 17, 2012

Re: [Pharo-project] type inference in Pharo

by Guillermo Polito

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 > ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;. > > > > >

July 17, 2012

[Pharo-project] type inference in Pharo

by Alexandre Bergel

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 ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.

July 17, 2012