Squeak-dev August 2018

squeak-dev@lists.squeakfoundation.org

41 participants
83 discussions

The Trunk: Compiler-bf.392.mcz
by commits＠source.squeak.org 24 Aug '18

24 Aug '18

Bert Freudenberg uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-bf.392.mcz ==================== Summary ==================== Name: Compiler-bf.392 Author: bf Time: 23 August 2018, 6:06:38.314464 pm UUID: 039d1b50-5fe6-4c03-b82f-8015a2bac469 Ancestors: Compiler-eem.391 Mark macro senders for browsing =============== Diff against Compiler-eem.391 =============== Item was added: + ----- Method: MessageNode class>>isMacroEmitter: (in category 'browsing support') ----- + isMacroEmitter: aLiteral + "Let our macro methods be found when browsing senders" + ^aLiteral isSymbol + and: [MacroEmitters includes: aLiteral]! Item was added: + ----- Method: MessageNode class>>isMacroPrinter: (in category 'browsing support') ----- + isMacroPrinter: aLiteral + "Let our macro methods be found when browsing senders" + ^aLiteral isSymbol + and: [MacroPrinters includes: aLiteral] + ! Item was added: + ----- Method: MessageNode class>>isMacroSizer: (in category 'browsing support') ----- + isMacroSizer: aLiteral + "Let our macro methods be found when browsing senders" + ^aLiteral isSymbol + and: [MacroSizers includes: aLiteral] + ! Item was added: + ----- Method: MessageNode class>>isMacroTransformer: (in category 'browsing support') ----- + isMacroTransformer: aLiteral + "Let our macro methods be found when browsing senders" + ^aLiteral isSymbol + and: [MacroTransformers includes: aLiteral]! Item was changed: ----- Method: MessageNode>>emitCodeForEffect:encoder: (in category 'code generation') ----- emitCodeForEffect: stack encoder: encoder "For #ifTrue:ifFalse: and #whileTrue: / #whileFalse: style messages, the pc is set to the jump instruction, so that mustBeBoolean exceptions can be shown correctly." + <hasLiteralTest: #isMacroEmitter:> special > 0 ifTrue: [pc := 0. self perform: (MacroEmitters at: special) with: stack with: encoder with: false] ifFalse: [super emitCodeForEffect: stack encoder: encoder]! Item was changed: ----- Method: MessageNode>>emitCodeForValue:encoder: (in category 'code generation') ----- emitCodeForValue: stack encoder: encoder "For #ifTrue:ifFalse: and #whileTrue: / #whileFalse: style messages, the pc is set to the jump instruction, so that mustBeBoolean exceptions can be shown correctly." + <hasLiteralTest: #isMacroEmitter:> special > 0 ifTrue: [pc := 0. self perform: (MacroEmitters at: special) with: stack with: encoder with: true] ifFalse: [receiver ~~ nil ifTrue: [receiver emitCodeForValue: stack encoder: encoder]. arguments do: [:argument | argument emitCodeForValue: stack encoder: encoder]. pc := encoder nextPC. "debug pc is first byte of the send, i.e. the next byte". selector emitCode: stack args: arguments size encoder: encoder super: receiver == NodeSuper]! Item was changed: ----- Method: MessageNode>>printOn:indent: (in category 'printing') ----- printOn: aStream indent: level "may not need this check anymore - may be fixed by the #receiver: change" + <hasLiteralTest: #isMacroPrinter:> + special ifNil: [^aStream nextPutAll: '** MessageNode with nil special **']. special > 0 ifTrue: [^self perform: self macroPrinter with: aStream with: level]. self printReceiver: receiver on: aStream indent: level. selector isForFFICall ifTrue: [aStream space. selector printAsFFICallWithArguments: arguments on: aStream indent: 0] ifFalse: [self printKeywords: selector key arguments: arguments on: aStream indent: level]! Item was changed: ----- Method: MessageNode>>printWithClosureAnalysisOn:indent: (in category 'printing') ----- printWithClosureAnalysisOn: aStream indent: level "may not need this check anymore - may be fixed by the #receiver: change" + <hasLiteralTest: #isMacroPrinter:> + special ifNil: [^aStream nextPutAll: '** MessageNode with nil special **']. special > 0 ifTrue: [^self perform: self macroPrinter with: aStream with: level]. self printWithClosureAnalysisReceiver: receiver on: aStream indent: level. self printWithClosureAnalysisKeywords: selector key arguments: arguments on: aStream indent: level! Item was changed: ----- Method: MessageNode>>sizeCodeForEffect: (in category 'code generation') ----- sizeCodeForEffect: encoder + <hasLiteralTest: #isMacroSizer:> special > 0 ifTrue: [encoder noteOptimizedSelector: originalSelector. ^self perform: (MacroSizers at: special) with: encoder with: false]. ^super sizeCodeForEffect: encoder! Item was changed: ----- Method: MessageNode>>sizeCodeForValue: (in category 'code generation') ----- sizeCodeForValue: encoder + <hasLiteralTest: #isMacroSizer:> | total | special > 0 ifTrue: [encoder noteOptimizedSelector: originalSelector. ^self perform: (MacroSizers at: special) with: encoder with: true]. receiver == NodeSuper ifTrue: [selector := selector forSuperSend "only necessary for special selectors"]. total := selector sizeCode: encoder args: arguments size super: receiver == NodeSuper. receiver ifNotNil: [total := total + (receiver sizeCodeForValue: encoder)]. sizes := arguments collect: [:arg | | argSize | argSize := arg sizeCodeForValue: encoder. total := total + argSize. argSize]. ^total! Item was changed: ----- Method: MessageNode>>transform: (in category 'macro transformations') ----- transform: encoder + <hasLiteralTest: #isMacroTransformer:> + special = 0 ifTrue: [^false]. (self perform: (MacroTransformers at: special) with: encoder) ifTrue: [^true] ifFalse: [special := 0. ^false]!

