January 2009 - Pharo-dev - lists.pharo.org

[Pharo-project] Fwd: [ANN] Number comparison, hash, NaN, Point, and other partially ordered sets
by nicolas cellier Jan. 6, 2009

Jan. 6, 2009

StÃ©phane Ducasse <stephane.ducasse@...> writes: > > Nicolas > > could you summarize your solution? > > Stef > > On Jan 5, 2009, at 12:55 AM, nicolas cellier wrote: > Here is the summary: 1) equality relation is not transitive due to inexact asFloat conversion example: (1/2) = 0.5. "This is exact" (1/2) + (1/(2 raisedTo: 100)) = 0.5. "This is an inexact conversion" (1/2) + (1/(2 raisedTo: 100)) ~= (1/2). "If equal where transitive, they should be equal" Solution: base comparison on inexact->exact conversions rather than the contrary... inexact->exact is called #asTrueFraction (#asExactFraction in GNU Smalltalk). This solution is known from the wise lispers for so long... http://www.lispworks.com/documentation/lcl50/aug/aug-170.html This is http://bugs.squeak.org/view.php?id=3374 2) Some numbers are equal, but have different hash codes Since some Float can equal some Integer or Fraction, it is necessary to change at least 2 out of 3 hash implementations. Solution I retained: - preserve Integer hash - change Float hash if they have a fractionPart = 0.0 (they are equal to anInteger) - change Fraction hash if they could be equal to a Float (I only test that denominator is a power of two, which is a necessary but not a sufficient condition). This is http://bugs.squeak.org/view.php?id=6601, and http://bugs.squeak.org/view.php?id=3360, solution has been posted at #3374. Note: this results in loosing a little speed for small Float hash, and lot more for large Float hash. But make it right > make it fast... 3) Comparing Float nan to a Float or an Integer does not follow IEEE 754 conventions comparison should always return false since nan cannot be ordered. Magnitude assume subInstances form a totally ordered set. Thus Number is not a well behaved Magnitude. Consequently, Number must define not only < but also <= >= and > Note that only < and <= would be strictly necessary. The other two could be defined like this: > b ^b < self >= b ^b <= self I choose to change >= implementation in Magnitude, and reimplement everything in Number subclasses (though > and >= would not be strictly necessary). This is http://bugs.squeak.org/view.php?id=6719 But the VM also makes same assumption as Magnitude and must be changed too - this is http://bugs.squeak.org/view.php?id=7260 4) Comparing a Number and a Point is weird (different result with an Integer and a Float) Float did coerce to a Point, then compare. Integer did use a false total order assumption through super Magnitude. Two main solutions: - either coerce Number to a Point (might be implicitely used this way in the image... hard to tell). - or raise an Exception Solution: I choosed to raise an Exception. This is http://bugs.squeak.org/view.php?id=7259

3 2

Re: [Pharo-project] Underscores question
by Bill Schwab Jan. 6, 2009

Jan. 6, 2009

Gwenael, Is the plan to do this for 1.0? Have you considered a flag for _ assignment? It seems like something that would be most useful on file-in, unless you think you can make it all work at the same time. Shortly after m17n gained acceptance, I re-raised the question of whether _ really needed a special status. Andreas argued for the status quo, but did so with some interesting examples. I can't do it this minute (will try later today unless you are already have read it), but it might be interesting to search for that exchange and consider his examples for your tests. Bill Wilhelm K. Schwab, Ph.D. University of Florida Department of Anesthesiology PO Box 100254 Gainesville, FL 32610-0254 Email: bschwab(a)anest.ufl.edu Tel: (352) 273-6785 FAX: (352) 392-7029 >>> mrgwen(a)gmail.com 01/06/09 4:50 AM >>> On Tuesday 06 January 2009 09:54:56 Lukas Renggli wrote: > > This is not yet integrated > > I assume a change like that will affect many different places. Is > there a list of things that remain to be fixed (Debugger, > RefactoringBrowser, Method Finder, ...). > > Lukas Yes, I don't have the list but I will publish the list on the mailing list before any public release and off course I'll publish the fix. Gwenael _______________________________________________ Pharo-project mailing list Pharo-project(a)lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project

1 0

[Pharo-project] #traits
by StÃ©phane Ducasse Jan. 6, 2009

Jan. 6, 2009

Hi adrian I wanted to know if we could not have traits defined in Behavior and whose behavior would be self traitComposition allTraits BTW will you have some time to look at my improvements? Stef

