Page MenuHomePhabricator

Provide built-in concrete types for List and Pair once Z10 and Zxyz are replaced by generic types
Open, LowPublic

Description

Z22 -> { 'Z1K1': 'Z7', 'Z7K1': 'Z10022', 'Z22K1': 'Z1', 'Z22K2': 'Z1' }

And Z10022 should be a type parametrized by types, returning a Z4.

In this way, the existing syntax ( { 'Z1K1': 'Z22', 'Z22K1': <Z1>, 'Z22K2': <Z1> } ) will continue to work.

Let's do likewise with Z10.

Related Objects

StatusSubtypeAssignedTask
OpenNone
OpenNone
OpenNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolvedcmassaro
Resolvedcmassaro
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedDVrandecic
Resolvedcmassaro
Resolvedcmassaro
ResolvedBUG REPORTJdforrester-WMF
ResolvedSimoneThisDot
Resolvedgengh
Resolvedgengh