- Pharo-dev - lists.pharo.org

This week (25/2023) on the Pharo Issue Tracker
by Marcus Denker June 23, 2023

June 23, 2023

# Misc / Fixes - 14089-problem-showing-dock-icon-for-some-compiler-warnings-eg-name-aready-defined #14090 https://github.com/pharo-project/pharo/pull/14090 - Updated version of graph algos to use the latest one #14103 https://github.com/pharo-project/pharo/pull/14103 - Fix package file out #14076 https://github.com/pharo-project/pharo/pull/14076 - 14061-SequenceableCollectiongroupByRuns-should-be-packaged-in-Collections #14075 https://github.com/pharo-project/pharo/pull/14075 - adding-perm-space-statistics #14052 https://github.com/pharo-project/pharo/pull/14052 - Move Margin from Kernel to Graphics #14044 https://github.com/pharo-project/pharo/pull/14044 - Simplify #doBrowseImplementors and #doBrowseSenders #1411 https://github.com/pharo-spec/Spec/pull/1411 - [P12] Fix DNU when recompiling block with dead home #552 https://github.com/pharo-spec/NewTools/pull/552 - Trivial dead code cleanup #550 https://github.com/pharo-spec/NewTools/pull/550 # ClassBuilder / Fluid Class Definitions - reduce the usage of the non-fluid class definiton methods #14058 https://github.com/pharo-project/pharo/pull/14058 - another simplification of class builder users: Traits #14079 https://github.com/pharo-project/pharo/pull/14079 - Fix trait definition in Calypso when fluid is enabled #14088 https://github.com/pharo-project/pharo/pull/14088 - Non-Fluid class creation: use class builder, last batch #14099 https://github.com/pharo-project/pharo/pull/14099 - ClassInstaller: improve #update:to: to do the #fillFor: #14095 https://github.com/pharo-project/pharo/pull/14095 - ClassBuilder: reduce the need of #asSlotCollection and #asTraitComposition #14074 https://github.com/pharo-project/pharo/pull/14074 - ClassBuilder users: Do not set 'Unclassified' category/package explicitly #14066 https://github.com/pharo-project/pharo/pull/14066 - Fix class parser for non-fluid nil subclass definitions #14054 https://github.com/pharo-project/pharo/pull/14054 # Protocols / Categories - Update MethodAddition to use #protocol #14050 https://github.com/pharo-project/pharo/pull/14050 - Remove hardcoded 'as yet unclassified' #14085 https://github.com/pharo-project/pharo/pull/14085 - Remove ClyMethodTagsEditorMorph #14083 https://github.com/pharo-project/pharo/pull/14083 - Deprecate CompiledMethod>>#tags #14078 https://github.com/pharo-project/pharo/pull/14078 - Simplify ClyMethodEditorToolMorph #14069 https://github.com/pharo-project/pharo/pull/14069 - Deprecate CompiledMethod>>untagFrom: #14060 https://github.com/pharo-project/pharo/pull/14060 - Deprecated CompiledMethod>>tagWith: #14049 https://github.com/pharo-project/pharo/pull/14049 - Deprecated CompiledMethod>>category #14047 https://github.com/pharo-project/pharo/pull/14047 # RPackage Cleanup: Monticello - Merge MCWorkingCopy and MCPackageManager #14041 https://github.com/pharo-project/pharo/pull/14041 - Simplify MCWorkingCopy management #14040 https://github.com/pharo-project/pharo/pull/14040 - Remove some Monticello GUI #14059 https://github.com/pharo-project/pharo/pull/14059 - Decouple Monticello and RPackage on package removal #14072 https://github.com/pharo-project/pharo/pull/14072 - Finish Monticello decoupling in RPackage #14077 https://github.com/pharo-project/pharo/pull/14077 - Extract Monticello from package renmaing #14065 https://github.com/pharo-project/pharo/pull/14065 - Move WorkingCopy creation to Monticello #14036 https://github.com/pharo-project/pharo/pull/14036 - Move Monticello diffs to its own package #14067 https://github.com/pharo-project/pharo/pull/14067 - Remove double initialization of MCWorkingCopy #14064 https://github.com/pharo-project/pharo/pull/14064 - Iteration on package tag announcements #14081 https://github.com/pharo-project/pharo/pull/14081 # RPackage cleanup: Epicea (Source logging) - Epicea: Fix application of package addition and cleanup EpPackageAddition #1410 https://github.com/pharo-project/pharo/pull/14101 - Epicea: Add test on PackageAddition event #14092 https://github.com/pharo-project/pharo/pull/14092 - Epicea: Clean package addition and fix bugs #14087 https://github.com/pharo-project/pharo/pull/14087 # Compiler: Variables - rename ReservedVariable to PseudoVariable #14071 https://github.com/pharo-project/pharo/pull/14071 - PseudoVariable: add deprecations / cleanups #14082 https://github.com/pharo-project/pharo/pull/14082 - 14039-P12-RBVariableisDefinition-does-not-return-true-when-it-should #14051 https://github.com/pharo-project/pharo/pull/14051 # Refactoring Engine - Cleanup: change method name refactoring #14097 https://github.com/pharo-project/pharo/pull/14097 - Refactor: Add "(T)" prefix to Find and Replace transformation #14091 https://github.com/pharo-project/pharo/pull/14091 - Enh/refact pass on preconditions #14048 https://github.com/pharo-project/pharo/pull/14048

1 0

Fwd: [Pharo-users] Kind reminder: Survey on the usage of the system browser
by Marcus Denker June 21, 2023

June 21, 2023

