Squeak-dev February 2018

squeak-dev@lists.squeakfoundation.org

51 participants
149 discussions

Squeak Oversight Board Election 2018 - Time to Vote!
by Ron Teitelbaum 05 Feb '18

05 Feb '18

Hi All, You have one more day to vote for the Squeak Oversight Board! The election ends Tuesday 6th of February 2018 6 PM (23.00 UTC). http://wiki.squeak.org/squeak/6590 Let me know if you are on the voter list and didn't get your ballot, I can resend it to you. Also now is a good time to get on the voter list. Send me an email and I'll add you for next year! Thank you, everyone, for your participation in this years election! All the best, Ron Teitelbaum

1 0

[CfP] ICOOOLPS 2018
by Tim Felgentreff 05 Feb '18

05 Feb '18

Call for Papers: ICOOOLPS'18 ============================ 13th Workshop on Implementation, Compilation, Optimization of Object- Oriented Languages, Programs and Systems Co-located with ECOOP 2018 held Mon 16 - Sun 22 July in Amsterdam, Netherlands Twitter: @ICOOOLPS URL: https://conf.researchr.org/track/ecoop-issta-2018/ICOOOLPS-2018-papers The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems and research directions as well as new solutions to classic performance challenges. The topics of interest for the workshop include techniques for the implementation and optimization of a wide range of languages including but not limited to object-oriented ones. Furthermore, meta-compilation techniques or language-agnostic approaches are welcome, too. ### Topics of Interest A non-exclusive list of topics of interest for this workshop is: - Implementation and optimization of fundamental languages features (from automatic memory management to zero-overhead metaprogramming) - Runtime systems technology (libraries, virtual machines) - Static, adaptive, and speculative optimizations and compiler techniques - Meta-compilation techniques and language-agnostic approaches for the efficient implementation of languages - Compilers (intermediate representations, offline and online optimizations,…) - Empirical studies on language usage, benchmark design, and benchmarking methodology - Resource-sensitive systems (real-time, low power, mobile, cloud) - Studies on design choices and tradeoffs (dynamic vs. static compilation, heuristics vs. programmer input,…) - Tooling support, debuggability and observability of languages as well as their implementations ### Workshop Format and Submissions This workshop welcomes the presentation and discussion of new ideas and emerging problems that give a chance for interaction and exchange. More mature work is welcome as part of a mini-conference format, too. We aim to interleave interactive brainstorming and demonstration sessions between the formal presentations to foster an active exchange of ideas. The workshop papers will be published in ACM DL or an open archive (to be confirmed). Papers are to be submitted using the sigplanconf LaTeX template (http://www.sigplan.org/Resources/LaTeXClassFile/). Please submit contributions via EasyChair: https://easychair.org/conferences/submission_show_all.cgi?a=17114062 ### Important Dates Submissions: 18 May 2018 Author Notification: 8 June 2018 ### Program Committee The program committee consists of the organizers and the following reviewers: Nada Amin, University of Cambridge Clément Béra, RMOD - INRIA Lille Nord Europe Shigeru Chiba, University of Tokyo Benoit Daloze, JKU Linz Görel Hedin, Lund University Eric Jul, University of Oslo Stefan Marr, University of Kent Eliot Miranda, Cadence Design Systems Sarah Mount, King's College London Tobias Pape, Hasso Plattner Institute Jennifer Sartor, Vrije Universiteit Brussel + University Ghent ### Workshop Organizers Tim Felgentreff, Oracle Labs Potsdam Olivier Zendra, INRIA / LORIA

1 0

