https://issues.dlang.org/show_bug.cgi?id=5007
Iain Buclaw changed:
What|Removed |Added
Priority|P2 |P4
--
https://issues.dlang.org/show_bug.cgi?id=5007
--- Comment #8 from bearophile_h...@eml.cc ---
Walter Bright has commented on @outer():
I suggest using 'pure' and passing the globals you actually
need as ref parameters.
This is what I usually do in D, but it has some small disadvantages:
- It
https://issues.dlang.org/show_bug.cgi?id=5007
--- Comment #7 from bearophile_h...@eml.cc ---
If you have to refactor and clean up some old C/D code you can use a tool (like
an IDE) that tags every function with the appropriate @outer(), that specifies
what every function reads/writes/readwrites
https://d.puremagic.com/issues/show_bug.cgi?id=5007
--- Comment #6 from bearophile_h...@eml.cc 2014-03-09 05:41:50 PDT ---
The purpose of the with Global and with Depends annotations of SPARK2014 is
to help mathematically prove that a function is correct. While the lighter and
optional @outer()
https://d.puremagic.com/issues/show_bug.cgi?id=5007
--- Comment #5 from bearophile_h...@eml.cc 2014-02-19 15:07:18 PST ---
It seems this idea of mine isn't so crazy. This is from the SPARK 2014
sublanguage:
http://d.puremagic.com/issues/show_bug.cgi?id=5007
--- Comment #4 from bearophile_h...@eml.cc 2013-10-23 02:53:02 PDT ---
See also: http://nimrod-code.org/blog/writetracking.html
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail
http://d.puremagic.com/issues/show_bug.cgi?id=5007
--- Comment #3 from bearophile_h...@eml.cc 2011-06-24 17:16:06 PDT ---
See for more comments:
http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.Darticle_id=139389
--
Configure issuemail:
http://d.puremagic.com/issues/show_bug.cgi?id=5007
Nick Sabalausky cbkbbej...@mailinator.com changed:
What|Removed |Added
CC|
http://d.puremagic.com/issues/show_bug.cgi?id=5007
--- Comment #2 from bearophile_h...@eml.cc 2010-10-06 19:24:03 PDT ---
(In reply to comment #1)
but why specify the globals you're going to use?
It's like in Contract Programming, where your contracts state what are the
conditions on the
