Re: [dev-servo] More planning

2013-02-14 Thread Boris Zbarsky
On 2/14/13 5:33 PM, Brian Anderson wrote: * FFI stack switching - https://github.com/mozilla/servo/issues/278 * FFI virtual calls - https://github.com/mozilla/servo/issues/278 * DOM representation - https://github.com/mozilla/servo/issues/280 * string representation - https://github.com/mozilla/s

Re: [dev-servo] More planning

2013-02-14 Thread Brian Anderson
On 02/13/2013 07:55 PM, Boris Zbarsky wrote: On 2/13/13 10:16 PM, Boris Zbarsky wrote: On 2/13/13 9:47 PM, Brian Anderson wrote: I haven't actually created a DOM-related milestone yet because we haven't come up with a goal that I'm satisfied with ("create working dom bindings" is vague). Thin

Re: [dev-servo] Codegen WIP

2013-02-14 Thread Brian Anderson
On 02/14/2013 05:18 AM, Josh Matthews wrote: Patrick convinced me that I should work in public, so here's the branch in which I'm banging away at the bindings codegen: https://github.com/jdm/servo/commits/codegen . This is the current output so far: https://github.com/jdm/servo/wiki/Codegen-out

Re: [dev-servo] More planning

2013-02-14 Thread Boris Zbarsky
On 2/13/13 11:19 PM, Patrick Walton wrote: Servo now ships a known-working version of Rust, so it should be easier to build. OK. I've spent about 3 hours so far on that today. So far there were two build system bugs that had to get fixed just so that I could get out of configure, a non-buil

[dev-servo] Codegen WIP

2013-02-14 Thread Josh Matthews
Patrick convinced me that I should work in public, so here's the branch in which I'm banging away at the bindings codegen: https://github.com/jdm/servo/commits/codegen . This is the current output so far: https://github.com/jdm/servo/wiki/Codegen-output I don't recommend attempting to reproduc

Re: [dev-servo] More planning

2013-02-14 Thread Chris Double
On Thu, Feb 14, 2013 at 10:49 PM, Brian Smith wrote: > For example, Rust can't, in general, stop you from writing "if (!x)" instead > of "if (x)" like I did in a recent NSS bug. Depending on what 'x' is and how it was obtained it's possible it could be stopped. If it's a null pointer check for e

Re: [dev-servo] More planning

2013-02-14 Thread Robert O'Callahan
On Thu, Feb 14, 2013 at 10:49 PM, Brian Smith wrote: > 3. Will that thing support Flash or any other plugins? > Definitely not. I think there is no doubt that Rust on its own brings a lot of security > advantages to a browser-like thing based on Servo. But, as the design > document notes, ther

Re: [dev-servo] More planning

2013-02-14 Thread Brian Smith
Robert O'Callahan wrote: > I thought we were going to rely on Rust's > isolation mechanisms for this kind of finer-grained isolation. I > thought that was a big part of the point of introducing Rust in the > first place Let's make the assumption that some future web browser-like thing, intended f

Re: [dev-servo] More planning

2013-02-14 Thread Robert O'Callahan
On Thu, Feb 14, 2013 at 7:19 PM, Luke Wagner wrote: > > Eventually I can imagine writing the JIT in Rust and using some kind of > certified > > compilation to guard against compiler bugs. > > I haven't really followed this topic; do you really think this would be a > feasible approach to a produc