Eigenstate: myrddin-dev mailing list

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] New auto operator.


Haven't tested yet, but I should have time to try it out soon. I generally
like the approach, and I think it'll clean up some of my code.

I think I'd like to see it applied in a few places in our standard library
before we merge it.

On Thu, 18 Jan 2018 11:46:13 +0000, Quentin Carbonneaux <quentin@xxxxxx> wrote:
 
> TODO:
> -----
> 
>   - Err when goto jumps in/out of a block that has auto
>     expressions.
>   - Support auto in patterns.
>         match ...
>         | `std.Some (auto x): ...
>     is essentially rewritten to:
>         match ...
> 	| `std.Some (auto x):
> 	    auto x
> 	    ...
>   - Test edge cases (e.g., auto in loop condition)
>     Actually, test.

- Use it in at least a few places, see how it works out.
- Update language spec.
- Update tutorial.

:)

-- 
    Ori Bernstein

References:
[PATCH] New auto operator.Quentin Carbonneaux <quentin@xxxxxx>