3 6

[Pharo-project] Next Issue ;-)
by Brian Brown Jan. 6, 2009

Jan. 6, 2009

I'm trying to load cryptography 1.1 from the Universe browser. Everything seems to go well, and the dialog completes and exits. Immediately following that, whenever the mouse moves over any morphs, you get the below traceback. the ivars leftMorphs, enteredMorphs, and overMorphs are all nil, but are being treated as collections... UndefinedObject(Object)>>doesNotUnderstand: #includes: MouseOverHandler>>noticeMouseOver:event: HandMorph>>noticeMouseOver:event: OBTextMorphWithShout(Morph)>>handleMouseOver: MouseEvent>>sentTo: OBTextMorphWithShout(Morph)>>handleEvent: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: OBTextMorphWithShout(Morph)>>processEvent:using: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: TransformMorph(Morph)>>processEvent:using: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: OBPluggableTextMorphWithShout(Morph)>>processEvent:using: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: OBGroupingMorph(Morph)>>processEvent:using: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: SystemWindow(Morph)>>processEvent:using: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: PasteUpMorph(Morph)>>processEvent:using: PasteUpMorph>>processEvent:using: PasteUpMorph(Morph)>>processEvent: HandMorph>>sendEvent:focus:clear: HandMorph>>sendMouseEvent: HandMorph>>handleEvent: MouseOverHandler>>processMouseOver: HandMorph>>handleEvent: HandMorph>>processEvents [] in WorldState>>doOneCycleNowFor: {[:h | ActiveHand := h. h processEvents. ActiveHand := nil]} Array(SequenceableCollection)>>do: WorldState>>handsDo: WorldState>>doOneCycleNowFor: WorldState>>doOneCycleFor: PasteUpMorph>>doOneCycle [] in Project class>>spawnNewProcess {[[World doOneCycle. Processor yield. false] whileFalse. nil]} [] in BlockContext>>newProcess {[self value. Processor terminateActive]}

2 1

Re: [Pharo-project] Underscores question
by Bill Schwab Jan. 6, 2009

Jan. 6, 2009

Gwenael, That is great, but I keep getting "Nothing more expected ->" in place of the uderscore any time I try it. Am I doing something wrong, or is it simply not yet integrated? Bill Wilhelm K. Schwab, Ph.D. University of Florida Department of Anesthesiology PO Box 100254 Gainesville, FL 32610-0254 Email: bschwab(a)anest.ufl.edu Tel: (352) 273-6785 FAX: (352) 392-7029 >>> mrgwen(a)gmail.com 1/5/2009 7:25:25 AM >>> On Sunday 04 January 2009 17:41:21 Bill Schwab wrote: > Gwenael, > > Stef mentioned that you are working on a parser, in part to address > problems with $_. At the risk of appearing impatient, do your goals > include allowing the use of $_ in selector and class names? If so, is > it something simple that could appear soon, or is it involved and likely > to take a while? I have some external interfacing requirements that > would be simplified if $_ were unconstrained. > Hi Bill, You can put _ in selector and class names. There is only a problem with _ when it is used instead of :=. Cheers, Gwenael > Bill > > > > > Wilhelm K. Schwab, Ph.D. > University of Florida > Department of Anesthesiology > PO Box 100254 > Gainesville, FL 32610-0254 > > Email: bschwab(a)anest.ufl.edu > Tel: (352) 273-6785 > FAX: (352) 392-7029 > > > _______________________________________________ > Pharo-project mailing list > Pharo-project(a)lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project _______________________________________________ Pharo-project mailing list Pharo-project(a)lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project

3 3

[Pharo-project] Pharo Issues
by Brian Brown Jan. 6, 2009

Jan. 6, 2009

