Squeak-dev November 2011

squeak-dev@lists.squeakfoundation.org

52 participants
168 discussions

The Inbox: Network-chc.120.mcz
by commits＠source.squeak.org 07 Nov '11

07 Nov '11

A new version of Network was added to project The Inbox: http://source.squeak.org/inbox/Network-chc.120.mcz ==================== Summary ==================== Name: Network-chc.120 Author: chc Time: 7 November 2011, 9:59:44.904 am UUID: c50a16b2-5a12-409d-a31e-2d46f4a55fc2 Ancestors: Network-tonyg.119 http://lists.squeakfoundation.org/pipermail/squeak-dev/2010-June/151440.html FileList>>labelString was changed but perhaps it didn't change to accommodate ServerDirectory. As such the FTP folder in FileList has been broken. The process chokes in: pathAndPattern ^directory fullName, directory slash, pattern because ServerDirectory has neither #fullName nor #slash. I've added them and now the FTP directory at the bottom of the file list in FileList works again. =============== Diff against Network-tonyg.119 =============== Item was added: + ----- Method: ServerDirectory>>fullName (in category 'accessing') ----- + fullName + ^server! Item was added: + ----- Method: ServerDirectory>>slash (in category 'accessing') ----- + slash + ^'/'!

1 0

The Trunk: Tools-ul.385.mcz
by commits＠source.squeak.org 07 Nov '11

07 Nov '11

Levente Uzonyi uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-ul.385.mcz ==================== Summary ==================== Name: Tools-ul.385 Author: ul Time: 2 November 2011, 2:50:23.039 am UUID: eeefc6ae-1848-774d-a96d-0fe6634c94b9 Ancestors: Tools-eem.384 Implemented TimeProfileBrowser >> #isModeStyleable which disallows styling when the selected line is not a method. This is a fix for http://bugs.squeak.org/view.php?id=7675 . =============== Diff against Tools-eem.384 =============== Item was added: + ----- Method: TimeProfileBrowser>>isModeStyleable (in category 'contents') ----- + isModeStyleable + "Ensure that only methods are styled." + + ^self selectedMessageName notNil and: [ super isModeStyleable ]!

1 0

Re: [squeak-dev] The Inbox: Kernel-nice.652.mcz
by Rodney Polkinghorne 07 Nov '11

07 Nov '11

I much prefer 1.0 to 0.999...9. Thanks Nicolas. > Here is a better argumentation from David M. Gay in "Correctly Rounded > Binary-Decimal and Decimal-Binary Conversions". Why would anyone care how long a computer takes to print floats? If it's talking to other machines, they can speak in binary: the format is more standard than the printed ones. If humans are listening in, any machine is fast enough. Rodney

2 1

The Inbox: Network-RemoteDirectory-chc.2.mcz redux
by Chris Cunnington 07 Nov '11

07 Nov '11

Hmm... that didn't show what I'm trying to add: ServerDirectory>>#slash ^'/' ServerDirectory>>#fullName ^server Chris

2 1

The Inbox: Network-RemoteDirectory-chc.2.mcz
by commits＠source.squeak.org 06 Nov '11

06 Nov '11

A new version of Network-RemoteDirectory was added to project The Inbox: http://source.squeak.org/inbox/Network-RemoteDirectory-chc.2.mcz ==================== Summary ==================== Name: Network-RemoteDirectory-chc.2 Author: chc Time: 6 November 2011, 4:59:23.833 pm UUID: e6e57dc9-7c97-4d89-a6f6-01ae69c5f02f Ancestors: Network-RemoteDirectory-chc.1 http://lists.squeakfoundation.org/pipermail/squeak-dev/2010-June/151440.html FileList>>labelString was changed but perhaps it didn't change to accommodate ServerDirectory. As such the FTP folder in FileList has been broken. The process chokes in: pathAndPattern ^directory fullName, directory slash, pattern because ServerDirectory has neither #fullName nor #slash. I've added them and now the FTP directory works again. =============== Diff against Network-RemoteDirectory-chc.1 ===============