The Trunk: MultilingualTests-dtl.31.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of MultilingualTests to project The Trunk: http://source.squeak.org/trunk/MultilingualTests-dtl.31.mcz ==================== Summary ==================== Name: MultilingualTests-dtl.31 Author: dtl Time: 4 February 2018, 5:48:55.726594 pm UUID: 7f0ac050-db7b-4ecc-80d8-9617409af3be Ancestors: MultilingualTests-tonyg.30, MultilingualTests-cbc.19 Merge MultilingualTests-cbc.19 =============== Diff against MultilingualTests-tonyg.30 =============== Item was changed: ----- Method: MultiByteFileStreamTest>>testLineEndingChunk (in category 'testing') ----- testLineEndingChunk + | failures | - fileName := 'foolinend.txt'. + failures := OrderedCollection new. MultiByteFileStream forceNewFileNamed: fileName do: [ :file | file wantsLineEndConversion: false; nextPutAll: 'line 1'; cr; nextPutAll: 'line 2'; crlf; nextPutAll: 'line 3'; lf; nextPutAll: 'line 4'; nextPut: $!! ]. { {#cr. 'line 1' , String cr , 'line 2' , String cr , 'line 3' , String cr , 'line 4'}. {#lf. 'line 1' , String cr , 'line 2' , String cr , 'line 3' , String cr , 'line 4'}. {#crlf. 'line 1' , String cr , 'line 2' , String cr , 'line 3' , String cr , 'line 4'}. {nil. 'line 1' , String cr , 'line 2' , String crlf , 'line 3' , String lf , 'line 4'} } do: [:lineEndingResult | + MultiByteFileStream oldFileNamed: fileName do: [ :file | | actual | - MultiByteFileStream oldFileNamed: fileName do: [ :file | file lineEndConvention: lineEndingResult first. + lineEndingResult last = (actual := file nextChunk) ifFalse: [ + failures add: (lineEndingResult copyWith: actual). + ]. + ] ]. + self assert: failures isEmpty! - self assert: lineEndingResult last equals: file nextChunk ] ]!

1 0

The Trunk: MultilingualTests-cbc.19.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of MultilingualTests to project The Trunk: http://source.squeak.org/trunk/MultilingualTests-cbc.19.mcz ==================== Summary ==================== Name: MultilingualTests-cbc.19 Author: cbc Time: 16 August 2014, 6:00:20.609 pm UUID: b3ccb0dc-5adc-3a4f-b722-98deab3ae9be Ancestors: MultilingualTests-fbs.18 MultiByteFileStream>>testLineEndingChunk is failing on Windows platforms (maybe others). Tweaked test to show which of the 4 is failing. =============== Diff against MultilingualTests-fbs.18 =============== Item was changed: ----- Method: MultiByteFileStreamTest>>testLineEndingChunk (in category 'testing') ----- testLineEndingChunk + | failures | - fileName := 'foolinend.txt'. + failures := OrderedCollection new. MultiByteFileStream forceNewFileNamed: fileName do: [ :file | file wantsLineEndConversion: false; nextPutAll: 'line 1'; cr; nextPutAll: 'line 2'; crlf; nextPutAll: 'line 3'; lf; nextPutAll: 'line 4'; nextPut: $!! ]. { {#cr. 'line 1' , String cr , 'line 2' , String cr , 'line 3' , String cr , 'line 4'}. {#lf. 'line 1' , String cr , 'line 2' , String cr , 'line 3' , String cr , 'line 4'}. {#crlf. 'line 1' , String cr , 'line 2' , String cr , 'line 3' , String cr , 'line 4'}. {nil. 'line 1' , String cr , 'line 2' , String crlf , 'line 3' , String lf , 'line 4'} } do: [:lineEndingResult | + MultiByteFileStream oldFileNamed: fileName do: [ :file | | actual | - MultiByteFileStream oldFileNamed: fileName do: [ :file | file lineEndConvention: lineEndingResult first. + lineEndingResult last = (actual := file nextChunk) ifFalse: [ + failures add: (lineEndingResult copyWith: actual). + ]. + ] ]. + self assert: failures isEmpty! - self assert: lineEndingResult last equals: file nextChunk ] ]!

1 0

