Bill (cc'ing rust-dev)-
[Executive summary: the provided proposal needs further work.]
I do not know which discussion of data sort refinements you had been
reading; I would have liked context about where you were coming from. I
assume it was either Niko's blog post [1] or issue #1679 [2],
See here:
http://www.cs.virginia.edu/~evans/cs4414-fall2013/pages/ps1.html
Strikes me as a bit of a bad idea, but I'll give the professor points for
audacity. Apparently they're mandating 0.7. Perhaps we should reach out and
offer support to the students? If we can establish a relationship, it
On Wed, Aug 28, 2013 at 8:34 AM, Benjamin Striegel
ben.strie...@gmail.com wrote:
See here:
http://www.cs.virginia.edu/~evans/cs4414-fall2013/pages/ps1.html
Strikes me as a bit of a bad idea
I don't think it's a bad idea, but it's definitely going to be
challenging. I think it's exciting!
See this mailing list thread for background:
https://mail.mozilla.org/pipermail/rust-dev/2013-June/004545.html
On Wed, Aug 28, 2013 at 2:38 PM, Corey Richardson co...@octayn.net wrote:
On Wed, Aug 28, 2013 at 8:34 AM, Benjamin Striegel
ben.strie...@gmail.com wrote:
See here:
The issues in O'Caml seem to be due to the fact that in O'Caml function
parameter and return types are inferred, and thus accidentally oversized enum
types can propagate through them.
In Rust, they must specified by the user, so those oversized enum types will
cause an error as they are passed
I was talking about
http://smallcultfollowing.com/babysteps/blog/2012/08/24/datasort-refinements/,
which essentially introduces structural enums but only for variants belonging
to the same named enum.
* This strikes me as an extreme change to the language, but
perhaps my gut is
From: Bill Myers bill_my...@outlook.com
I was reading a proposal about adding datasort refinements to make enum
variants first-class types, and it seems to me there is a simpler and more
effective way of solving the problem.
The idea is that if A, B and C are types, then A | B | C is a
Thanks, I will look into cling for inspiration.
On Aug 28, 2013 1:46 AM, Daniel Micay danielmi...@gmail.com wrote:
On Tue, Aug 27, 2013 at 1:36 PM, Tim Chevalier catamorph...@gmail.com
wrote:
There are only a few rusti bugs in the issue tracker --
I am getting a Bus error - please see the following.Should I file this as
an issue in github?
amitava:learn amitava$ cat app.rs
// vi:ts=4:sw=4:nu
fn main() {
// should not compile - infinite size, needs redirection
struct Foo {
child: OptionFoo
};
let c = Foo {child:
That's covered by
https://github.com/mozilla/rust/issues/4363https://github.com/mozilla/rust/issues/4363in
the issue tracker.
Cheers,
Josh
On 28 August 2013 19:39, Amitava Shee amitava.s...@gmail.com wrote:
I am getting a Bus error - please see the following.Should I file this as
an issue in
This is a known bug: https://github.com/mozilla/rust/issues/3779
The fix, which you probably realized, is to change OptionFoo to
Option~Foo or Option@Foo.
Cheers,
Tim
--
Tim Chevalier * http://catamorphism.org/ * Often in error, never in doubt
Being queer is not about a right to privacy; it
11 matches
Mail list logo