On 5/1/07, Joel Reymont <joelr1@gmail.com> wrote:
>
> On May 1, 2007, at 5:39 PM, Nicolas Pouillard wrote:
>
> > No, no, no there is still a difference between poly variants and
> > classic ones.
> >
> > When I wrote `id it's for polymorphic ones.
>
> Then I would use <:ctyp< $id$ >> to match variants  and `id to match
> poly variants, right?

To be consistent on notations

<:ctyp< $id$ >> to match variants
<:ctyp< `$id$ >> to match polymorphic variants

-- 
Nicolas Pouillard