1 0

Re: [squeak-dev] The Inbox: Kernel-nice.652.mcz
by Nicolas Cellier 05 Nov '11

05 Nov '11

Here is a better argumentation from David M. Gay in "Correctly Rounded Binary-Decimal and Decimal-Binary Conversions". "Of course, there are many situations where precise conversions are not needed and where trading speed for accuracy is desirable. For these situations, it would be helpful to have a library of alternate conversion routines that make a reasonable such trade. But the principle of least surprise suggests that correctly rounded conversions should be the default." Well said Nicolas 2011/11/5 <commits(a)source.squeak.org>: > Nicolas Cellier uploaded a new version of Kernel to project The Inbox: > http://source.squeak.org/inbox/Kernel-nice.652.mcz > > ==================== Summary ==================== > > Name: Kernel-nice.652 > Author: nice > Time: 5 November 2011, 12:54:57.688 am > UUID: 6588c880-ca5d-4c3d-a39b-b75588ce0263 > Ancestors: Kernel-laza.649 > > PURPOSE: > > Any Float now prints with the minimal number of digits that describes it unambiguously. > This way, every two different Float will have a different printed representation. > More over, every Float can be reconstructed from its printed representation with #readFrom:. > > self assert: ([:f | f isNaN or: [(Float readFrom: f printString) = f]] value: Float someInstance). > > Note that Float nan, Float infinity and Float infinity negated still print as 'NaN' 'Infinity' and '-Infinity' which are compatible with #readFrom:. > > RATIONALE: > > the old behaviour was obscuring our data like for example: > 0.1 successor printString = 0.1 printString. > 1.0e-100 printString = '9.99999999999999e-101'. > > The old behaviour was returning many digits without any guaranty of exactness which is useless. > > The old behaviour was faster (x4) but this is less relevant than exactness. > Similar or better speed should be obtained by controlling number of printed digits if we can afford inexactness. > > IMPLEMENTATION: > > The essential change was to use #absPrintExactlyOn:base: in #printOn:base: > Side note: this is really a bad name, because it prints the shortest base-representation, not the exact one. > Anyway, we can only print the exact one in even bases. > For example, the exact representation of 0.1 in base 10 is: > 0.1 asFraction asScaledDecimal = 0.1000000000000000055511151231257827021181583404541015625s55. > > The second change was to marginally fast-up #absPrintExactlyOn:base: main loop by avoiding a #not send and piping decimal point test. > Avoiding the #not makes the intention a tiny bit clearer. > Also of few formatting has been performed in the last lines. > > REJECTED CHANGES: > > It is possible to move self > 0.0 before self isNaN to statistically reduce the number of tests performed. > This works because Float nan > 0.0 = false. > But this speed-up is quite marginal. > > Similarly (self = Infinity) could replace (self isInfinite) and save another send and also another test (because NegativeInfinity can't happen at this stage). > This would be at the price of a class var reference leak. > > It could be more interesting to move this #isInfinite test in #printOn:base: in order to gather print rules for exceptional values. > I didn't to avoid duplicating the test in the two branches > 0.0 and < 0.0. > > A far more efficient speed-up would be to optimize LargeInteger arithmetic. > I think there is room, the VM is still using byte operations (thus at most 16 bits). > > =============== Diff against Kernel-laza.649 =============== > > Item was changed: > ----- Method: Float>>absPrintExactlyOn:base: (in category 'printing') ----- > absPrintExactlyOn: aStream base: base > "Print my value on a stream in the given base. Assumes that my value is strictly > positive; negative numbers, zero, and NaNs have already been handled elsewhere. > Based upon the algorithm outlined in: > Robert G. Burger and R. Kent Dybvig > Printing Floating Point Numbers Quickly and Accurately > ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation > June 1996. > This version guarantees that the printed representation exactly represents my value > by using exact integer arithmetic." > > | significand exp baseExpEstimate r s mPlus mMinus scale roundingIncludesLimits d tc1 tc2 fixedFormat decPointCount slowbit shead | > self isInfinite ifTrue: [aStream nextPutAll: 'Infinity'. ^ self]. > significand := self significandAsInteger. > roundingIncludesLimits := significand even. > exp := (self exponent - 52) max: MinValLogBase2. > baseExpEstimate := (self exponent * base asFloat reciprocalLogBase2 - 1.0e-10) ceiling. > exp >= 0 > ifTrue: > [significand ~= 16r10000000000000 > ifTrue: > [r := significand bitShift: 1 + exp. > s := 2. > mPlus := mMinus := 1 bitShift: exp] > ifFalse: > [r := significand bitShift: 2 + exp. > s := 4. > mPlus := 2 * (mMinus := 1 bitShift: exp)]] > ifFalse: > [(exp = MinValLogBase2 or: [significand ~= 16r10000000000000]) > ifTrue: > [r := significand bitShift: 1. > s := 1 bitShift: 1 - exp. > mPlus := mMinus := 1] > ifFalse: > [r := significand bitShift: 2. > s := 1 bitShift: 2 - exp. > mPlus := 2. > mMinus := 1]]. > baseExpEstimate >= 0 > ifTrue: [s := s * (base raisedToInteger: baseExpEstimate)] > ifFalse: > [scale := base raisedToInteger: baseExpEstimate negated. > r := r * scale. > mPlus := mPlus * scale. > mMinus := mMinus * scale]. > + ((r + mPlus >= s) and: [roundingIncludesLimits or: [r + mPlus > s]]) > - ((r + mPlus < s) not and: [roundingIncludesLimits or: [r + mPlus > s]]) > ifTrue: [baseExpEstimate := baseExpEstimate + 1] > ifFalse: > [r := r * base. > mPlus := mPlus * base. > mMinus := mMinus * base]. > (fixedFormat := baseExpEstimate between: -3 and: 6) > ifTrue: > [decPointCount := baseExpEstimate. > baseExpEstimate <= 0 > ifTrue: [aStream nextPutAll: ('0.000000' truncateTo: 2 - baseExpEstimate)]] > ifFalse: > [decPointCount := 1]. > slowbit := 1 - s lowBit . > shead := s bitShift: slowbit. > [d := (r bitShift: slowbit) // shead. > r := r - (d * s). > + (tc1 := (r <= mMinus) and: [roundingIncludesLimits or: [r < mMinus]]) | > + (tc2 := (r + mPlus >= s) and: [roundingIncludesLimits or: [r + mPlus > s]])] whileFalse: > - (tc1 := (r > mMinus) not and: [roundingIncludesLimits or: [r < mMinus]]) | > - (tc2 := (r + mPlus < s) not and: [roundingIncludesLimits or: [r + mPlus > s]])] whileFalse: > [aStream nextPut: (Character digitValue: d). > r := r * base. > mPlus := mPlus * base. > mMinus := mMinus * base. > + (decPointCount := decPointCount - 1) = 0 ifTrue: [aStream nextPut: $.]]. > - decPointCount := decPointCount - 1. > - decPointCount = 0 ifTrue: [aStream nextPut: $.]]. > tc2 ifTrue: > [(tc1 not or: [r * 2 >= s]) ifTrue: [d := d + 1]]. > aStream nextPut: (Character digitValue: d). > decPointCount > 0 > ifTrue: > + [decPointCount - 1 to: 1 by: -1 do: [:i | aStream nextPut: $0]. > + aStream nextPutAll: '.0']. > + fixedFormat > + ifFalse: > + [aStream nextPut: $e. > + aStream nextPutAll: (baseExpEstimate - 1) printString]! > - [decPointCount - 1 to: 1 by: -1 do: [:i | aStream nextPut: $0]. > - aStream nextPutAll: '.0']. > - fixedFormat ifFalse: > - [aStream nextPut: $e. > - aStream nextPutAll: (baseExpEstimate - 1) printString]! > > Item was changed: > ----- Method: Float>>printOn:base: (in category 'printing') ----- > printOn: aStream base: base > + "Print the receiver with the minimal number of digits that describes it unambiguously. > + This way, every two different Float will have a different printed representation. > + More over, every Float can be reconstructed from its printed representation with #readFrom:." > - "Handle sign, zero, and NaNs; all other values passed to absPrintOn:base:" > > self isNaN ifTrue: [aStream nextPutAll: 'NaN'. ^ self]. "check for NaN before sign" > self > 0.0 > + ifTrue: [self absPrintExactlyOn: aStream base: base] > - ifTrue: [self absPrintOn: aStream base: base] > ifFalse: > [self sign = -1 > ifTrue: [aStream nextPutAll: '-']. > self = 0.0 > + ifTrue: [aStream nextPutAll: '0.0'] > + ifFalse: [self negated absPrintExactlyOn: aStream base: base]]! > - ifTrue: [aStream nextPutAll: '0.0'. ^ self] > - ifFalse: [self negated absPrintOn: aStream base: base]]! > > >

