Page MenuHomePhabricator
Create Task
Maniphest T293916

Create ZListTypeFor Utility Function in function-schemata
Closed, ResolvedPublic
Actions

Description

Sometimes, we will need to generate a Z4 corresponding to a typed list (e.g., when normalizing a canonical-form list or when serializing the return type in an executor).

Details

SubjectRepoBranchLines +/-
Update function-schemata sub-module to HEAD (e130e59)mediawiki/extensions/WikiLambdamaster+1 -1
Update function-schemata sub-module to HEAD (e130e59)mediawiki/services/function-orchestratormaster+5 -5
Update function-schemata sub-module to HEAD (e130e59)mediawiki/services/function-orchestratormaster+9 K -779
Update function-schemata sub-module to HEAD (e130e59)mediawiki/services/function-evaluatormaster+1 -1
Support generic lists in utils, normalize, and canonicalize.mediawiki/services/function-schematamaster+346 -38
Customize query in gerrit

Related Objects
Search...

Event Timeline

cmassaro created this task.Oct 20 2021, 5:08 PM
cmassaro claimed this task.Oct 26 2021, 5:58 PM
DVrandecic moved this task from To triage to Phase η – Generic types on the Abstract Wikipedia team board.Oct 27 2021, 4:07 PM
DVrandecic edited projects, added Abstract Wikipedia team (Phase η – Generic types); removed Abstract Wikipedia team.
DVrandecic moved this task from Incoming to Ready to do on the Abstract Wikipedia team (Phase η – Generic types) board.Oct 27 2021, 4:37 PM
cmassaro added a parent task: T294482: Add Tests and Functionality to Orchestrator: Cons(), Head(), Tail(), Empty(), StrToChars(), CharsToStr() with Typed Lists.Oct 27 2021, 7:31 PM
gerritbot added a comment.Dec 7 2021, 12:41 AM

Change 744106 had a related patch set uploaded (by Cory Massaro; author: Cory Massaro):

[mediawiki/services/function-schemata@master] Support generic lists in utils, normalize, and canonicalize.

https://gerrit.wikimedia.org/r/744106

gerritbot added a project: Patch-For-Review.Dec 7 2021, 12:41 AM
DVrandecic changed the task status from Open to In Progress.Dec 7 2021, 5:36 PM
DVrandecic moved this task from Ready to do to In progress on the Abstract Wikipedia team (Phase η – Generic types) board.
gerritbot added a comment.Dec 7 2021, 6:53 PM

Change 744106 merged by jenkins-bot:

[mediawiki/services/function-schemata@master] Support generic lists in utils, normalize, and canonicalize.

https://gerrit.wikimedia.org/r/744106

Jdforrester-WMF mentioned this in rMSFS0917005a8d4b: Support generic lists in utils, normalize, and canonicalize..Dec 7 2021, 6:56 PM
Maintenance_bot removed a project: Patch-For-Review.Dec 7 2021, 7:10 PM
gerritbot added a comment.Dec 7 2021, 10:17 PM

Change 744083 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/extensions/WikiLambda@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/744083

gerritbot added a project: Patch-For-Review.Dec 7 2021, 10:17 PM

Change 744082 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/services/function-orchestrator@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/744082

gerritbot added a comment.Dec 7 2021, 10:18 PM

Change 744084 had a related patch set uploaded (by Jforrester; author: Jforrester):

[mediawiki/services/function-evaluator@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/744084

DVrandecic triaged this task as High priority.Dec 8 2021, 9:58 PM
gerritbot added a comment.Dec 9 2021, 4:51 PM

Change 745566 had a related patch set uploaded (by Cory Massaro; author: Cory Massaro):

[mediawiki/services/function-orchestrator@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/745566

gerritbot added a comment.Dec 9 2021, 4:57 PM

Change 744084 merged by jenkins-bot:

[mediawiki/services/function-evaluator@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/744084

Jdforrester-WMF mentioned this in rMSFE79aa1b46f059: Update function-schemata sub-module to HEAD (e130e59).Dec 9 2021, 4:59 PM
gerritbot added a comment.Dec 9 2021, 6:42 PM

Change 745566 abandoned by Jforrester:

[mediawiki/services/function-orchestrator@master] Update function-schemata sub-module to HEAD (e130e59)

Reason:

https://gerrit.wikimedia.org/r/745566

gerritbot added a comment.Dec 9 2021, 6:43 PM

Change 744082 merged by Cory Massaro:

[mediawiki/services/function-orchestrator@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/744082

cmassaro mentioned this in rMSFOe08fe9d60da7: Update function-schemata sub-module to HEAD (e130e59).Dec 9 2021, 6:44 PM
gerritbot added a comment.Dec 9 2021, 7:08 PM

Change 744083 merged by jenkins-bot:

[mediawiki/extensions/WikiLambda@master] Update function-schemata sub-module to HEAD (e130e59)

https://gerrit.wikimedia.org/r/744083

Jdforrester-WMF closed this task as Resolved.Dec 14 2021, 5:28 PM
Jdforrester-WMF moved this task from In progress to QA / Ready to close on the Abstract Wikipedia team (Phase η – Generic types) board.
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL