Boost logo

Proto :

Subject: Re: [proto] Proto domains shenanigans
From: joel falcou (joel.falcou_at_[hidden])
Date: 2010-10-13 17:11:12

On 13/10/10 22:54, Eric Niebler wrote:
>> - constant can mix with any other EDSL
> Make them terminals in no particular domain (proto::default_domain).

> Define a SIMD domain with no super-domain.

I thought domain with no super-domain ended up in default_domain ?

> This sounds like you want a type system for an EDSL. Proto can't do that
> in its current incarnation. The hackish solution is to let everything
> combine with everything, capture the above rules in a Proto grammar and
> assert at the point of expression evaluation that the expression
> conforms to the grammar. Type-checking sub-expressions sometimes
> requires writing transforms. It's tricky.

hmmm ok. I'll play and tinker with this.

Proto list run by eric at