> Begin forwarded message: > > From: Koen De Hondt <koen(a)all-objects-all-the-time.st> > Subject: [Pharo-users] Kind reminder: Survey on the usage of the system browser > Date: 20 June 2023 at 12:08:00 CEST > To: pharo-users(a)lists.pharo.org > Reply-To: Any question about pharo is welcome <pharo-users(a)lists.pharo.org> > > Hi Pharo users, > > A few weeks ago I sent the invitation below. I have received 45 responses. A big thanks to all who have taken the survey! > > If you have not taken the survey yet, I invite you again to do so. It will make the survey results better, and it will make the ESUG presentation better. > > Thank you! > > Best regards, > Koen > >> Begin forwarded message: >> >> From: Koen De Hondt <koen(a)all-objects-all-the-time.st> >> Subject: [Pharo-users] Survey on the usage of the system browser >> Date: 31 May 2023 at 08:15:01 CEST >> To: pharo-users(a)lists.pharo.org >> Reply-To: Any question about pharo is welcome <pharo-users(a)lists.pharo.org> >> >> Dear Pharo users, >> >> I have submitted a proposal for a presentation at ESUGâ23. Part of the presentation will report on the results of a survey about the usage of the Pharo system browser. I need your help to produce the results ð. Therefore I invite you to take the survey at https://forms.gle/cBYs7DRwZvAVAyQb9. It is not too long, and totally anonymous. Your feedback is very much appreciated! >> >> Thanks in advance. >> >> Kind regards, >> Koen >> >> PS: Maybe you wonder who this new kid on the block is. Actually, it is an old kid on the block. ð See https://all-objects-all-the-time.st <https://all-objects-all-the-time.st/> >> >

2 1

Help Pharo by tagging your pharo projects on GH
by stephane ducasse June 20, 2023

June 20, 2023

Hi guys We would like to make sure that the numbers given in the following page https://github.com/topics/pharo reflects a bit better the numbers of projects in Github. So could you tag your pharo projects on github with the Pharo tag? Thanks in advance. S

1 0

This week (24/2023) on the Pharo Issue Tracker
by Marcus Denker June 16, 2023

June 16, 2023

This week (24/2023) on the Pharo Issue Tracker # Fixes - compilationContext is lazily initialise so the acessor should be used #13964 https://github.com/pharo-project/pharo/pull/13964 - [DrTest] removing a trace from within the presenter. #13997 https://github.com/pharo-project/pharo/pull/13997 - Handle single-sized collection in stdev method. #13999 https://github.com/pharo-project/pharo/pull/13999 - Modified the UUID class to use a primitive and added parsing options #13965 https://github.com/pharo-project/pharo/pull/13965 - move the extension methods of Spec to the class SHRBTextStyler #14011 https://github.com/pharo-project/pharo/pull/14011 - Update BaselineOfPharo.class.st with new Roassal Version #13995 https://github.com/pharo-project/pharo/pull/13995 - Add values and valuesDo: methods to FinalizationRegistry #14005 https://github.com/pharo-project/pharo/pull/14005 - 13387-Find-and-replace-dialog-close-gives-failure-when-Playground-is-already-closed #14031 https://github.com/pharo-project/pharo/pull/14031 - Fluid: show empty slots on the class side, too #14028 https://github.com/pharo-project/pharo/pull/14028 - Fix finder selection #14042 https://github.com/pharo-project/pharo/pull/14042 # UI / Scaling - Make initial extent of StSpotter and StInspector take the display scale factor into account #546 https://github.com/pharo-spec/NewTools/pull/546 - Make #extent in SpToolbarDisplayMode hierarchy take the display scale factor into account #1409 https://github.com/pharo-spec/Spec/pull/1409 - Make width constants in RubTextSegmentIconDisplayer take the display scale factor into account #13954 https://github.com/pharo-project/pharo/pull/13954 - Rework UITheme tree forms for better display scaling support #13987 https://github.com/pharo-project/pharo/pull/13987 - Make WorldState and ProfStef take the display scale factor into account for the world menu items with the #pharo icon #14023 https://github.com/pharo-project/pharo/pull/14023 - Make HaloMorph>>#handleSize take the display scale factor into account #14020 https://github.com/pharo-project/pharo/pull/14020 - Change colors of the âgrabâ and ârotateâ halo morph handles for better contrast with their icons #14021 https://github.com/pharo-project/pharo/pull/14021 - Fix #menuBorderWidth display scaling #14022 https://github.com/pharo-project/pharo/pull/14022 # RPackage - Rename packages announcements #13970 https://github.com/pharo-project/pharo/pull/13970 - Remove announcement registration doing nothing #14019 https://github.com/pharo-project/pharo/pull/14019 - Improve RPackageOrganizer>>ensureExistAndRegisterPackageNamed: #14018 https://github.com/pharo-project/pharo/pull/14018 - Remove RPackageOrganizer package name cache #14026 https://github.com/pharo-project/pharo/pull/14026 - Reduce Monticello coupling in RPackage #14025 https://github.com/pharo-project/pharo/pull/14025 # Protocols / Categories - Ensure renaming of protocol announce the changes #13494 https://github.com/pharo-project/pharo/pull/13494 - Update the way we deal with protocols from other classes #13967 https://github.com/pharo-project/pharo/pull/13967 - Use more protocol object in RPackage #13768 https://github.com/pharo-project/pharo/pull/13768 - CompiledMethod>>protocol should return a protocol #13951 https://github.com/pharo-project/pharo/pull/13951 - Update some CompiledMethod>>#category senders #14035 https://github.com/pharo-project/pharo/pull/14035 # Refactorig Engine - Refactor: Move methods to class that only uses them #13956 https://github.com/pharo-project/pharo/pull/13956 - 13957--RBRefactoringonErrordo--should-accept-both-0-and-1-arg-block #13959 https://github.com/pharo-project/pharo/pull/13959 - fix 13903 RBReplaceMessageSendTransformation #13955 https://github.com/pharo-project/pharo/pull/13955 - Refact/clean #13960 https://github.com/pharo-project/pharo/pull/13960 - 13972 create a separate data for tests for rb1 and rb2 #13973 https://github.com/pharo-project/pharo/pull/13973 - Emh/merge t set up into class #13977 https://github.com/pharo-project/pharo/pull/13977 - Emh/failure in selector #13979 https://github.com/pharo-project/pharo/pull/13979 - Removing RBDummyCLass and subclasses - all tests green #13980 https://github.com/pharo-project/pharo/pull/13980 - removing spurious class compilation and logging in Epicea in RBRefactâ¦ #13992 https://github.com/pharo-project/pharo/pull/13992 - Clean redundant preconditions by defining a common supercase. #14006 https://github.com/pharo-project/pharo/pull/14006 - first fix some release test and may be a test is readded by the tests #14013 https://github.com/pharo-project/pharo/pull/14013 - adding comments, better tests #14037 https://github.com/pharo-project/pharo/pull/14037 # Bootstrap - Move Color startup registration #13929 https://github.com/pharo-project/pharo/pull/13929 # Tests - 13942-TraitCompositionTesttestAliasCompositions--passes-but-for-the-wrong-reason #13961 https://github.com/pharo-project/pharo/pull/13961 - Simplify Metacello testing #13996 https://github.com/pharo-project/pharo/pull/13996 - MetacelloPharoCommonPlatform>>#suspendSystemUpdateEventsDuring: should use #suspendAllWhile: #14009 https://github.com/pharo-project/pharo/pull/14009 - Fix broken release tests + improve a test #14015 https://github.com/pharo-project/pharo/pull/14015 - Clean manifest builder test and cut dependency to Monticello #14012 https://github.com/pharo-project/pharo/pull/14012 - Do not poluate Monticello cache in tests #14046 https://github.com/pharo-project/pharo/pull/14046 # Cleanup: selectors send but not implemented - add more #ignoreNotImplementedSelectors: tags #14007 https://github.com/pharo-project/pharo/pull/14007 - 13988-two-senders-of-finalizeValues-in-WeakKeyDictionaryTest-class #14003 https://github.com/pharo-project/pharo/pull/14003 - tag-more-ignoreNotImplementedSelectors-06-12 #14004 https://github.com/pharo-project/pharo/pull/14004 - ReSendsUnknownMessageToGlobalRule and #ignoreNotImplementedSelectors: #13963 https://github.com/pharo-project/pharo/pull/13963 - Tag-ignoreNotImplementedSelectors-06-09 #13962 https://github.com/pharo-project/pharo/pull/13962 - Cleanup CDNode Hierarchy: #acceptVisitor: #14032 https://github.com/pharo-project/pharo/pull/14032 - add more #ignoreNotImplementedSelectors: #548 https://github.com/pharo-spec/NewTools/pull/548 # Cleanups - Renamed method StInspectorTransmissionNode>>#transmissionBlock: #547 https://github.com/pharo-spec/NewTools/pull/547 - SHRBTextStyler-simplify-stylehandling #14027 https://github.com/pharo-project/pharo/pull/14027 - fix and move SHRBTextStyler #1413 https://github.com/pharo-spec/Spec/pull/1413 - Remove some unecessary packages #14029 https://github.com/pharo-project/pharo/pull/14029 - Remove empty packages #13969 https://github.com/pharo-project/pharo/pull/13969 - Remove unloaded deprecated packages #14043 https://github.com/pharo-project/pharo/pull/14043

