Page MenuHomePhabricator
Create Task
Maniphest T293423

Create a function that turns an error type into a type
Closed, ResolvedPublic
Actions

Description

This would allow us to actually create instances of types.

Details

ProjectBranchLines +/-Subject
mediawiki/extensions/WikiLambdamaster+7 -7Update function-schemata sub-module to HEAD (bc54941)
mediawiki/services/function-orchestratormaster+1 -1Update function-schemata sub-module to HEAD (bc54941)
mediawiki/services/function-evaluatormaster+1 -1Update function-schemata sub-module to HEAD (bc54941)
mediawiki/services/function-evaluatormaster+1 -1Update function-schemata sub-module to HEAD (bc54941)
mediawiki/services/function-schematamaster+109 -0definitions: Add Z885/Errortype to type and its composition, Z985
Customize query in gerrit

Related Objects
Search...

StatusSubtypeAssignedTask
 OpenNoneT278321 Provide a special page listing invalid ZObjects
 OpenNoneT278318 Let users validate an unstored ZObject / edit on a ZObject
 StalledNoneT269177 ZObject DAO should have a isWellFormed method
 ResolvedcmassaroT260861 Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded
OpenNoneT278316 Provide a validation API endpoint for arbitrary ZObjects from both MediaWiki and the orchestrator
 OpenNoneT292240 Save Un- (or Under-) Validated ZObjects, Validate Asynchronously via Orchestrator, Then Annotate ZObjects As Valid or Not
 OpenNoneT278325 Store that a page contains an invalid ZObject in a tracking table
 OpenNoneT278320 Allow to store an invalid ZObject explicitly, so we can have failure examples for Validator functions' Testers
 OpenNoneT294045 Create a "Validate" Endpoint in Orchestrator
 DuplicateNoneT273125 Migrate hard-coded validators to validation defined on-wiki
 OpenNoneT278319 Provide functionality for users to trigger a re-validation of a stored object
 ResolvedNoneT290119 Phase η root task
 ResolvedNoneT290118 User-defined types work with validation
 ResolvedNoneT291028 Instances of a user-defined type which should not validate indeed do not validate
 ResolvedNoneT273124 Use evaluation for validation
 ResolvedcmassaroT260321 Allow users to trigger function calls for built-in functions (orchestrator-only)
 ResolvedDVrandecicT261964 Agree on architecture for first evaluation engine
 ResolvedLindsaykwardellT280558 Normalize Inputs to Orchestrator
 ResolvedarthurlorenziT275095 Move normalization and canonicalization code to function-schemata
 ResolvedNoneT262770 Normalize ZObjects
 InvalidNoneT280559 Retrieve Function Signature from Orchestrator
 ResolvedcmassaroT282843 Hook up orchestrator to the evaluator and pass through appropriately-dereferenced Z7 calls
 ResolvedcmassaroT271762 Create initial Function Evaluator service
 ResolvedcmassaroT269697 Turn Function Evaluator into a service
 ResolvedcmassaroT269698 Make Function Evaluator work async
 ResolvedcmassaroT272630 Define interface for the function-evaluator
 ResolvedJdforrester-WMFT276478 Provide "semantically peel-able" list of programming languages that we allow
 ResolvedcmassaroT273515 Create Execution Environments for Supported Languages
 ResolvedcmassaroT273517 Create Execution Environment for Python
 ResolvedcmassaroT275944 Create Execution Environment for JavaScript
 ResolvedNoneT261470 Sandboxing and monitoring of evaluations
 ResolvedSimoneThisDotT291022 Validators for user-defined types can be defined and linked
 ResolvedcmassaroT262997 Validate the values on the keys on a user-defined type
 ResolvedcmassaroT291030 Validator of a user-defined type can be implemented
 ResolvedcmassaroT291026 Let user implementations throw a user-defined error during a user-defined validation
 ResolvedDVrandecicT293423 Create a function that turns an error type into a type

Event Timeline

DVrandecic created this task.Oct 14 2021, 10:15 PM
gerritbot added a comment.Oct 14 2021, 10:32 PM

Change 730934 had a related patch set uploaded (by DVrandecic; author: DVrandecic):

[mediawiki/services/function-schemata@master] Create a preloaded function 'Errortype to type'

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

gerritbot added a project: Patch-For-Review.Oct 14 2021, 10:32 PM
DVrandecic claimed this task.Oct 14 2021, 10:35 PM
DVrandecic moved this task from To triage to Phase η – Generic types on the Abstract Wikipedia team board.Oct 20 2021, 4:16 PM
DVrandecic edited projects, added Abstract Wikipedia team (Phase η – Generic types); removed Abstract Wikipedia team.
DVrandecic added a parent task: T291026: Let user implementations throw a user-defined error during a user-defined validation.Oct 20 2021, 11:02 PM
gerritbot added a comment.Oct 21 2021, 5:46 PM

Change 730934 merged by jenkins-bot:

[mediawiki/services/function-schemata@master] definitions: Add Z885/Errortype to type and its composition, Z985

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

Jdforrester-WMF mentioned this in rMSFS35f123748aab: definitions: Add Z885/Errortype to type and its composition, Z985.Oct 21 2021, 5:47 PM
Maintenance_bot removed a project: Patch-For-Review.Oct 21 2021, 6:10 PM
gerritbot added a comment.Oct 22 2021, 8:42 PM

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

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

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

gerritbot added a project: Patch-For-Review.Oct 22 2021, 8:43 PM
gerritbot added a comment.Oct 22 2021, 9:01 PM

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

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

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

gerritbot added a comment.Oct 22 2021, 9:01 PM

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

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

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

gerritbot added a comment.Oct 22 2021, 9:01 PM

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

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

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

gerritbot added a comment.Oct 22 2021, 9:02 PM

Change 733073 abandoned by Jforrester:

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

Reason:

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

gerritbot added a comment.Oct 22 2021, 9:42 PM

Change 732048 merged by jenkins-bot:

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

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

gerritbot added a comment.Oct 22 2021, 9:42 PM

Change 732047 merged by jenkins-bot:

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

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

Jdforrester-WMF mentioned this in rMSFO7fe0f3d6346c: Update function-schemata sub-module to HEAD (bc54941).Oct 22 2021, 9:42 PM
Jdforrester-WMF mentioned this in rMSFE7c053853962e: Update function-schemata sub-module to HEAD (bc54941).
Jdforrester-WMF closed this task as Resolved.Oct 22 2021, 9:56 PM
gerritbot added a comment.Oct 22 2021, 9:57 PM

Change 732049 merged by jenkins-bot:

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

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

Maintenance_bot removed a project: Patch-For-Review.Oct 22 2021, 10:10 PM
Content licensed under Creative Commons Attribution-ShareAlike 4.0 (CC-BY-SA) unless otherwise noted; code licensed under GNU General Public License (GPL) or 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