Use autoscoping when constructing tag values of suggestion arguments

[4e6]

When the argument has an ascribed type its tag values should use the autoscoped constructors feature. If there is a method:

type Counting
    Zero
    One
    Two 
    Many n:Integer

next c:Counting = case c of
   Counting.Zero -> Counting.One
   Counting.Two -> Counting.Many 3
   Counting.Many n -> Counting.Many n+1

then the tagValues for c argument of next method should be ~Zero, ~One, ~Two and ~Many rather than Counting.Zero & co.

[radeusgd]

Given the problems when we have aliasing constructors in a sum type, could we make it so that the shorthand autoscoped form is only suggested if the constructors are all distinct? Or would it be too complicated to check what the constructors are when generating the suggestions?

[enso-bot]

Dmitry Bushev reports a new STANDUP for yesterday (2024-03-05):

Progress: Started working on the task. Updated the tag values creation logic to use the autoscope syntax. Added tests. Created draft PR. Fixed some of the flaky visualization tests. Created PR It should be finished by 2024-03-08.

Next Day: Next day I will be working on the #9259 task. Continue working on the task

[enso-bot]

Dmitry Bushev reports a new STANDUP for today (2024-03-06):

Progress: Continue working on the task. Updated the tag values logic to use the autoscope syntax when there is a type ascription in addition to a separate type definition. Tested in gui. Undrafted the PR. More work on the flaky visualization tests. It should be finished by 2024-03-08.

Next Day: Next day I will be working on the #9259 task. Continue working on the task

[enso-bot]

Dmitry Bushev reports a new STANDUP for yesterday (2024-03-08):

Progress: Returned to the task. Updated the PR adding the filesystem commands to the project manager. Added path resolution. Merged the PR. Updated and merged the PR fixing the warnings preview. Was checking how the autoscoping interacts with dynamic widgets in the gui. It should be finished by 2024-03-08.

Next Day: Next day I will be working on the #9259 task. Continue working on the task

[JaroslavTulach]

Is this waiting for resolution of

• Instrumentation, visualization and autoscoped constructors #9452