1 0

The Inbox: Kernel-nice.652.mcz
by commits＠source.squeak.org 05 Nov '11

05 Nov '11

Nicolas Cellier uploaded a new version of Kernel to project The Inbox: http://source.squeak.org/inbox/Kernel-nice.652.mcz ==================== Summary ==================== Name: Kernel-nice.652 Author: nice Time: 5 November 2011, 12:54:57.688 am UUID: 6588c880-ca5d-4c3d-a39b-b75588ce0263 Ancestors: Kernel-laza.649 PURPOSE: Any Float now prints with the minimal number of digits that describes it unambiguously. This way, every two different Float will have a different printed representation. More over, every Float can be reconstructed from its printed representation with #readFrom:. self assert: ([:f | f isNaN or: [(Float readFrom: f printString) = f]] value: Float someInstance). Note that Float nan, Float infinity and Float infinity negated still print as 'NaN' 'Infinity' and '-Infinity' which are compatible with #readFrom:. RATIONALE: the old behaviour was obscuring our data like for example: 0.1 successor printString = 0.1 printString. 1.0e-100 printString = '9.99999999999999e-101'. The old behaviour was returning many digits without any guaranty of exactness which is useless. The old behaviour was faster (x4) but this is less relevant than exactness. Similar or better speed should be obtained by controlling number of printed digits if we can afford inexactness. IMPLEMENTATION: The essential change was to use #absPrintExactlyOn:base: in #printOn:base: Side note: this is really a bad name, because it prints the shortest base-representation, not the exact one. Anyway, we can only print the exact one in even bases. For example, the exact representation of 0.1 in base 10 is: 0.1 asFraction asScaledDecimal = 0.1000000000000000055511151231257827021181583404541015625s55. The second change was to marginally fast-up #absPrintExactlyOn:base: main loop by avoiding a #not send and piping decimal point test. Avoiding the #not makes the intention a tiny bit clearer. Also of few formatting has been performed in the last lines. REJECTED CHANGES: It is possible to move self > 0.0 before self isNaN to statistically reduce the number of tests performed. This works because Float nan > 0.0 = false. But this speed-up is quite marginal. Similarly (self = Infinity) could replace (self isInfinite) and save another send and also another test (because NegativeInfinity can't happen at this stage). This would be at the price of a class var reference leak. It could be more interesting to move this #isInfinite test in #printOn:base: in order to gather print rules for exceptional values. I didn't to avoid duplicating the test in the two branches > 0.0 and < 0.0. A far more efficient speed-up would be to optimize LargeInteger arithmetic. I think there is room, the VM is still using byte operations (thus at most 16 bits). =============== Diff against Kernel-laza.649 =============== Item was changed: ----- Method: Float>>absPrintExactlyOn:base: (in category 'printing') ----- absPrintExactlyOn: aStream base: base "Print my value on a stream in the given base. Assumes that my value is strictly positive; negative numbers, zero, and NaNs have already been handled elsewhere. Based upon the algorithm outlined in: Robert G. Burger and R. Kent Dybvig Printing Floating Point Numbers Quickly and Accurately ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation June 1996. This version guarantees that the printed representation exactly represents my value by using exact integer arithmetic." | significand exp baseExpEstimate r s mPlus mMinus scale roundingIncludesLimits d tc1 tc2 fixedFormat decPointCount slowbit shead | self isInfinite ifTrue: [aStream nextPutAll: 'Infinity'. ^ self]. significand := self significandAsInteger. roundingIncludesLimits := significand even. exp := (self exponent - 52) max: MinValLogBase2. baseExpEstimate := (self exponent * base asFloat reciprocalLogBase2 - 1.0e-10) ceiling. exp >= 0 ifTrue: [significand ~= 16r10000000000000 ifTrue: [r := significand bitShift: 1 + exp. s := 2. mPlus := mMinus := 1 bitShift: exp] ifFalse: [r := significand bitShift: 2 + exp. s := 4. mPlus := 2 * (mMinus := 1 bitShift: exp)]] ifFalse: [(exp = MinValLogBase2 or: [significand ~= 16r10000000000000]) ifTrue: [r := significand bitShift: 1. s := 1 bitShift: 1 - exp. mPlus := mMinus := 1] ifFalse: [r := significand bitShift: 2. s := 1 bitShift: 2 - exp. mPlus := 2. mMinus := 1]]. baseExpEstimate >= 0 ifTrue: [s := s * (base raisedToInteger: baseExpEstimate)] ifFalse: [scale := base raisedToInteger: baseExpEstimate negated. r := r * scale. mPlus := mPlus * scale. mMinus := mMinus * scale]. + ((r + mPlus >= s) and: [roundingIncludesLimits or: [r + mPlus > s]]) - ((r + mPlus < s) not and: [roundingIncludesLimits or: [r + mPlus > s]]) ifTrue: [baseExpEstimate := baseExpEstimate + 1] ifFalse: [r := r * base. mPlus := mPlus * base. mMinus := mMinus * base]. (fixedFormat := baseExpEstimate between: -3 and: 6) ifTrue: [decPointCount := baseExpEstimate. baseExpEstimate <= 0 ifTrue: [aStream nextPutAll: ('0.000000' truncateTo: 2 - baseExpEstimate)]] ifFalse: [decPointCount := 1]. slowbit := 1 - s lowBit . shead := s bitShift: slowbit. [d := (r bitShift: slowbit) // shead. r := r - (d * s). + (tc1 := (r <= mMinus) and: [roundingIncludesLimits or: [r < mMinus]]) | + (tc2 := (r + mPlus >= s) and: [roundingIncludesLimits or: [r + mPlus > s]])] whileFalse: - (tc1 := (r > mMinus) not and: [roundingIncludesLimits or: [r < mMinus]]) | - (tc2 := (r + mPlus < s) not and: [roundingIncludesLimits or: [r + mPlus > s]])] whileFalse: [aStream nextPut: (Character digitValue: d). r := r * base. mPlus := mPlus * base. mMinus := mMinus * base. + (decPointCount := decPointCount - 1) = 0 ifTrue: [aStream nextPut: $.]]. - decPointCount := decPointCount - 1. - decPointCount = 0 ifTrue: [aStream nextPut: $.]]. tc2 ifTrue: [(tc1 not or: [r * 2 >= s]) ifTrue: [d := d + 1]]. aStream nextPut: (Character digitValue: d). decPointCount > 0 ifTrue: + [decPointCount - 1 to: 1 by: -1 do: [:i | aStream nextPut: $0]. + aStream nextPutAll: '.0']. + fixedFormat + ifFalse: + [aStream nextPut: $e. + aStream nextPutAll: (baseExpEstimate - 1) printString]! - [decPointCount - 1 to: 1 by: -1 do: [:i | aStream nextPut: $0]. - aStream nextPutAll: '.0']. - fixedFormat ifFalse: - [aStream nextPut: $e. - aStream nextPutAll: (baseExpEstimate - 1) printString]! Item was changed: ----- Method: Float>>printOn:base: (in category 'printing') ----- printOn: aStream base: base + "Print the receiver with the minimal number of digits that describes it unambiguously. + This way, every two different Float will have a different printed representation. + More over, every Float can be reconstructed from its printed representation with #readFrom:." - "Handle sign, zero, and NaNs; all other values passed to absPrintOn:base:" self isNaN ifTrue: [aStream nextPutAll: 'NaN'. ^ self]. "check for NaN before sign" self > 0.0 + ifTrue: [self absPrintExactlyOn: aStream base: base] - ifTrue: [self absPrintOn: aStream base: base] ifFalse: [self sign = -1 ifTrue: [aStream nextPutAll: '-']. self = 0.0 + ifTrue: [aStream nextPutAll: '0.0'] + ifFalse: [self negated absPrintExactlyOn: aStream base: base]]! - ifTrue: [aStream nextPutAll: '0.0'. ^ self] - ifFalse: [self negated absPrintOn: aStream base: base]]!