2 1

debugging bug
by Chris Muller 24 Aug '18

24 Aug '18

Of course! Right after just posting those test results I encountered a bug with debugging case statements. | str char | str := '1234' readStream. char := str next. char ifNil: [ Error signal ]. char caseOf: { [$4] -> ['four']. [$3] -> ['three' asUppercase]. [$2] -> ['two']. [$1] -> ['one' asUppercase]. } otherwise: [ 'No' ] The issue is that it highlights "signal" of "Error signal". It's also interesting, but somewhat understandable, that it doesn't highlight the blocks with no message sends in them. Best, Chris

4 6

[Documentation] How do I get a list of all packages in the image together with a short description what the package does?
by H. Hirzel 24 Aug '18

24 Aug '18

Hello Is there a query within the image which answers the question How do I get a list of all packages in the image together with a short description what the package does? --Hannes

1 1

Documentation
by Keith 24 Aug '18

24 Aug '18

Hi, where do we put documentation these days? Keith

9 18

The Trunk: Kernel-eem.1189.mcz
by commits＠source.squeak.org 24 Aug '18

24 Aug '18

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1189.mcz ==================== Summary ==================== Name: Kernel-eem.1189 Author: eem Time: 22 August 2018, 3:10:02.805606 pm UUID: 5e417598-ae15-4ccc-ac34-d14015fc48b7 Ancestors: Kernel-eem.1188 and remove Object>>perform:with:with:with:with:with: which I committed in error from a VMMaker image. =============== Diff against Kernel-eem.1188 =============== Item was removed: - ----- Method: Object>>perform:with:with:with:with:with: (in category 'message handling') ----- - perform: aSymbol with: firstObject with: secondObject with: thirdObject with: fourthObject with: fifthObject - "Send the selector, aSymbol, to the receiver with the given arguments. - Fail if the number of arguments expected by the selector is not five. - Primitive. Optional. See Object documentation whatIsAPrimitive." - - <primitive: 83> - ^ self perform: aSymbol withArguments: { firstObject. secondObject. thirdObject. fourthObject. fifthObject }!

2 1

The Trunk: Compiler-bf.393.mcz
by commits＠source.squeak.org 24 Aug '18

24 Aug '18