Greetings all, I download the latest image from the site (10196 dev), and selected "Software update" from the System Menu. There is an error with update: 10201-Pha-FlapTabViewerObjectPassOneOverScriptSyst While it is in the "Adding Versions" step, we get an exception trying to read a stream on this file: Sixx-stephane_ducasse.2.mcz Here is the traceback: UndefinedObject(Object)>>doesNotUnderstand: #readStream MCScanner class>>scanTokens: MCMczReader>>parseMember: MCMczReader>>loadPackage MCMczReader(MCVersionReader)>>package MCMczReader(MCVersionReader)>>basicVersion MCMczReader(MCVersionReader)>>version [] in MCHttpRepository(MCFileBasedRepository)>>loadVersionFromFileNamed: {[:r | r version]} BlockContext>>valueWithPossibleArgs: MCMczReader(ProtoObject)>>ifNotNil: MCHttpRepository>>versionReaderForFileNamed:do: MCHttpRepository(MCFileBasedRepository)>>loadVersionFromFileNamed: [] in ScriptLoader>>loadTogether:merge: {[:fn | loader addVersion: (self repository loadVersionFromFileNamed: fn)]} [] in OrderedCollection(SequenceableCollection)>>do:displayingProgress: {[:each :i | bar value: i. aBlock value: each]} OrderedCollection(SequenceableCollection)>>withIndexDo: [] in OrderedCollection(SequenceableCollection)>>do:displayingProgress: {[:bar | self withIndexDo: [:each :i | bar value: i. aBlock value: e...]} [] in ProgressInitiationException>>defaultAction {[result := workBlock value: progress]} BlockContext>>ensure: ProgressInitiationException>>defaultAction UndefinedObject>>handleSignal: MethodContext(ContextPart)>>handleSignal: MethodContext(ContextPart)>>handleSignal: ProgressInitiationException(Exception)>>signal ProgressInitiationException>>display:at:from:to:during: ProgressInitiationException class>>display:at:from:to:during: ByteString(String)>>displayProgressAt:from:to:during: OrderedCollection(SequenceableCollection)>>do:displayingProgress: ScriptLoader>>loadTogether:merge: ScriptLoader>>script280 ScriptLoader>>update10201 UndefinedObject>>DoIt Compiler>>evaluate:in:to:notifying:ifFail:logged: Compiler class>>evaluate:for:notifying:logged: Compiler class>>evaluate:for:logged: Compiler class>>evaluate:logged: [] in MultiByteBinaryOrTextStream(PositionableStream)>>fileInAnnouncing: {[val := (self peekFor: $!) ifTrue: [(Compiler evaluate: self nextChunk l...]} BlockContext>>on:do: [] in MultiByteBinaryOrTextStream(PositionableStream)>>fileInAnnouncing: {[:bar | [self atEnd] whileFalse: [bar value: self position. self skipS...]} [] in ProgressInitiationException>>defaultAction {[result := workBlock value: progress]} BlockContext>>ensure: ProgressInitiationException>>defaultAction UndefinedObject>>handleSignal: MethodContext(ContextPart)>>handleSignal: ProgressInitiationException(Exception)>>signal ProgressInitiationException>>display:at:from:to:during: ProgressInitiationException class>>display:at:from:to:during: ByteString(String)>>displayProgressAt:from:to:during: MultiByteBinaryOrTextStream(PositionableStream)>>fileInAnnouncing: [] in ChangeSet class>>newChangesFromStream:named: {[newSet ifNotNil: [(aStream respondsTo: #converter:) ifTrue: [newStrea...]} BlockContext>>ensure: ChangeSet class>>newChangesFromStream:named: [] in Utilities class>>readServer:special:updatesThrough:saveLocally:updateImage: {[:bar | [this := docQueue next. nextDoc := docQueue next. nextDoc = #fail...]} [] in ProgressInitiationException>>defaultAction {[result := workBlock value: progress]} BlockContext>>ensure: ProgressInitiationException>>defaultAction UndefinedObject>>handleSignal: MethodContext(ContextPart)>>handleSignal: ProgressInitiationException(Exception)>>signal ProgressInitiationException>>display:at:from:to:during: ProgressInitiationException class>>display:at:from:to:during: ByteString(String)>>displayProgressAt:from:to:during: [] in Utilities class>>readServer:special:updatesThrough:saveLocally:updateImage: {[urls := self newUpdatesOn: (serverList collect: [:url | url , 'up...]} BlockContext>>ensure: CursorWithMask(Cursor)>>showWhile: Utilities class>>readServer:special:updatesThrough:saveLocally:updateImage: Utilities class>>readServerUpdatesThrough:saveLocally:updateImage: Utilities class>>readServerUpdatesSaveLocally:updateImage: Utilities class>>updateFromServer TheWorldMenu>>doMenuItem:with: [] in ToggleMenuItemMorph(MenuItemMorph)>>invokeWithEvent: {[(selArgCount := selector numArgs) = 0 ifTrue: [target perform: selector] ...]} BlockContext>>ensure: CursorWithMask(Cursor)>>showWhile: ToggleMenuItemMorph(MenuItemMorph)>>invokeWithEvent: ToggleMenuItemMorph(MenuItemMorph)>>mouseUp: ToggleMenuItemMorph(MenuItemMorph)>>handleMouseUp: MouseButtonEvent>>sentTo: ToggleMenuItemMorph(Morph)>>handleEvent: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: ToggleMenuItemMorph(Morph)>>processEvent:using: MorphicEventDispatcher>>dispatchDefault:with: MorphicEventDispatcher>>dispatchEvent:with: MenuMorph(Morph)>>processEvent:using: MenuMorph(Morph)>>processEvent: MenuMorph>>handleFocusEvent: [] in HandMorph>>sendFocusEvent:to:clear: {[ActiveHand := self. ActiveEvent := anEvent. result := focusHolder han...]} [] in PasteUpMorph>>becomeActiveDuring: {[aBlock value]} BlockContext>>on:do: PasteUpMorph>>becomeActiveDuring: HandMorph>>sendFocusEvent:to:clear: HandMorph>>sendEvent:focus:clear: HandMorph>>sendMouseEvent: HandMorph>>handleEvent: HandMorph>>processEvents [] in WorldState>>doOneCycleNowFor: {[:h | ActiveHand := h. h processEvents. ActiveHand := nil]} Array(SequenceableCollection)>>do: WorldState>>handsDo: WorldState>>doOneCycleNowFor: WorldState>>doOneCycleFor: PasteUpMorph>>doOneCycle [] in Project class>>spawnNewProcess {[[World doOneCycle. Processor yield. false] whileFalse. nil]} [] in BlockContext>>newProcess {[self value. Processor terminateActive]}