The Trunk: Kernel-tonyg.1150.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-tonyg.1150.mcz ==================== Summary ==================== Name: Kernel-tonyg.1150 Author: tonyg Time: 1 February 2018, 9:59:50.393266 am UUID: 6afb5455-c040-4572-a62a-b292e20856e6 Ancestors: Kernel-tonyg.1149 (Re)introduce isPromise, and use it instead of isKindOf:. =============== Diff against Kernel-tonyg.1149 =============== Item was added: + ----- Method: Object>>isPromise (in category 'testing') ----- + isPromise + ^false! Item was changed: ----- Method: Promise>>isPromise (in category 'testing') ----- isPromise + ^ true! - ^ true.! Item was changed: ----- Method: Promise>>resolveWith: (in category 'resolving') ----- resolveWith: arg "Resolve this promise. If arg is itself a Promise, make this promise depend upon it, as detailed in the Promises/A+ spec: https://promisesaplus.com/#the-promise-resolution-procedure" + arg isPromise - (arg isKindOf: Promise) ifTrue: [ arg whenResolved: [:v | self resolveWith: v]. arg whenRejected: [:e | self rejectWith: e]] ifFalse: [ mutex critical: [ (state == #pending) ifTrue: [ value := arg. state := #fulfilled. resolvers do: [:r | self evaluateResolver: r]]]]!

1 0

The Trunk: Kernel-tonyg.1149.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-tonyg.1149.mcz ==================== Summary ==================== Name: Kernel-tonyg.1149 Author: tonyg Time: 31 January 2018, 11:45:27.771328 pm UUID: ab03b520-f8a0-4aa9-87c4-9b7e9dfb0369 Ancestors: Kernel-tonyg.1148 Add an alias for Promise>>#then:, called #>>=, echoing the monadic bind operator. Use of a binary selector allows for convenient chaining of Promises without lots of nested parentheses. For example: (self produceSomePromise) >>= [:v | self produceAnotherPromiseInvolving: v] >>= [:v | self makeYetAnotherUsing: v] instead of the more cumbersome ((self produceSomePromise) then: [:v | self produceAnotherPromiseInvolving: v]) then: [:v | self makeYetAnotherUsing: v] Also adds #>>, again named after the analogous monadic operator, which is like #>>= but does not pass the value from the left-hand-side promise to the continuation block. =============== Diff against Kernel-tonyg.1148 =============== Item was added: + ----- Method: Promise>>>> (in category 'monad') ----- + >> resolvedBlock + "Like >>=, but discards the result of the promise." + ^ self then: [:v | resolvedBlock value]! Item was added: + ----- Method: Promise>>>>= (in category 'monad') ----- + >>= resolvedBlock + "Alias for `then:` allowing convenient chaining." + ^ self then: resolvedBlock!

1 0

The Trunk: Kernel-tonyg.1148.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-tonyg.1148.mcz ==================== Summary ==================== Name: Kernel-tonyg.1148 Author: tonyg Time: 31 January 2018, 11:37:21.27021 pm UUID: 2a675301-406b-4222-9599-84358a7cc506 Ancestors: Kernel-eem.1147 Brings the Promise implementation closer to Javascript/A+ promises in two ways: * Resolving a Promise with another Promise causes them to be chained together * Resolving or Rejecting a Promise that is not pending is a no-op, like the Firefox/Chrome/etc in-browser promise implementations. The tests have been changed in KernelTests-tonyg.331 accordingly. =============== Diff against Kernel-eem.1147 =============== Item was changed: Object subclass: #Promise + instanceVariableNames: 'value resolvers mutex state error rejecters' - instanceVariableNames: 'onError value resolvers mutex state error rejectors rejecters' classVariableNames: '' poolDictionaries: '' category: 'Kernel-Processes'! + !Promise commentStamp: 'tonyg 1/31/2018 23:34' prior: 0! - !Promise commentStamp: 'fbs 5/17/2013 18:23' prior: 0! I represent the result of an asynchronous message. Once the message is processed, I will be resolved to a value. I am typically instantiated by invocations of #futureSend:at:args: (and not by #futureDo:atArgs:). See class-comment of FutureNode. I also implement the Promises/A+ Javascript specification. This allows you to chain my instances to perform arbitrarily complex asynchronous tasks with error handling baked in. + A Promise may be in one of three possible states: #pending, #fulfilled or #rejected. A Promise may move from #pending -> #fulfilled (by way of the resolveWith: message), or from #pending -> #rejected (by way of rejectWith:). No other state changes may occur. + + Once #fulfilled or #rejected, a Promise's value must not change. In keeping with the major Javascript Promise implementations' interpretations of this, calls to resolveWith: or rejectWith: when a Promise is in #fulfilled or #rejected state are simply ignored - an error is not signalled. (See test cases PromiseTest testFirstResolutionWins, testCannotRejectFulfilledPromise and testCannotResolveaRejectedPromise.)! - A Promise may be in one of three possible states: #pending, #fulfilled or #rejected. A Promise may move from #pending -> #fulfilled, or from #pending -> #rejected. No other state changes may occur. Once #fulfilled or #rejected, a Promise's value must change.! Item was changed: ----- Method: Promise>>rejectWith: (in category 'resolving') ----- rejectWith: anObject "Reject this promise." mutex critical: [ + (state == #pending) ifTrue: [ + error := anObject. + state := #rejected. + rejecters do: [:r | self evaluateRejecter: r]]]! - (state == #fulfilled) ifTrue: [self error: 'Promise was already resolved']. - (state == #rejected) ifTrue: [self error: 'Promise was already rejected']. - error := anObject. - state := #rejected. - rejecters do: [:r | self evaluateRejecter: r]].! Item was changed: ----- Method: Promise>>resolveWith: (in category 'resolving') ----- resolveWith: arg + "Resolve this promise. If arg is itself a Promise, make this promise depend upon it, + as detailed in the Promises/A+ spec: + https://promisesaplus.com/#the-promise-resolution-procedure" + + (arg isKindOf: Promise) + ifTrue: [ + arg whenResolved: [:v | self resolveWith: v]. + arg whenRejected: [:e | self rejectWith: e]] + ifFalse: [ + mutex critical: [ + (state == #pending) ifTrue: [ + value := arg. + state := #fulfilled. + resolvers do: [:r | self evaluateResolver: r]]]]! - "Resolve this promise" - mutex critical: [ - (state == #fulfilled) ifTrue: [self error: 'Promise was already resolved']. - (state == #rejected) ifTrue: [self error: 'Promise was already resolved']. - value := arg. - state := #fulfilled. - resolvers do: [:r | - self evaluateResolver: r]].! Item was changed: ----- Method: Promise>>then: (in category 'monad') ----- then: resolvedBlock + ^ self then: resolvedBlock ifRejected: [:e | "Pass rejection reason along" e].! - ^ self then: resolvedBlock ifRejected: [:ignored | "Do nothing"].!

1 0

The Trunk: KernelTests-tonyg.331.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of KernelTests to project The Trunk: http://source.squeak.org/trunk/KernelTests-tonyg.331.mcz ==================== Summary ==================== Name: KernelTests-tonyg.331 Author: tonyg Time: 31 January 2018, 11:38:54.000311 pm UUID: 76ecc634-5cf0-43e2-8e17-3dcf9ba18408 Ancestors: KernelTests-nice.330 Updated and new tests for Promise, to match Kernel-tonyg.1148 =============== Diff against KernelTests-nice.330 =============== Item was changed: ----- Method: PromiseTest>>testCannotRejectFulfilledPromise (in category 'testing - monad') ----- testCannotRejectFulfilledPromise | p | p := Promise unit: 1. + p rejectWith: Error new. + self assert: p isResolved. + self assert: 1 equals: p value. + ! - self should: [p rejectWith: Error new] raise: Error.! Item was changed: ----- Method: PromiseTest>>testCannotResolveaRejectedPromise (in category 'testing - monad') ----- testCannotResolveaRejectedPromise + | p e | - | p | p := Promise new. + e := Error new. + p rejectWith: e. + p resolveWith: 1. + self assert: p isRejected. + self assert: p error == e. + ! - p rejectWith: Error new. - self should: [p resolveWith: 1] raise: Error.! Item was added: + ----- Method: PromiseTest>>testCollapsesChainsOfPromises (in category 'testing - monad') ----- + testCollapsesChainsOfPromises + "The monadic bind operator has signature (m a -> (a -> m b) -> m b): that is, in our setting, + the block given to `then:` is expected to return a *Promise* of a value, not a value directly. + It is convenient to accept non-promise values and automatically lift them into the monad, + but we must also ensure we treat the case where a `then:`-block yields a Promise correctly." + | p q r | + p := Promise new. + q := p then: [:v | Promise unit: v * 2]. + r := q then: [:v | Promise unit: v + 1]. + p resolveWith: 4. + self assert: 4 * 2 equals: q value. + self assert: (4 * 2 + 1) equals: r value.! Item was added: + ----- Method: PromiseTest>>testFirstResolutionWins (in category 'testing - monad') ----- + testFirstResolutionWins + | p | + p := Promise new. + p resolveWith: 1. + p resolveWith: 2. + self assert: p isResolved. + self assert: p value == 1. + !

1 0

The Trunk: Multilingual-tonyg.236.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of Multilingual to project The Trunk: http://source.squeak.org/trunk/Multilingual-tonyg.236.mcz ==================== Summary ==================== Name: Multilingual-tonyg.236 Author: tonyg Time: 31 January 2018, 11:19:22.844612 pm UUID: 62b136a5-9964-42d9-9397-2a6aa303f339 Ancestors: Multilingual-tonyg.235 Properly report short sequences as InvalidUTF8 rather than out-of-bounds subscript. Fixes a failing UTF8EdgeCaseTest>>testSequencesWithLastContinuationByteMissing. =============== Diff against Multilingual-tonyg.235 =============== Item was changed: ----- Method: UTF8TextConverter class>>decodeByteString: (in category 'conversion') ----- decodeByteString: aByteString "Convert the given string from UTF-8 using the fast path if converting to Latin-1" + | outStream lastIndex nextIndex limit byte1 byte2 byte3 byte4 unicode | - | outStream lastIndex nextIndex byte1 byte2 byte3 byte4 unicode | lastIndex := 1. (nextIndex := ByteString findFirstInString: aByteString inSet: latin1Map startingAt: lastIndex) = 0 ifTrue: [ ^aByteString ]. + limit := aByteString size. + outStream := (String new: limit) writeStream. - outStream := (String new: aByteString size) writeStream. [ outStream next: nextIndex - lastIndex putAll: aByteString startingAt: lastIndex. byte1 := aByteString byteAt: nextIndex. (byte1 bitAnd: 16rE0) = 192 ifTrue: [ "two bytes" + nextIndex < limit ifFalse: [ ^ self errorMalformedInput: aByteString ]. byte2 := aByteString byteAt: (nextIndex := nextIndex + 1). (byte2 bitAnd: 16rC0) = 16r80 ifFalse:[ ^self errorMalformedInput: aByteString ]. unicode := ((byte1 bitAnd: 31) bitShift: 6) + (byte2 bitAnd: 63)]. (byte1 bitAnd: 16rF0) = 224 ifTrue: [ "three bytes" + (nextIndex + 2) <= limit ifFalse: [ ^ self errorMalformedInput: aByteString ]. byte2 := aByteString byteAt: (nextIndex := nextIndex + 1). (byte2 bitAnd: 16rC0) = 16r80 ifFalse:[ ^self errorMalformedInput: aByteString ]. byte3 := aByteString byteAt: (nextIndex := nextIndex + 1). (byte3 bitAnd: 16rC0) = 16r80 ifFalse:[ ^self errorMalformedInput: aByteString ]. unicode := ((byte1 bitAnd: 15) bitShift: 12) + ((byte2 bitAnd: 63) bitShift: 6) + (byte3 bitAnd: 63)]. (byte1 bitAnd: 16rF8) = 240 ifTrue: [ "four bytes" + (nextIndex + 3) <= limit ifFalse: [ ^ self errorMalformedInput: aByteString ]. byte2 := aByteString byteAt: (nextIndex := nextIndex + 1). (byte2 bitAnd: 16rC0) = 16r80 ifFalse:[ ^self errorMalformedInput: aByteString ]. byte3 := aByteString byteAt: (nextIndex := nextIndex + 1). (byte3 bitAnd: 16rC0) = 16r80 ifFalse:[ ^self errorMalformedInput: aByteString ]. byte4 := aByteString byteAt: (nextIndex := nextIndex + 1). (byte4 bitAnd: 16rC0) = 16r80 ifFalse:[ ^self errorMalformedInput: aByteString ]. unicode := ((byte1 bitAnd: 16r7) bitShift: 18) + ((byte2 bitAnd: 63) bitShift: 12) + ((byte3 bitAnd: 63) bitShift: 6) + (byte4 bitAnd: 63)]. unicode ifNil: [ ^self errorMalformedInput: aByteString ]. unicode = 16rFEFF ifFalse: [ "Skip byte order mark" outStream nextPut: (Unicode value: unicode) ]. lastIndex := nextIndex + 1. (nextIndex := ByteString findFirstInString: aByteString inSet: latin1Map startingAt: lastIndex) = 0 ] whileFalse. ^outStream next: aByteString size - lastIndex + 1 putAll: aByteString startingAt: lastIndex; contents !

1 0

The Trunk: MultilingualTests-tonyg.30.mcz
by commits＠source.squeak.org 04 Feb '18

04 Feb '18

David T. Lewis uploaded a new version of MultilingualTests to project The Trunk: http://source.squeak.org/trunk/MultilingualTests-tonyg.30.mcz ==================== Summary ==================== Name: MultilingualTests-tonyg.30 Author: tonyg Time: 31 January 2018, 11:17:41.508603 pm UUID: 7e5f0b94-8866-41e8-96bd-40d33eafbd19 Ancestors: MultilingualTests-tonyg.29 An additional few invalid-UTF8 tests. =============== Diff against MultilingualTests-tonyg.29 =============== Item was changed: ----- Method: UTF8EdgeCaseTest>>testSequencesWithLastContinuationByteMissing (in category 'as yet unclassified') ----- testSequencesWithLastContinuationByteMissing "Sequences with last continuation byte missing" self expectHexToFailDecoding: 'c0'. "U+0000" self expectHexToFailDecoding: 'e080'. "U+0000" self expectHexToFailDecoding: 'f08080'. "U+0000" self expectHexToFailDecoding: 'f8808080'. "U+0000" self expectHexToFailDecoding: 'fc80808080'. "U+0000" self expectHexToFailDecoding: 'df'. "U+07FF" self expectHexToFailDecoding: 'efbf'. "U+FFFF" self expectHexToFailDecoding: 'f7bfbf'. "U+1FFFFF" self expectHexToFailDecoding: 'fbbfbfbf'. "U+3FFFFFF" self expectHexToFailDecoding: 'fdbfbfbfbf'. "U+7FFFFFFF" + + "Additional tests not in Kuhn's document, testing for presence of off-by-two errors:" + + self expectHexToFailDecoding: 'e0'. "U+0000" + self expectHexToFailDecoding: 'f080'. "U+0000" + self expectHexToFailDecoding: 'f88080'. "U+0000" + self expectHexToFailDecoding: 'fc808080'. "U+0000" + + self expectHexToFailDecoding: 'ef'. "U+FFFF" + self expectHexToFailDecoding: 'f7bf'. "U+1FFFFF" + self expectHexToFailDecoding: 'fbbfbf'. "U+3FFFFFF" + self expectHexToFailDecoding: 'fdbfbfbf'. "U+7FFFFFFF" !

1 0

Jump to page: