Code

Typestate 5#343

Code

Closed

catamorphism wants to merge 11 commits intorust-lang:masterrust-lang/rust:masterfrom catamorphism:typestate_5catamorphism/rust:typestate_5Copy head branch name to clipboard

+956-190

Commits

Commits on Apr 28, 2011

• Further work on typestate_check

  Show description for e42df38
  catamorphism

  committed
  e42df38

• Support all expression forms in typestate

  Show description for 54e27d2
  catamorphism

  committed
  54e27d2

• Fixed bug in typeck that wasn't filling in anns for stmts

  Show description for e5f7f92
  catamorphism

  committed
  e5f7f92

• Fix bug in handling of expr_alt (postcond for alts was being intersected with postcond for scrutinee)

  catamorphism

  committed
  ad288e1

• Fix nested patterns in rustboot

  Show description for c2dc536
  catamorphism

  committed
  c2dc536

• Slightly more helpful error message for "null lib handle"

  Show description for 8ce7228
  catamorphism

  committed
  8ce7228

• Fix some nested patterns in rustc

  Show description for 8b336fd
  catamorphism

  committed
  8b336fd

• Reindented things and removed superfluous comments, nothing to see here

  catamorphism

  committed
  78ef522

• Add a session field to ty_ctxt and change an err to span_err

  Show description for 39c6ddd
  catamorphism

  committed
  39c6ddd

• Enable typestate_check

  Show description for e2bd0ab
  catamorphism

  committed
  e2bd0ab

• Enable typestate_check

  Show description for 4a200c7
  catamorphism

  committed
  4a200c7