Change Details

It is currently possible to create instances of typed lists (as per T291043 ) This should be extended to allow to create instances of any generic type, i.e. to allow to have a type that is specified by a function call. [x] Typed list [x] Typed pair [ ] Typed map Examples are: * create an instance of a Z885/Errortype to type of an error type, e.g. Z511/Key not found * create an instance of a Z882/Type pair of, say, Z6/String and Z6/String

It is currently possible to create instances of typed lists (as per T291043 ) This should be extended to allow to create instances of any generic type, i.e. to allow to have a type that is specified by a function call. [x] Typed list [x] Typed pair [x] Typed map Examples are: * create an instance of a Z885/Errortype to type of an error type, e.g. Z511/Key not found * create an instance of a Z882/Type pair of, say, Z6/String and Z6/String

It is currently possible to create instances of typed lists (as per T291043 ) This should be extended to allow to create instances of any generic type, i.e. to allow to have a type that is specified by a function call. [x] Typed list [x] Typed pair [ x] Typed map Examples are: * create an instance of a Z885/Errortype to type of an error type, e.g. Z511/Key not found * create an instance of a Z882/Type pair of, say, Z6/String and Z6/String