3 10

[Pharo-project] [ANN] releasing image 10201...
by StÃ©phane Ducasse Jan. 5, 2009

Jan. 5, 2009

Hi guys I updated from 10091 and produce 10201 and published it. Stef

1 0

[Pharo-project] Issue 434: New MC merge dialog merges even if it is closed without hitting "merge"
by Adrian Lienhard Jan. 5, 2009

Jan. 5, 2009

The new merge dialog is really nice. I filed the following issue. http://code.google.com/p/pharo/issues/detail?id=434 After closing the dialog with the top left red button, the merge is performed. Furthermore, the dialog is modal, which I think is quite annoying as I often use to have several merge dialogs open at the same time. Improvements are welcome :) Cheers, Adrian ___________________ http://www.adrian-lienhard.ch/

1 0

[Pharo-project] Underscores question
by Bill Schwab Jan. 5, 2009

Jan. 5, 2009

Gwenael, Stef mentioned that you are working on a parser, in part to address problems with $_. At the risk of appearing impatient, do your goals include allowing the use of $_ in selector and class names? If so, is it something simple that could appear soon, or is it involved and likely to take a while? I have some external interfacing requirements that would be simplified if $_ were unconstrained. Bill Wilhelm K. Schwab, Ph.D. University of Florida Department of Anesthesiology PO Box 100254 Gainesville, FL 32610-0254 Email: bschwab(a)anest.ufl.edu Tel: (352) 273-6785 FAX: (352) 392-7029

2 1

[Pharo-project] [Fwd: [ANN] Number comparison, hash, NaN, Point, and other partially ordered sets]
by nicolas cellier Jan. 5, 2009

Jan. 5, 2009

-------- Message original -------- From: - Mon Jan 05 00:49:18 2009 X-Mozilla-Status: 0001 X-Mozilla-Status2: 00800000 X-Mozilla-Keys: Date: Mon, 05 Jan 2009 00:49:17 +0100 From: nicolas cellier <ncellier(a)ifrance.com> User-Agent: Thunderbird 2.0.0.12 (X11/20080306) MIME-Version: 1.0 Newsgroups: gmane.comp.lang.smalltalk.squeak.general Subject: [ANN] Number comparison, hash, NaN, Point, and other partially ordered sets Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Happy new year everyone. After VWNC recent discussion about comparing Point and Number, I tried to make a review of my previous work concerning all these minor (but annoying) comparison bugs. I think I now have an acceptable and consistent solution. This is spreaded across several mantis bug reports: http://bugs.squeak.org/view.php?id=3374 http://bugs.squeak.org/view.php?id=6719 http://bugs.squeak.org/view.php?id=7259 http://bugs.squeak.org/view.php?id=7260 It should also solve: http://bugs.squeak.org/view.php?id=3360 http://bugs.squeak.org/view.php?id=6601 (I took andrew solution from the last one) Comments, code critics, flames, etc... are welcome Nicolas

2 1