1 0

This week (23/2023) on the Pharo Issue Tracker
by Marcus Denker June 9, 2023

June 9, 2023

ClassOrganization is finally inlined into ClassDescription. Image size is now (with welcome window) below 53MB. We continued to improve the read of pseudo variables in the debugger, read about it here: - Improving reading self in the Debugger for Clean Blocks https://blog.marcusdenker.de/improving-reading-self-in-the-debugger-for-cle… - Reflective read of SuperVariable (and what is âsuperâ anyway?) https://blog.marcusdenker.de/reflective-read-of-supervariable-and-what-is-s… # Features - Add benchmark comparison #13923 https://github.com/pharo-project/pharo/pull/13923 - Show completion details setting #13917 https://github.com/pharo-project/pharo/pull/13917 - Fix Dr Tests Code Coverage: support #ignoreForCoverage Pragma #13915 https://github.com/pharo-project/pharo/pull/13915 - Enable-Fluid-Skip-Tests #13918 https://github.com/pharo-project/pharo/pull/13918 # Fixes - [Pharo12] Error Fueling out SpStyleEnvironmentColorProxyTest instances #1400 https://github.com/pharo-spec/Spec/pull/1400 - fix: exception when opening Spec demo "Object inspector" notebook #1402 https://github.com/pharo-spec/Spec/pull/1402 - Fix-CleanBlocks-StInspectorSelfNode #542 https://github.com/pharo-spec/NewTools/pull/542 - Fix doubleClick on tab and on text selection. #13906 https://github.com/pharo-project/pharo/pull/13906 - ReGlobalVariablesUsageRule should ignore the aliases of deprecated classes #13948 https://github.com/pharo-project/pharo/pull/13948 - Fix missing Finder method #13888 https://github.com/pharo-project/pharo/pull/13888 - ReSelfSentNotImplementedRule and #ignoreNotImplementedSelectors: #13946 https://github.com/pharo-project/pharo/pull/13946 # Variables / Compiler - 3839-New-slot-is-not-initialized-for-an-existing-instance #13950 https://github.com/pharo-project/pharo/pull/13950 - 13938-Changing-a-class-side-Slot-to-a-WriteOnceSlot-renders-a-NonBooleanReceiver-proceed-for-truth #13949 https://github.com/pharo-project/pharo/pull/13949 - Simplify IconStyler variable visiting #13898 https://github.com/pharo-project/pharo/pull/13898 - remove-isReservedVariable-check-from-ReCollectionMessagesToExternalObjectRule #13897 https://github.com/pharo-project/pharo/pull/13897 - Fix reading "super" reflectively: same as reading self #13878 https://github.com/pharo-project/pharo/pull/13878 - Some simple cleanups (lookupVar: category, #home use ifNotNil...) #13882 https://github.com/pharo-project/pharo/pull/13882 - Small compiler API useage fix in StDebuggerActionModel #539 https://github.com/pharo-spec/NewTools/pull/539 - StDebuggerTestFailureContextPredicate #printDescription can use #tempNamed: #537 https://github.com/pharo-spec/NewTools/pull/537 # Protocol / ClassOrganization - Update usage of protocols #1407 https://github.com/pharo-spec/Spec/pull/1407 - Inline ClassOrganization #13861 https://github.com/pharo-project/pharo/pull/13861 - Update more users of #protocol #13936 https://github.com/pharo-project/pharo/pull/13936 - Introduce CompiledMethod>>protocolName and start to use it #13881 https://github.com/pharo-project/pharo/pull/13881 - Deprecate ClassDescription>>#addMethodTag: #13880 https://github.com/pharo-project/pharo/pull/13880 - Use better protocol API #545 https://github.com/pharo-spec/NewTools/pull/545 # RPackage - Some cleanings in RPackage related to protocols #13885 https://github.com/pharo-project/pharo/pull/13885 - Simplify check of category in RPackage #13899 https://github.com/pharo-project/pharo/pull/13899 # Reflectivity - Moved Metalevel management to its own package #13876 https://github.com/pharo-project/pharo/pull/13876 - Reflectivity: thisProcess and remove #rfactiveProcess and #rfeffectiveProcess #13883 https://github.com/pharo-project/pharo/pull/13883 # Refactoring - Refactor: Move methods to class that only uses them #13956 https://github.com/pharo-project/pharo/pull/13956 - Fixes #13908: isTransformation and remove duplicated code for now. #13924 https://github.com/pharo-project/pharo/pull/13924 # Tests / CI - Ensure all tests are loaded #13944 https://github.com/pharo-project/pharo/pull/13944 - Bring back coverage test #13941 https://github.com/pharo-project/pharo/pull/13941 - Remove some leftover packages after tests #13930 https://github.com/pharo-project/pharo/pull/13930 - Fix last inconsistancy in Fluid tests package generation #13926 https://github.com/pharo-project/pharo/pull/13926 - Clean fluid class builder tests #13896 https://github.com/pharo-project/pharo/pull/13896 # Git / Iceberg - openWithSpec -> open #1704 https://github.com/pharo-vcs/iceberg/pull/1704 - Cleanup-DeadCode-MCDefinition #1703 https://github.com/pharo-vcs/iceberg/pull/1703 - remove methods that are the same in the superclass #1702 https://github.com/pharo-vcs/iceberg/pull/1702 - theirVersionOn: has no senders but does send non-existing selectors.â¦ #1701 https://github.com/pharo-vcs/iceberg/pull/1701 # Cleanup - Cleanup-debuggerColor #540 https://github.com/pharo-spec/NewTools/pull/540 - Clean OSWorldRender>>#doActivate #13875 https://github.com/pharo-project/pharo/pull/13875 - clean conditionals #13822 https://github.com/pharo-project/pharo/pull/13822 - Use new class deprecation when possible #13872 https://github.com/pharo-project/pharo/pull/13872 - The decompiler had an extension method on the encoder but the method â¦ #13891 https://github.com/pharo-project/pharo/pull/13891 - Split Finder package between model and UI #13900 https://github.com/pharo-project/pharo/pull/13900 - Introduce strategy design pattern in Finder model #13879 https://github.com/pharo-project/pharo/pull/13879 - 11476-TestAsserter--shouldnt-raise-whoseDescriptionIncludes-description-is-sending-an-unimplemented-messsage #13912 https://github.com/pharo-project/pharo/pull/13912 - tag some tests with #ignoreNotImplementedSelectors: pragma #13914 https://github.com/pharo-project/pharo/pull/13914 - remove two methods duplicated in the hierarchy #13916 https://github.com/pharo-project/pharo/pull/13916 - Reduce references to Smalltalk #13919 https://github.com/pharo-project/pharo/pull/13919 - Fix some typos in the docs #13793 https://github.com/pharo-project/pharo/pull/13793 - Cut dependency of Collection-Strings over SessionManager #13858 https://github.com/pharo-project/pharo/pull/13858 - Deprecate SHRBTextStyler>>#format: #13927 https://github.com/pharo-project/pharo/pull/13927 - Cleanup: VariableNotDeclaredTest and some #ignoreNotImplementedSelectors: #13940 https://github.com/pharo-project/pharo/pull/13940 - Cleanup: methods duplicated in the hierarchy / tag selectors #13933 https://github.com/pharo-project/pharo/pull/13933 - Remove some leftover packages #13931 https://github.com/pharo-project/pharo/pull/13931 - Clean #dependentClasses #13928 https://github.com/pharo-project/pharo/pull/13928 - Remove font logic from Shout since it is all dead code #12950 https://github.com/pharo-project/pharo/pull/12950 - tag some tests methods #ignoreNotImplementedSelectors:: #544 https://github.com/pharo-spec/NewTools/pull/544

