Code

Static drop semantics#210

Code

Closed

pnkfelix wants to merge 39 commits intorust-lang:masterrust-lang/rfcs:masterfrom pnkfelix:fsk-nzdrop-rfcpnkfelix/rfcs:fsk-nzdrop-rfcCopy head branch name to clipboard

+1,251

Commits

Commits on Aug 14, 2014

• first draft of non-zeroing drop RFC.

  pnkfelix

  committed
  d051b98

  Copy full SHA for d051b98

• Threw a new idea into the "Alternatives" section.

  pnkfelix

  committed
  c12de48

  Copy full SHA for c12de48

• Started the Detailed Design by using a former appendix as its basis.

  Show description for b449d0e
  pnkfelix

  committed
  b449d0e

  Copy full SHA for b449d0e

• enough written that I am tempted to advertise.

  pnkfelix

  committed
  56bc05d

  Copy full SHA for 56bc05d

• revise presentation of summary

  pnkfelix

  committed
  5e73f42

  Copy full SHA for 5e73f42

• replace undef term with one I actually used.

  pnkfelix

  committed
  6bcd38b

  Copy full SHA for 6bcd38b

Commits on Aug 15, 2014

• Fixed spelling errors.

  pnkfelix

  committed
  fc512c7

  Copy full SHA for fc512c7

• removed "trans gotchas" note. Waste of space.

  pnkfelix

  committed
  29066c0

  Copy full SHA for 29066c0

• proper reference to the appendix.

  pnkfelix

  committed
  eb661a2

  Copy full SHA for eb661a2

• add semi-troubling question about expressiveness.

  pnkfelix

  committed
  5d94a56

  Copy full SHA for 5d94a56

• Some revisions to the text while I was reviewing its web appearance.

  Show description for 4cdd48b
  pnkfelix

  committed
  4cdd48b

  Copy full SHA for 4cdd48b

• Removed sketch "match expressions and enum variants that copy (or do not bind)" text.

  pnkfelix

  committed
  0a7f313

  Copy full SHA for 0a7f313

• Flesh out control-flow sensitivity section.j

  pnkfelix

  committed
  a2639b5

  Copy full SHA for a2639b5

• Improve presentation by labelling the big idea parts with "Part N" for N in 1..3.

  pnkfelix

  committed
  852039c

  Copy full SHA for 852039c

• Explicitly point out that the end-of-arm-body trick has its limits.

  pnkfelix

  committed
  a90db57

  Copy full SHA for a90db57

• fix typo.

  pnkfelix

  committed
  d0c6258

  Copy full SHA for d0c6258

• improve presentation by inserting a paragraph break.

  pnkfelix

  committed
  f59ef8b

  Copy full SHA for f59ef8b

• Elaborate my reasoning on "Scope end for owner can handle mismatched drop obligations"

  pnkfelix

  committed
  766a76e

  Copy full SHA for 766a76e

• Cross-reference the space-impact appendix.

  pnkfelix

  committed
  0b72ddc

  Copy full SHA for 0b72ddc

• Add some TODO's for the document.

  pnkfelix

  committed
  4df7982

  Copy full SHA for 4df7982

• Fix typo noted by Brian.

  Show description for f08b515
  pnkfelix

  committed
  f08b515

  Copy full SHA for f08b515

Commits on Aug 19, 2014

• updates to dropflag RFC

  pnkfelix

  committed
  cf0707b

  Copy full SHA for cf0707b

Commits on Aug 22, 2014

• Merge branch 'fsk-nzdrop-rfc' of github.com:pnkfelix/rfcs into fsk-nzdrop-rfc

  Show description for 62db4ab
  pnkfelix

  committed
  62db4ab

  Copy full SHA for 62db4ab

Commits on Aug 25, 2014

• Various cleanups to the text presentation.

  pnkfelix

  committed
  be60ed3

  Copy full SHA for be60ed3

• Address TODOs.

  Show description for 9679416
  pnkfelix

  committed
  9679416

  Copy full SHA for 9679416

• Consistently use "noisy drop" terminology (rather than "loud").

  pnkfelix

  committed
  0923953

  Copy full SHA for 0923953

• Fix a typo. Add a hyperlink.

  pnkfelix

  committed
  f9f6c50

  Copy full SHA for f9f6c50

• Added hyperlinks.

  pnkfelix

  committed
  6720173

  Copy full SHA for 6720173

• Added table-of-contents. Fixed a miscategorized question.

  pnkfelix

  committed
  498e53c

  Copy full SHA for 498e53c

• Fixed ToC formatting.

  pnkfelix

  committed
  ecc64d0

  Copy full SHA for ecc64d0

• Put Summary above ToC.

  pnkfelix

  committed
  e01c520

  Copy full SHA for e01c520

• Fix some hyperlinks.

  pnkfelix

  committed
  d9cae12

  Copy full SHA for d9cae12

• fix typo in hyperlink.

  pnkfelix

  committed
  94043d3

  Copy full SHA for 94043d3

• fix hyperlink.

  pnkfelix

  committed
  7ae6da4

  Copy full SHA for 7ae6da4

• fix hyperlink.

  pnkfelix

  committed
  5f6f559

  Copy full SHA for 5f6f559

• Add variant supporting dynamic semantics with fragment-drop-state stored out-of-band on stack.

  pnkfelix

  committed
  8f20122

  Copy full SHA for 8f20122

• Niko pointed out that we currently do support moving out of a [Foo, ..k] array.

  Show description for 5648146
  pnkfelix

  committed
  5648146

  Copy full SHA for 5648146

• Edits suggested by niko.

  pnkfelix

  committed
  26c265f

  Copy full SHA for 26c265f

Commits on Aug 27, 2014

• Removed the match-arm rule.

  Show description for a773ba1
  pnkfelix

  committed
  a773ba1

  Copy full SHA for a773ba1