On Thu, Aug 8, 2013 at 3:08 PM, Jonathan S. Shapiro <[email protected]>wrote:

> Also, sorry, my intent was to ask that these types be written in BitC
> rather than in C/C++,
>

Without subtyping... does bitc have any mechanism to establish a
structurally compatible type with a different trait compatibility
namespace? It seems this would be required to achieve the type of
const-ness I'm looking for.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to