Bert Freudenberg uploaded a new version of Compiler to project The Trunk: http://source.squeak.org/trunk/Compiler-bf.393.mcz ==================== Summary ==================== Name: Compiler-bf.393 Author: bf Time: 23 August 2018, 7:44:43.576279 pm UUID: 860565e2-2f2c-49bb-9e2f-e0d69d7b46c5 Ancestors: Compiler-bf.392 Fix pc highlighting for ifNil:ifNotNil:. =============== Diff against Compiler-bf.392 =============== Item was changed: ----- Method: MessageNode>>transformIfNilIfNotNil: (in category 'macro transformations') ----- transformIfNilIfNotNil: encoder "vb: Changed to support one-argument ifNotNil: branch. In the 1-arg case we transform the receiver to (var := receiver) which is further transformed to (var := receiver) == nil ifTrue: .... ifFalse: ... This does not allow the block variable to shadow an existing temp, but it's no different from how to:do: is done." | ifNotNilArg | ifNotNilArg := arguments at: 2. ((self checkBlock: (arguments at: 1) as: 'Nil arg' from: encoder maxArgs: 0) and: [self checkBlock: ifNotNilArg as: 'NotNil arg' from: encoder maxArgs: 1]) ifFalse: [^false]. ifNotNilArg numberOfArguments = 1 ifTrue: [receiver := AssignmentNode new variable: ifNotNilArg firstArgument + value: receiver. + encoder noteSourceRange: (encoder sourceRangeFor: self) forNode: receiver]. - value: receiver]. selector := SelectorNode new key: #ifTrue:ifFalse: code: #macro. receiver := MessageNode new receiver: receiver selector: #== arguments: (Array with: NodeNil) precedence: 2 from: encoder. + encoder noteSourceRange: (encoder sourceRangeFor: self) forNode: receiver. arguments do: [:arg| arg noteOptimizedIn: self]. ^true! Item was changed: ----- Method: MessageNode>>transformIfNotNilIfNil: (in category 'macro transformations') ----- transformIfNotNilIfNil: encoder "vb: Changed to support one-argument ifNotNil: branch. In the 1-arg case we transform the receiver to (var := receiver) which is further transformed to (var := receiver) == nil ifTrue: .... ifFalse: ... This does not allow the block variable to shadow an existing temp, but it's no different from how to:do: is done." | ifNotNilArg | ifNotNilArg := arguments at: 1. ((self checkBlock: ifNotNilArg as: 'NotNil arg' from: encoder maxArgs: 1) and: [self checkBlock: (arguments at: 2) as: 'Nil arg' from: encoder maxArgs: 0]) ifFalse: [^false]. ifNotNilArg numberOfArguments = 1 ifTrue: [receiver := AssignmentNode new variable: ifNotNilArg firstArgument + value: receiver. + encoder noteSourceRange: (encoder sourceRangeFor: self) forNode: receiver]. - value: receiver]. selector := SelectorNode new key: #ifTrue:ifFalse: code: #macro. receiver := MessageNode new receiver: receiver selector: #== arguments: (Array with: NodeNil) precedence: 2 from: encoder. + encoder noteSourceRange: (encoder sourceRangeFor: self) forNode: receiver. arguments swap: 1 with: 2. arguments do: [:arg| arg noteOptimizedIn: self]. ^true!

1 0

Dynabook and project-based pedagogy
by Hilaire 23 Aug '18

23 Aug '18

Hi, A few notes on how they could be related, http://blog.drgeo.eu/post/2018/Project-based-learning In these notes, the Dynabook implications could be much more elaborated. Any ideas to share? Hilaire -- Dr. Geo http://drgeo.eu

1 0

The Trunk: Kernel-eem.1188.mcz
by commits＠source.squeak.org 23 Aug '18

23 Aug '18

