Maniphest T291035

Function model: Z10 should be a function that takes a type and returns a type
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	DVrandecic
	Sep 15 2021, 1:25 AM

Tags

Referenced Files

None

Subscribers

Jdforrester-WMF

Related Objects
Search...

		Status	Subtype	Assigned	Task
		Declined		None	T291413 Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types
		Resolved		DVrandecic	T291035 Function model: Z10 should be a function that takes a type and returns a type

Event Timeline

DVrandecic created this task.Sep 15 2021, 1:25 AM

DVrandecic edited parent tasks, added: T291038: Function model: updates to the data model to implement generic types; removed: T275941: Extend the system to support generated instances of Z4/ZTypes by parameterised functions ("Generic types").Sep 15 2021, 1:28 AM

DVrandecic added a subtask: T291041: Instances of a generic type are displayed correctly.Sep 15 2021, 1:52 AM

Jdforrester-WMF removed a project: Epic.Sep 15 2021, 7:58 PM

DVrandecic added a parent task: T292789: Store Z10 on Wiki as a Z7 -> ZList(Z1).Oct 20 2021, 11:08 PM

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

Moving to Unphased.

Jdforrester-WMF moved this task from To triage to To triage: Un-phased work on the Abstract Wikipedia team board.Mar 2 2022, 10:12 PM

thiemowmde unsubscribed.Mar 3 2022, 7:50 AM

SimoneThisDot closed subtask T291041: Instances of a generic type are displayed correctly as Resolved.Mar 4 2022, 2:55 PM

Jdforrester-WMF removed a parent task: T291038: Function model: updates to the data model to implement generic types.Mar 8 2022, 6:28 PM

• AAssaf subscribed.Apr 19 2022, 4:23 PM

Jdforrester-WMF removed a parent task: T292789: Store Z10 on Wiki as a Z7 -> ZList(Z1).Jul 13 2022, 9:11 PM

Jdforrester-WMF added a subtask: T292788: Eliminate Z10/List (as a concrete pre-defined type) from the backend.

gengh closed subtask T292788: Eliminate Z10/List (as a concrete pre-defined type) from the backend as Resolved.Jul 18 2022, 1:53 PM

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.Jul 18 2022, 1:54 PM

Jdforrester-WMF removed subtasks: T292788: Eliminate Z10/List (as a concrete pre-defined type) from the backend, T291041: Instances of a generic type are displayed correctly.Oct 5 2023, 5:22 PM

Jdforrester-WMF assigned this task to DVrandecic.Dec 14 2023, 5:39 PM

Jdforrester-WMF moved this task from To triage: Un-phased work to Needs Product/Design on the Abstract Wikipedia team board.

Done as Z881 instead.