Date: Thu, 5 Oct 2023 03:55:36 +0100
On Tue, 3 Oct 2023 at 21:59, Thiago Macieira <thiago_at_[hidden]> wrote:
>
> On Tuesday, 3 October 2023 12:06:47 PDT Aaron Gray wrote:
> > Hi Thiago,
> >
> > What would you use instead for my use case which is memorization of a
> > pair of types or type variables used for comparison and subtyping
> > predicates for a type system.
>
> Create your own type. There's never a good reason to use std::pair.
Why, what is your logic in its redundancy please ?
Aaron
>
> On Tuesday, 3 October 2023 12:06:47 PDT Aaron Gray wrote:
> > Hi Thiago,
> >
> > What would you use instead for my use case which is memorization of a
> > pair of types or type variables used for comparison and subtyping
> > predicates for a type system.
>
> Create your own type. There's never a good reason to use std::pair.
Why, what is your logic in its redundancy please ?
Aaron
Received on 2023-10-05 02:55:53