1 0

Daily Commit Log
by commits＠source.squeak.org 05 Nov '11

05 Nov '11

Changes to Trunk (http://source.squeak.org/trunk.html) in the last 24 hours: http://lists.squeakfoundation.org/pipermail/packages/2011-November/005060.h… Name: SystemChangeNotification-Tests-laza.16 Ancestors: SystemChangeNotification-Tests-laza.15 SystemOrganizer>>addCategory:before: does not trigger any notifications ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-November/005061.h… Name: System-laza.459 Ancestors: System-laza.458 Make SystemOrganizer trigger a notification on adding a category ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-November/005062.h… Name: Kernel-laza.649 Ancestors: Kernel-eem.648 Make protocol changes be recorded by the changes file. ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-November/005063.h… Name: System-eem.460 Ancestors: System-laza.459 Refactor SystemNavigation>>browseAllStoresInto:from: to provide SystemNavigation>>allStoresInto:from:. =============================================

1 0

[ANN] Squeak Beginner Screencasts
by Michael Perscheid 04 Nov '11

04 Nov '11

Hi all, as we teach Squeak as part of our software engineering lectures, we have prepared several Squeak/Smalltalk-related screencasts that should help our students to get started. Now, I'd like to announce that we make these videos available for the community. https://www.hpi.uni-potsdam.de/hirschfeld/trac/SqueakCommunityProjects/wiki… Moreover, I'd like to acknowledge our student assistants, Eric Seckler, Robin Schreiber, and Partick Rein for all their help with these screencasts. We will complete the list of available screencasts step by step. If you have any wishes for new videos and feedback to existing ones, please let us know. Best regards, Michael

4 4

Re: [squeak-dev] The Inbox: Kernel-nice.651.mcz
by Bert Freudenberg 04 Nov '11

04 Nov '11

On 03.11.2011, at 22:12, commits(a)source.squeak.org wrote: > Print Float with the minimal number of decimal digits that describe it unambiguously. > This way, every two different Float will have a different printed representation. > More over, every Float can be reconstructed from its printed representation. Sounds desirable. > Maybe some won't like > Float nan printString = 'Float nan'. > But that's a detail we can eventually change back. How about adding NaN as a global? - Bert -

2 1

Jump to page: