Re: New Trait Syntax Coming.

[Ori Bernstein <ori@xxxxxxxxxxxxxx>]

On Sun, 31 Dec 2017 17:50:30 -0800, Ori Bernstein <ori@xxxxxxxxxxxxxx> wrote:

> This change has already been mostly implemented, although some of the
> wiring for aux types needs work. I'll bang on it a little bit more before
> I put it somewhere accessible.

With a bunch of help from npnth, we've got a version of this that seems to
be working reasonably. It's available in the trait-syntax branch in git for
testing.

If you're using trait restrictions in your generics, there are a few simple
mechanical changes you'll need to make in some places. For example:

	generic foo : (x : @a::integral, y : @a::integral -> @a::integral)

would become:

	generic foo : (x : @a, y : @a -> @a) :: integral @a

-- 
    Ori Bernstein