Code

Typestate 4#339

Code

Closed

catamorphism wants to merge 7 commits intorust-lang:masterrust-lang/rust:masterfrom catamorphism:typestate_4catamorphism/rust:typestate_4Copy head branch name to clipboard

+923-174

Commits

Commits on Apr 23, 2011

• Further work on typestate_check

  Show description for 85567e2
  catamorphism

  committed
  85567e2

  Copy full SHA for 85567e2

• Support all expression forms in typestate

  Show description for 30df202
  catamorphism

  committed
  30df202

  Copy full SHA for 30df202

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

  Show description for 4e4debe
  catamorphism

  committed
  4e4debe

  Copy full SHA for 4e4debe

• Change err to span_err for "expected value but found type" error

  catamorphism

  committed
  f721849

  Copy full SHA for f721849

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

  catamorphism

  committed
  5377fd7

  Copy full SHA for 5377fd7

• Make typeck.ast_ty_to_ty print out an error message instead of just failing

  Show description for 3772d37
  catamorphism

  committed
  3772d37

  Copy full SHA for 3772d37

• Make rustc's typestate pass happy by adding a fail in a case that

  Show description for d908ec5
  catamorphism

  committed
  d908ec5

  Copy full SHA for d908ec5