Re: Should crash be the top of ex.err?

new topic     » goto parent     » topic index » view thread      » older message » newer message
  • Posted by dcuny Feb 03, 2015
  • 1444 views
jimcbrown said...

That said, my preference is for crash() just to be a built-in, but the first patch in wins I guess.

I'd also prefer it to be a built-in. I guess I'll hold off on the request for a bit... If WEE can cleverly figure out false positives from crash(), I won't care as much.

Thanks for the details!

- David

new topic     » goto parent     » topic index » view thread      » older message » newer message

Search



Quick Links

User menu

Not signed in.

Misc Menu