Subject: Ssreflect Users Discussion List
List archive
- From: Maxime Dénès <>
- To:
- Subject: Re: [ssreflect] Empty type
- Date: Thu, 12 Oct 2017 08:38:38 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:LAjAuh3k0XVg9GWYsmDT+DRfVm0co7zxezQtwd8ZsesQLPad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrn9iUIFxv7OAFpDuHuAMvTid623qaz/YfSakNGnmmTe7R3eTC/vQTUu4E6AI3iMe5lzxLIplNNcvRXwG5kKFSehFDy/JHjr9ZY7y1Mtqd5pIZ7WqLgcvFgQA==
Hi Arthur,
That's an interesting observation. Just curious, what use cases do you
have in mind?
Maxime.
On 10/12/2017 12:11 AM, Arthur Azevedo de Amorim wrote:
> I was hoping to find instances of the basic ssreflect classes for
> Empty_set or some other empty type, and to my surprise there aren't
> any. (The eqtype library still says: "The eqType interface is
> implemented for most standard datatypes: bool, unit, void, ...".)
>
> Do others think it would be useful to include that in a future release?
>
> Arthur
- [ssreflect] Empty type, Arthur Azevedo de Amorim, 10/12/2017
- Re: [ssreflect] Empty type, Maxime Dénès, 10/12/2017
- Re: [ssreflect] Empty type, Christian Doczkal, 10/12/2017
- Re: [ssreflect] Empty type, Pierre-Yves Strub, 10/12/2017
- Re: [ssreflect] Empty type, Arthur Azevedo de Amorim, 10/12/2017
- Re: [ssreflect] Empty type, Christian Doczkal, 10/12/2017
- Re: [ssreflect] Empty type, Maxime Dénès, 10/12/2017
Archive powered by MHonArc 2.6.18.