1 0

Reflectively reading "super"
by Marcus Denker June 2, 2023

June 2, 2023

After we improved how thisContext and self is read reflectively, we should look at âsuperâ. Super is always interesting, as , at first, you think that it is some magic object âself but with the class of the superclassâ, or something? Like a âperspective" on that object? But it is much more trivial than that, and we can see that when we look at SuperVariable. This is one nice aspect of reflective implementations: you can just look at the code to understand... So we know that in Pharo âsuperâ is not some hard-coded magic, but just a Variable, with an implementation in class SuperVariable. The Compiler delegates code generation to that object, and after [PR #13812] https://github.com/pharo-project/pharo/pull/13812, reading super in the debugger is using #readInContext: like temporary variables do. So letâs see what super does regarding code generation. ``` SuperVariable>>#emitValue: "super references the receiver, send that follows is a super send (the message lookup starts in the superclass, see OCASTTranslator>>#emitMessageNode:)" methodBuilder pushReceiver ``` Who calls this? is is the OCASTTranslator, the visitor that takes a name-analyzed AST, visits that an calls methods on IRBuilder to create byte-code: ``` visitVariableNode: aVariableNode "Invalid variable should fail" aVariableNode variable isInvalidVariable ifTrue: [ ^ self emitRuntimeError: aVariableNode ]. "Because we are producing a CompiledMethod, register undeclared variables to `Undeclared`" aVariableNode variable isUndeclaredVariable ifTrue: [ aVariableNode variable register ]. aVariableNode variable emitValue: methodBuilder ``` So in the end, the OCASTTranslator just delegates code generation to the Variable. The self variable got set in the name analyzer, just like any other variable by looking it up in the current scope: ``` resolveVariableNode: aVariableNode | var | var := (scope lookupVar: aVariableNode name) ifNil: [ self undeclaredVariable: aVariableNode ]. aVariableNode variable: var. ^var `` lookupVar is sent to the current scope, but if the variable is not defined there, it goes to the parent scope until it reaches âSmalltalk gloablsâ, which (in Pharo) knows all the pseudo variables: ``` SystemDictionary>>#lookupVar: name "Return a var with this name. Return nil if none found" ^self reservedVariables at: name ifAbsent: [self bindingOf: name] ``` (we still call these âReservedVariablesâ, but with this scheme they are not reserved at all, they are just variables of the global scope, just like âObjectâ. Shadowing rules apply (thus we can shadow these variables with a DoItVariable, to force reflective read as explained in https://blog.marcusdenker.de/improving-thiscontext-in-the-debugger-using-fi… ) So how comes super sends are different if super is just read the same as self? The magic happens just for sends, as you can see in OCASTTranslator>>#emitMessageNode: ``` emitMessageNode: aMessageNode aMessageNode isCascaded ifFalse: [ self visitNode: aMessageNode receiver]. aMessageNode arguments do: [:each | self visitNode: each]. aMessageNode isSuperSend ifTrue: [methodBuilder send: aMessageNode selector toSuperOf: aMessageNode superOf ] ifFalse: [methodBuilder send: aMessageNode selector] ``` with: ``` RBMessageNode>>#isSuperSend ^ self receiver isSuperVariable ``` So back to reflective read. As super is just self when reading, we need to implement readInContext: the same as in SelfVariable: ``` readInContext: aContext "super in a block is the receiver of the home context For clean blocks it might not be known (nil)" ^aContext home ifNotNil: [:home | home receiver ] ``` PR is here: https://github.com/pharo-project/pharo/pull/13878

1 0

This week (22/2023) on the Pharo Issue Tracker.
by Marcus Denker June 2, 2023

June 2, 2023

ClassOrganization refactoring continues, ClassDescription soon can now be inlined (see https://github.com/pharo-project/pharo/pull/13861) One interesting improvement this week is that we fixed reading the pseudovarible "thisContext" in the debugger. Read about it here: https://blog.marcusdenker.de/improving-thiscontext-in-the-debugger-using-fi… # Pharo 11 - [Pharo11] Error Fueling out SpStyleEnvironmentColorProxyTest instances #1399 https://github.com/pharo-spec/Spec/pull/1399 # Improvement: UI Scaling - Fix System Browser tables scaling #13850 https://github.com/pharo-project/pharo/pull/13850 - Fix System Browser scaling #13848 https://github.com/pharo-project/pharo/pull/13848 - Remove unused UITheme forms and add support for scale 2.0 icons #13767 https://github.com/pharo-project/pharo/pull/13767 - Fix for 13767: Remove unused UITheme forms and add support for scale 2.0 icons #13837 https://github.com/pharo-project/pharo/pull/13837 - Add class variable to control scaling in SpFontStyle #1397 https://github.com/pharo-spec/Spec/pull/1397 # Features - Add stack coloring to the debugger #521 https://github.com/pharo-spec/NewTools/pull/521 - FFI: Add +optAutoReleaseReturnedValue option #13229 https://github.com/pharo-project/pharo/pull/13229 - Fix/13741: Print it behavior changed in Calypso #13832 https://github.com/pharo-project/pharo/pull/13832 - Change the bench method to return a BenchmarkResult instance #13823 https://github.com/pharo-project/pharo/pull/13823 - Add #getTemporaryDirectory to UnixPlatform and WinPlatform #13777 https://github.com/pharo-project/pharo/pull/13777 - Add highlight text color to theme for debugger stack coloring #13693 https://github.com/pharo-project/pharo/pull/13693 # Fixes - 13847-Typing-in-Class-definition-pane-in-Calypso-raises-error-at-each-keystroke #13851 https://github.com/pharo-project/pharo/pull/13851 - Fix/13718: Installing a version of a class method adds an instance method #13827 https://github.com/pharo-project/pharo/pull/13827 - Sprint #13819 from uNouss: delete unneeded tools registry redefinition #13835 https://github.com/pharo-project/pharo/pull/13841 - delete unneeded tools registry redefinition #13819 https://github.com/pharo-project/pharo/pull/13819 - improved TempsReadBeforeWrittenRule #13828 https://github.com/pharo-project/pharo/pull/13828 - Run coverage button is enabled with unselected packages ( Dr Tests ) #13836 https://github.com/pharo-project/pharo/pull/13836 # Variables - Fix bug in slot names #13862 https://github.com/pharo-project/pharo/pull/13862 - Compile 'thisContext' (and all other PseudoVariables) as DoitVariable in DoIts #13812 https://github.com/pharo-project/pharo/pull/13812 - 13591-Clean-Blocks-self-is-nil-on-Debugger #13855 https://github.com/pharo-project/pharo/pull/13855 - First step at class name deprecation #13618 https://github.com/pharo-project/pharo/pull/13618 # Compiler and related - Deprecate Context>>#lookupTempVar: #13838 https://github.com/pharo-project/pharo/pull/13838 - Just a tiny change to use the #compiler on Context in more cases #13874 https://github.com/pharo-project/pharo/pull/13874 - Compiler-canAddBindingOf-Check-Synthezised #13864 https://github.com/pharo-project/pharo/pull/13864 - 13769-Image-hangs-when-copying-a-text-from-Transcript #13840 https://github.com/pharo-project/pharo/pull/13840 - 13797-Monticello-can-not-create-the-class-CompileCode-subclasses #13829 https://github.com/pharo-project/pharo/pull/13829 - Move CompiledMethod>> basicNew: and basicNew to CompiledCode #13826 https://github.com/pharo-project/pharo/pull/13826 # CI / Tests - Enhance logs #13815 https://github.com/pharo-project/pharo/pull/13815 - fix variable names in BlockClosureTest #13859 https://github.com/pharo-project/pharo/pull/13859 - Skip testRatioOfCommentedClasses for now #13852 https://github.com/pharo-project/pharo/pull/13852 - skip: testExample #13853 https://github.com/pharo-project/pharo/pull/13853 # Protocol / ClassOrganization - New try at inlining #extensionProtocols #13842 https://github.com/pharo-project/pharo/pull/13842 - Adding some comments to Protocol #13456 https://github.com/pharo-project/pharo/pull/13456 - Finish to remove #organization from protocol tests #13868 https://github.com/pharo-project/pharo/pull/13868 - Remove some organization references #13863 https://github.com/pharo-project/pharo/pull/13863 - Move extensions of ClassOrganization #13856 https://github.com/pharo-project/pharo/pull/13856 - ClassDescription>>protocols should return protocols #13674 https://github.com/pharo-project/pharo/pull/13674 - Clean #extensionCategoriesForClass: #13854 https://github.com/pharo-project/pharo/pull/13854 - Multiple cleaning of Protocol #13305 https://github.com/pharo-project/pharo/pull/13305 - Mulitple cleanups for ClassOrganization inlining #13845 https://github.com/pharo-project/pharo/pull/13845 - Inline ClassOrganization>>classify:under: #13843 https://github.com/pharo-project/pharo/pull/13843 - Remove last #organization from Spec #1405 https://github.com/pharo-spec/Spec/pull/1405 # Epicea (Code Changes Logger) - Remove Epicea catch all #13866 https://github.com/pharo-project/pharo/pull/13866 - Disable Epicea debug mode in tests #13798 https://github.com/pharo-project/pharo/pull/13798 - Fix bug in Epicea management #13857 https://github.com/pharo-project/pharo/pull/13857 - Fix bug in Epicea #13846 https://github.com/pharo-project/pharo/pull/13846 - Inline ClassOrganization>>#protocolNamed:[ifAbsent:] #13792 https://github.com/pharo-project/pharo/pull/13792 # Cleanup / Refactorings - Fix some deprected sends to #method #535 https://github.com/pharo-spec/NewTools/pull/535 - remove #VariableNotDeclared, the class has been deprecated #536 https://github.com/pharo-spec/NewTools/pull/536 - cleanup SpCodePresenter>>#findClassFromSelection #1398 https://github.com/pharo-spec/Spec/pull/1398 - 1350-SpAbstractMorphicAdapter-should-be-made-abstract #1404 https://github.com/pharo-spec/Spec/pull/1404 - Change Object>>#split: definition as recomended by pharo-project/Pharo#13656 #13824 https://github.com/pharo-project/pharo/pull/13824 - Clean Form magnifying #13820 https://github.com/pharo-project/pharo/pull/13820 - Less subclass: instancevariablenames: .... #13834 https://github.com/pharo-project/pharo/pull/13834 - Enh/refac: Factorize code in refactoring transformation #13873 https://github.com/pharo-project/pharo/pull/13873 - Remove FLPharo11Platform #13844 https://github.com/pharo-project/pharo/pull/13844 - Color: little cleaning and optimization #13833 https://github.com/pharo-project/pharo/pull/13833 - Avoid NewUndeclaredWarning when loading RingChunkImporter #13821 https://github.com/pharo-project/pharo/pull/13821 - Remove unecessary cleanup in Gofer #13860 https://github.com/pharo-project/pharo/pull/13860

1 0

Reading "self" in the Debugger
by Marcus Denker June 1, 2023

June 1, 2023

In the last post, we looked at reading the PseudoVariable thisContext in the Debugger. A summary of that might be: inspecting a variable compiled a DoIt, that DoIt it executed parametrised with the context that you look at in the debugger. As it is, in the end, just another method executing, the byte-code pushThisContext pushes the context of the executing DoIT method, not the context that you look at in the debugger. For "self", this is of course the same. Take Pharo11, add and insect "thisContext method inspect. self" 41 <52> pushThisContext 42 <80> send: method 43 <81> send: inspect 44 <D8> pop 45 <58> returnSelf Thus even "self" is not really concerned with the context you are looking at, it is the "self" of the DoIt. The nice thing is that this is always (in the debugger) the correct object: In the case of blocks, the only time you look at a block in a debugger to read self is if you are in the home method of the block (the method that contains the definition of the block). And as the "self" of a block closure is the "self" of the home context, you get the value you expect. # Self and Clean Blocks It gets interesting if you put clean blocks into the picture. Clean Blocks are blocks that just use information that is available at compile time. The compiler thus can pre-allocate them. For this discussion, we need to know that clean blocks do not have an outer Context, and self of the block is always nil. Clean block support is there, you can enable it and even re-compile the whole image, but there are still some details to be improved before we can enable it. One of that is to fix all the debugger infrastructure to deal with blocks that have no receiver and no home context, this post thus is one tiny step of that work. For this post, we just need to compile one method with clean blocks enabled, we create a class and method to play with (e.g. class TT with method tt): ``` tt <compilerOptions: #(+ optionCleanBlockClosure)> [ 1halt ] value ``` (or instead of the pragma, enable the setting globally with the Settings browser) With just sending a message to 1, the block can be compiled as a clean block. The halt will mean that the debugger opens on the context of the clean block being executed. Let's do that, execute "TT new tt" and we get a debugger: It is interesting to look at the context, if you inspect the context, you see that the receiver is nil. Looking at the block closure, we see that it is indeed a CleanBlockClosure, outerContext is nil (and thus it can not follow the outerContext till it finds the home context). So if we now just write "self" in the block and expect it (we do not save, we just want to explore), it evaluates to "nil": This is of course correct: The debugger looks at the home context of the block, we ask context for "self" and self in a context evaluating a clean block is nil, as the block does not know self. But I am sure you are not happy with that. It feels wrong. The reason is that if you would accept the method (recompile), restart, then self would be "correct" (the instance of TT). This is because the compiler now sees the self, realizes that this block requires a full block and compiles a full block. This is similar to accessing temps in blocks that do not access them. Change the method to have a temp, but one that is not accessed in the block: ``` tt | temp | temp := 1. [ 1halt ] value. ^temp. ``` If you write "temp" into the block and inspect or print it, you get the value of temp: The context of the executing block does not know the variable "temp" at all, it's value is as unknown to it as the self is to the clean block. (This is true both if compiled as a clean block or a full block). So why can we nevertheless read it? The reason: - Looking up the variable by name of course works (after all, the compiler can compile a block that does access it, the compiler uses the same data for variable lookup as the reflective subsystem does) - The reflective read is carefully build to allow reading this variable even from the block context that does not know it (by leveraging the stack of contexts) - We force the compiler to compile all temp variable accesses as reflective accesses in a DoIt So if we can "fake" it for temps (both clean and non-clean blocks), can we do it for "self in a clean block", too? If you think back at the discussion of reading thisContext, we fixed that by forcing reflective read for thisContext, too. And of course the PR that implements it, was done already for all PseudoVariables. This means, reading self should, in Pharo12, already end up executing SelfVariable>>#readInContext:, so let's just put a halt there, trigger a read in the debugger and, indeed: One thing we now see is that reflective read of self is implemented to do exactly the same as "pushSelf", it returns the receiver of the context we look at in the debugger: ``` readInContext: aContext self halt. ^aContext receiver ``` But that is not really correct: in case of a block, it should be the receiver of the *home* context. For all practical purposes (when in the debugger) they are the same, and for Clean Blocks we even know that the home Context is unknown... So how does this help if we would implement it like that: ``` readInContext: aContext ^aContext home receiver ``` The trick is that we can find a home context for clean blocks in some specific cases. Even though we can not get the home of a clean block via it's outer context (as is is nil), we can find the home method if it happens to be on the stack. And in the debugger, we are in exactly that case! So let's try to fix #home for clean blocks. ## The concept of active Home The Debugger already needs to know if the home is currently on the stack. For that, it used a method #activeHome, in Pharo10 this looked like that: activeHome | methodReturnContext | self isBlockContext ifFalse: [^self]. self sender ifNil: [^nil]. methodReturnContext := self methodReturnContext. ^self sender findContextSuchThat: [:ctxt | ctxt = methodReturnContext] #activeHome returns the #home if it is currently on the stack, the debugger uses that to check if a âsave and proceedâ is possible when editing code in a Block. Until Pharo11, it was implemented to search up the sender chain until it finds the #home. But it can be rewritten to do the same, but checking for the #homeMethod and using #findMethodContextSuchThat: activeHome | homeMethod | self isBlockContext ifFalse: [^self]. homeMethod := self homeMethod. ^self findMethodContextSuchThat: [:ctxt | ctxt method == homeMethod] With #homeMethod being implemented to delegate to the bock: Context>>homeMethod "Answer the method in which the receiver was defined, i.e. the context from which an ^-return ] should return from. Note: implemented to not need #home" ^ closureOrNil ifNil: [ self method ] ifNotNil: [ :closure | closure homeMethod ] Where, if no #home via the outerContext is available, it asks the CompiledBlock: BlockClosure>>homeMethod "return the home method. If no #home is available due to no outerContext, use the compiledBlock" ^ (self home ifNotNil: [ :homeContext | homeContext ] ifNil: [ self compiledBlock ]) method Which uses the static #outerCode chain (CompiledBlocks encode a back-pointer to the enclosing block or method), with #method following #outerCode until it reaches a CompiledMethod: CompiledBlock>>method "answer the compiled method that I am installed in, or nil if none.â ^self outerCode method This was already done in Pharo11, 11965-Implement-ContextactiveHome-without-using-home #12063 https://github.com/pharo-project/pharo/pull/12063 But we can now continue and use it to improve #home of Context, you see that it already has a (bad) workaround when the outerContext is nil: ``` home "Answer the context in which the receiver was defined, i.e. the context from which an ^-return ] should return from." closureOrNil ifNil: [ ^ self ]. "this happens for clean blocks. We should later check if it is not better to return nil" closureOrNil outerContext ifNil: [ ^ self ]. ^ closureOrNil outerContext home ``` returning self when the outerContext is nil (when we are in a clean block) is only correct for the home context of a clean block. We can do better, and use #activeHome and search for it on the stack (with the added bonus to correctly return nil if we do not find it). ``` home "Answer the context in which the receiver was defined, i.e. the context from which an ^-return ] should return from." closureOrNil ifNil: [ ^ self ]. "no outerContext for clean blocks, we try to find it on the stack" ^ closureOrNil outerContext ifNil: [ self activeHome ] ifNotNil: [:outer | outer home ] ``` And it works! I am not sure if falling back to #activeHome in #home is really the best (maybe explicitly handling the nil and do the fallback to activeHome at the side of the caller is less magic), but we can change that easily later if it turns out the be better. Another thing to look at is the inspector of the debugger showing self as nil (first line, the implicit self), but his is for another time. Marcus

1 2

Talk next wednesday
by stephane ducasse May 27, 2023

May 27, 2023

Hello I will give a presentation with discussion via the UK smalltalk online gathering next wednesday. https://www.meetup.com/ukstug/events/293473947/ MeetupStephane Ducasse - Pharo: a vision implemented step by step, Wed, M...For our May presentation, Stephane Ducasse will present the vision behind Pharo and how that is been implemented incrementally across multiple releases. In Stef's words: " For our May presentation, Stephane Ducasse will present the vision behind Pharo and how that is been implemented incrementally across multiple releases. In Stef's words: "The vision of Pharo is based on three pillars: â¢ First we want to make sure that Pharo is used to develop complex and robust systems (by complex we means multiple millions lines of code or objects). â¢ Second we want Pharo to be a modular system that can be versatile (Pharo on iot, on large servers, in the web browserâ¦.) â¢ Third Pharo should be an evolvable system that can adapt to new needs (modular tools, first class slot, new debuggers, packagesâ¦). Stef

1 0

About thisContext in the Debugger
by Marcus Denker May 26, 2023

May 26, 2023

# Improving thisContext in the Debugger using First Class Variables Have you ever tried to inspect a thisContext variable in the debugger? Just interrupt Pharo by "CMD-.", the debugger appears with the main UI loop waiting on a Semaphore ""[delaySemaphore wait] in Delay>>wait". So if I now write "thisContext" in that block (without saving, I just want to explore), I naively expect this to be the context we are in right now. The debugger even shows that below in the inspector (as "implicit thisContext"). But if I inspect it, I get something completely different (try it, here is a picture): ## So what happened?! When you execute code in the debugger (via e.g. doIt, inspectIt or printIt), we give the code to the compiler to compile a DoIt method and then execute this DoIt method. With thisContext being a very special PseudoVariable that always just leads to emitting the pushThisContext byte-code, hard-coded (thisContext, self and super are for are for this reason on the "Syntax" Postcard for ST80). You can see that by inspecting a method of a DoIt that accesses "thisContext", just inspect "thisContext method" and look at the byte-code: ``` 33 <52> pushThisContext 34 <80> send: method 35 <5C> returnTop ``` And as we execute the DoIt method, the pushThisContext byte-code pushes the context of the method we are executing, which is the DoIt method, not the method you are looking at in the debugger. ## Can we do better: First Class Variables to the rescue In Pharo, all Variables are modelled via a subclass of Variable. This includes the Pseudo Variables, the Variable subclass for 'thisContext' is ThisContextVariable. names are never hard-coded, instead name-analysis looks up the name in a scope (the block or method that the variable is accessed in) and lookup goes to the outerScope until it reaches the global scope. There is of course a reflective API, too. You can send #lookupVar: to any scope or the context, and the system will return the Variable of that name. For example ``` thisContext lookupVar: #self. SmalltalkImage lookupVar: #CompilerClass. Smalltalk globals lookupVar: #Object. ``` These are meta-objects describing Variables. As such, the API contains methods to allow the variable to set or return it's value. Depending on the Variable, they need some object the read themselves from. Globals of course can just answer to #read, Slots have #read: to read from an Object. But all can read from a context using #readInContext:. (Smalltalk globals lookupVar: #Object) readInContext: thisContext. Of course, the readInContext: method just uses the other reflective read method after getting the value from the context if needed, e.g. Slots: ``` readInContext: aContext ^self read: aContext receiver ``` or ThisContextVariable: ``` readInContext: aContext ^aContext ``` This idea to have meta-object for Variables that provide a reflective API is very powerful, we use it in all tools: The inspector reads the values of the instance variables (and thus does not need to send a message like #instVarAt:, nice when you inspect proxies), the Debugger uses this to read temps, for example in DoIts. To read temps in the debugger that the programmer writes in the code, we have to support even the reading of temps that are actually not accessible in a block. For this, when we compile code to be executed as a DoIt against a Context (like in the debugger), we use a special scope to lookup variables, the OCContextualDoItSemanticScope. It has a special version of lookupVar: ``` OCContextualDoItSemanticScope>>#lookupVar: name (targetContext lookupVar: name) ifNotNil: [ :v | ^self importVariable: v]. ^super lookupVar: name importVariable: aVariable ^importedVariables at: aVariable name ifAbsentPut: [ aVariable asDoItVariableFrom: targetContext ] ``` Thus, it will wrap all variables that you look up in DoItVariable using asDoItVariableFrom:, which for now is implemented for temps (the others just return self): ``` asDoItVariableFrom: aContext ^ DoItVariable fromContext: aContext variable: self ``` The DoItVariable is a decorator: it decorates the original temp with a context, and changes the method that generate code to force the reflective read even at compile time, e.g for reading: ``` emitValue: aMethodBuilder aMethodBuilder pushLiteral: self; send: #read ``` with #read just forwarding the the original Variable: ``` read ^actualVariable readInContext: doItContext ``` ## Let's fix it So... what if we would add #asDoItVariableFrom: to ThisContextVariable? It would then, when we compile the DoIt, call #lookupVar: for thisContext, which would create the decorator and return it. From that point on, the DoItVariable named thisContext shadows the real thisContext, the compiler will ask it to generate code. That generated code will be the #read which will call #readInContext: on ThisContextVariable, which correctly returns the context. Let's try, copy, paste, and: YES! It just works. Now thisContext behaves just as we expected. Nice, and that was just one method added! Marcus

2 1