Eliot Miranda uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-eem.1188.mcz ==================== Summary ==================== Name: Kernel-eem.1188 Author: eem Time: 22 August 2018, 3:07:49.600876 pm UUID: ecaf5086-5596-4e43-a9f6-82207e9f99d0 Ancestors: Kernel-eem.1187 Use tuples to create the Arrays in a few places. The bytecode is more compact as well as being quicker. =============== Diff against Kernel-eem.1187 =============== Item was changed: ----- Method: InstructionStream class>>initialize (in category 'class initialization') ----- initialize + "Initialize an array of special constants returned by single-bytecode returns + in the SqueakV3 bytecode set." - "Initialize an array of special constants returned by single-bytecode returns." + SpecialConstants := {true. false. nil. -1. 0. 1. 2} - SpecialConstants := - (Array with: true with: false with: nil) - , (Array with: -1 with: 0 with: 1 with: 2) "InstructionStream initialize." ! Item was changed: ----- Method: Object>>perform: (in category 'message handling') ----- perform: aSymbol "Send the unary selector, aSymbol, to the receiver. Fail if the number of arguments expected by the selector is not zero. Primitive. Optional. See Object documentation whatIsAPrimitive." <primitive: 83> + ^ self perform: aSymbol withArguments: {}! - ^ self perform: aSymbol withArguments: (Array new: 0)! Item was changed: ----- Method: Object>>perform:with: (in category 'message handling') ----- perform: aSymbol with: anObject "Send the selector, aSymbol, to the receiver with anObject as its argument. Fail if the number of arguments expected by the selector is not one. Primitive. Optional. See Object documentation whatIsAPrimitive." <primitive: 83> + ^ self perform: aSymbol withArguments: { anObject }! - ^ self perform: aSymbol withArguments: (Array with: anObject)! Item was changed: ----- Method: Object>>perform:with:with: (in category 'message handling') ----- perform: aSymbol with: firstObject with: secondObject "Send the selector, aSymbol, to the receiver with the given arguments. Fail if the number of arguments expected by the selector is not two. Primitive. Optional. See Object documentation whatIsAPrimitive." <primitive: 83> + ^ self perform: aSymbol withArguments: { firstObject. secondObject }! - ^ self perform: aSymbol withArguments: (Array with: firstObject with: secondObject)! Item was changed: ----- Method: Object>>perform:with:with:with: (in category 'message handling') ----- perform: aSymbol with: firstObject with: secondObject with: thirdObject "Send the selector, aSymbol, to the receiver with the given arguments. Fail if the number of arguments expected by the selector is not three. Primitive. Optional. See Object documentation whatIsAPrimitive." <primitive: 83> + ^ self perform: aSymbol withArguments: { firstObject. secondObject. thirdObject }! - ^ self perform: aSymbol - withArguments: (Array with: firstObject with: secondObject with: thirdObject)! Item was changed: ----- Method: Object>>perform:with:with:with:with: (in category 'message handling') ----- perform: aSymbol with: firstObject with: secondObject with: thirdObject with: fourthObject "Send the selector, aSymbol, to the receiver with the given arguments. Fail if the number of arguments expected by the selector is not four. Primitive. Optional. See Object documentation whatIsAPrimitive." <primitive: 83> + ^ self perform: aSymbol withArguments: { firstObject. secondObject. thirdObject. fourthObject }! - ^ self perform: aSymbol - withArguments: (Array with: firstObject with: secondObject with: thirdObject with: fourthObject)! Item was changed: ----- Method: Object>>perform:with:with:with:with:with: (in category 'message handling') ----- perform: aSymbol with: firstObject with: secondObject with: thirdObject with: fourthObject with: fifthObject "Send the selector, aSymbol, to the receiver with the given arguments. Fail if the number of arguments expected by the selector is not five. Primitive. Optional. See Object documentation whatIsAPrimitive." <primitive: 83> + ^ self perform: aSymbol withArguments: { firstObject. secondObject. thirdObject. fourthObject. fifthObject }! - ^ self perform: aSymbol - withArguments: (Array with: firstObject with: secondObject with: thirdObject with: fourthObject with: fifthObject)!

2 1

Re: [squeak-dev] [Pharo-users] RDF
by H. Hirzel 22 Aug '18

22 Aug '18

On 8/22/18, Torsten Bergmann <astares(a)gmx.de> wrote: > I remember an old discussion on RDF and Pharo: > http://forum.world.st/RDF-Framework-and-Pharo-td3526849.html > > > Just as an info and for the records: > > Now Christian Haider released [RDF] - an RDF/XML implementation in > VisualWorks Smalltalk > > https://wiki.pdftalk.de/doku.php?id=rdf > > License is MIT. Maybe someone is interested in a port to Pharo and/or > Squeak/Cuis. > >

1 0

The Trunk: System-eem.1040.mcz
by commits＠source.squeak.org 22 Aug '18

22 Aug '18

Eliot Miranda uploaded a new version of System to project The Trunk: http://source.squeak.org/trunk/System-eem.1040.mcz ==================== Summary ==================== Name: System-eem.1040 Author: eem Time: 21 August 2018, 4:24:32.752185 pm UUID: 3faa888d-fcee-4714-99a0-7f1e72a82022 Ancestors: System-fn.1039 Auto-select for browseAllCallsOn:and: =============== Diff against System-fn.1039 =============== Item was changed: ----- Method: SystemNavigation>>browseAllCallsOn:and: (in category 'browse') ----- browseAllCallsOn: literal1 and: literal2 "Create and schedule a message browser on each method that calls on the two Symbols, literal1 and literal2." "self default browseAllCallsOn: #at: and: #at:put:." + | both autoSelect | + both := { literal1. literal2}. + autoSelect := both + detect: [:ea| ea isSymbol] + ifNone: [(both + detect: [:ea| ea isVariableBinding and: [ea key isSymbol]] + ifNone: []) ifNotNil: [:vb| vb key]]. - ^self browseMessageList: [ self allCallsOn: literal1 and: literal2 ] + name: literal1 printString , ' -and- ' , literal2 printString + autoSelect: autoSelect! - name: literal1 printString , ' -and- ' , literal2 printString!

1 0

← Newer
1
2
3
4
5
6
7
8
9
Older →