SuggestionBuilder needs to send ascribedType of constructor parameters

[jdunkerley]

When building the meta data for a constructor (buildAtomConstructor in SuggestionBuilder), the ascribed type of the parameters is not used and only Any is passed.

In order for the dropdowns to work this must contain the type information.

[JaroslavTulach]

Slightly related to #6584 which is supposed to verify that ascribedTypes are correct.

[enso-bot]

Dmitry Bushev reports a new STANDUP for yesterday (2023-05-10):

Progress: Started working on the task. Implemented a test reproducing the issue. Found that the ascribed type field is set for the atom constructor argument. Discovered that there is no type metadata assigned to the constructor. Started investigation It should be finished by 2023-05-15.

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

[enso-bot]

Dmitry Bushev reports a new STANDUP for today (2023-05-11):

Progress: Continue working on the task. Found that the IR misses the metadata on the ascribed type. Started investigating. Fixed attaching metadata in the TypeSignatures compiler pass. Fixed resolving type names of the ascribed type in the TypeNames compiler pass. Was able to make the test case work It should be finished by 2023-05-15.

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

[enso-bot]

Dmitry Bushev reports a new STANDUP for today (2023-05-12):

Progress: Continue working on the task. Fixed the AliasAnalysis compiler test. Fixed building the return parameter for atom constructor argument functions. Created a PR It should be finished by 2023-05-15.

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

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-05-13):

Progress: - looking at Dmitry's ascribed types: #6655 (comment)
- bugfix for Dmitry's PR: #6655 (comment) It should be finished by 2023-05-15.

Next Day: Adjust #6584 to Dmitry's #6655

[enso-bot]

Jaroslav Tulach reports a new STANDUP for the last Saturday (2023-05-13):

Progress: - Adjusting #6584 to #6655
- Merged in! It should be finished by 2023-05-15.

Next Day: EurOpen conference & bugfixing

[enso-bot]

Dmitry Bushev reports a new STANDUP for today (2023-05-15):

Progress: Finishing working on the task. PR introduced a regression with the suggestions database. Debugged and fixed it. Added a failover logic to identify such cases more easily in the future. It should be finished by 2023-05-15.

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

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-05-15):

Progress: - bookclub attempt: https://discord.com/channels/401396655599124480/1106533940086448258/1107519802995654666
- QA for: #6694 (review)
- preparing & reporting "type errors as early as possible": #6682
- preparing presentation about enso
- standups, meetings, demos: https://github.com/orgs/enso-org/discussions/6697
- analyzing #6630
- Discussing Meta.type_of Nothing It should be finished by 2023-05-15.

Next Day: Presentation at EurOpen conference & planning

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

GitHub

[2023-05-15] Library and Engine Team Update · enso-org · Discussion #6697

@4e6 #6532 #6611 @hubertp #6283 #6515 @Akirathan: #5936 @JaroslavTulach #6612 #6609 #6584 @GregoryTravis #6410 #5194 #6654 @jdunkerley #6410 #6476 #6653 @radeusgd #6410 #6621 #6641 (and improved er...