Page MenuHomePhabricator

Instances of generic typed lists can be created
Closed, ResolvedPublic

Description

E.g. an instance of List(Boolean) can be created, and it correctly pre-assumes that all elements are Booleans in the UX.

Related Objects

StatusSubtypeAssignedTask
OpenNone
OpenNone
StalledNone
Resolvedcmassaro
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
DuplicateNone
OpenNone
Resolvedcmassaro
OpenNone
ResolvedJdforrester-WMF
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
ResolvedNone
ResolvedNone
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
Resolvedgengh
Resolvedgengh
DeclinedLindsaykwardell
ResolvedLindsaykwardell
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedNone
Resolvedcmassaro
ResolvedNone
InvalidNone
Invalidgengh
ResolvedNone
ResolvedNone
ResolvedJdforrester-WMF
ResolvedNone
ResolvedNone
DeclinedNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolvedcmassaro
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedDVrandecic
Resolvedcmassaro
ResolvedJdforrester-WMF
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedNone
ResolvedNone
Resolvedcmassaro
ResolvedDVrandecic
ResolvedLindsaykwardell
Resolvedarthurlorenzi
ResolvedNone
InvalidNone
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedgengh
Resolvedcmassaro
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedDVrandecic
Resolvedcmassaro
Resolvedarthurlorenzi
ResolvedAdesojiThisDot

Event Timeline

Change 735988 had a related patch set uploaded (by Simone Cuomo; author: Simone Cuomo):

[mediawiki/extensions/WikiLambda@master] Implement Generic Types within the UI

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

Change 735988 merged by jenkins-bot:

[mediawiki/extensions/WikiLambda@master] Implement Generic Types within the UI

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

I was trying to create an instance of Typed Pair (Z882) on NotWikiLambda, and it didn't work. Same thing on my local machine and on the beta cluster.

There are two parts: the prototype allows now to create, edit, and maintain typed lists, which are a generic type.

So in a specific, bespoke way it is possible to create typed lists. This can be, for example, seen when creating a type and when we create a list of keys.

What is not possible is to create an instance of any generic type, not just of a specific generic type. I have created T297244 for that. Given that, we can close this as being only about Typed Lists. Agreed?

Jdforrester-WMF renamed this task from Instances of generic types can be created to Instances of generic typed lists can be created.Dec 14 2021, 5:00 PM
Jdforrester-WMF added a subscriber: Jdforrester-WMF.

OK, I believe that this task is now Resolved since we've re-scoped it, right?

Change 751688 had a related patch set uploaded (by Simone Cuomo; author: Simone Cuomo):

[mediawiki/extensions/WikiLambda@master] Enable FE to search for Function that return Type

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

Change 751688 abandoned by Simone Cuomo:

[mediawiki/extensions/WikiLambda@master] Enable FE to search for Function that return Type

Reason:

Opened with the wrong bug link

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

Change 751708 had a related patch set uploaded (by Simone Cuomo; author: Simone Cuomo):

[mediawiki/extensions/WikiLambda@master] Enable FE to search for Function that return Type

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

Change 751708 merged by jenkins-bot:

[mediawiki/extensions/WikiLambda@master] Enable FE to search for Function that return Type

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

Confirmed, can create instances of generic typed list.