(Go: >> BACK << -|- >> HOME <<)
Page MenuHomePhabricator
Create Task
Maniphest T292789

Store Z10 on Wiki as a Z7 -> ZList(Z1)
Open, Needs TriagePublic
Actions

Related Objects
Search...

StatusSubtypeAssignedTask
 OpenNoneT292788 Eliminate Z10/List (as a concrete pre-defined type) from the backend
 OpenNoneT291413 Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types
 OpenNoneT292789 Store Z10 on Wiki as a Z7 -> ZList(Z1)
 OpenNoneT291035 Function model: Z10 should be a function that takes a type and returns a type
 ResolvedSimoneThisDotT291041 Instances of a generic type are displayed correctly
 ResolvedSimoneThisDotT291042 Instances of generic types can be edited
 ResolvedcmassaroT291044 Instances of generic types are being validated
 ResolvedcmassaroT285260 Orchestrator Top-Level Validation Should Check Z1K1
 ResolvedSimoneThisDotT297244 Let front-end users create and edit instances of any generic type
 ResolvedSimoneThisDotT291043 Instances of generic typed lists can be created
 ResolvedJdforrester-WMFT291049 Function that takes a type and returns a type can be evaluated
 ResolvedDVrandecicT291050 Functions that take a type and return a type can be implemented
 ResolvedDVrandecicT291051 Functions that take a type and return a type can be defined
 ResolvedcmassaroT266241 Normalizer and canonicalizer should deal with local and global keys
 ResolvedcmassaroT289681 Composition creating a type doesn't evaluate
 ResolvedBUG REPORTJdforrester-WMFT292890 Trying to create a Z14 throws "Cannot read properties of undefined (reading 'filter')" in Vue code
 ResolvedSimoneThisDotT295470 Change the type search API to allow users to search for functions returning a type in addition to instances of that type
 ResolvedgenghT262089 Store type identity output in wikilambda_zobject_labels table
ResolvedgenghT297925 Change object search API to optionally include functions' return types as the 'type' filter

Event Timeline

cmassaro created this task.Oct 7 2021, 8:49 PM
Jdforrester-WMF renamed this task from Store Z10 on Wiki as a Z7 -> Z1010(Z1) to Store Z10 on Wiki as a Z7 -> ZList(Z1).Oct 13 2021, 4:16 PM
DVrandecic moved this task from To triage to Phase η – Generic types on the Abstract Wikipedia team board.Oct 13 2021, 4:17 PM
DVrandecic edited projects, added Abstract Wikipedia team (Phase η – Generic types); removed Abstract Wikipedia team.
DVrandecic added a subtask: T291035: Function model: Z10 should be a function that takes a type and returns a type.Oct 20 2021, 11:08 PM
DVrandecic added a parent task: T292788: Eliminate Z10/List (as a concrete pre-defined type) from the backend.
Jdforrester-WMF added a parent task: T291413: Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types.Oct 26 2021, 12:04 AM
Jdforrester-WMF moved this task from Incoming to Needs discussion/DoD on the Abstract Wikipedia team (Phase η – Generic types) board.Jan 12 2022, 9:14 PM
Jdforrester-WMF edited projects, added Abstract Wikipedia team; removed Abstract Wikipedia team (Phase η – Generic types).Mar 2 2022, 10:12 PM
Jdforrester-WMF added a subscriber: Jdforrester-WMF.

Moving to Unphased.

Jdforrester-WMF moved this task from To triage to Un-phased work on the Abstract Wikipedia team board.Mar 2 2022, 10:12 PM
Content licensed under Creative Commons Attribution-ShareAlike 3.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