Code

Typestate 2#347

Code

Closed

catamorphism wants to merge 10 commits intorust-lang:masterrust-lang/rust:masterfrom catamorphism:typestate_2catamorphism/rust:typestate_2Copy head branch name to clipboard

+366-56

Commits

Commits on May 4, 2011

• Un-XFAILed not-a-pred in stage0 (it fails correctly)

  catamorphism

  committed
  fa85324

  Copy full SHA for fa85324

• Check that the operand in a check is a call

  Show description for 7878e6f
  catamorphism

  committed
  7878e6f

  Copy full SHA for 7878e6f

• Change checks to asserts in test/bench files

  catamorphism

  committed
  b11df3e

  Copy full SHA for b11df3e

• Check well-formedness of constraints

  Show description for 49e6203
  catamorphism

  committed
  49e6203

  Copy full SHA for 49e6203

• add dl/ and .pyc files to .gitignore

  catamorphism

  committed
  1715910

  Copy full SHA for 1715910

• Update docs to reflect assert vs. check

  Show description for a5ffdb4
  catamorphism

  committed
  a5ffdb4

  Copy full SHA for a5ffdb4

• Bring back "pred" syntax for writing predicates for check

  Show description for 25893f2
  catamorphism

  committed
  25893f2

  Copy full SHA for 25893f2

• Test cases for pred / check stuff

  catamorphism

  committed
  acb7131

  Copy full SHA for acb7131

• Update docs to reflect preds

  catamorphism

  committed
  08ed05a

  Copy full SHA for 08ed05a

• Enforce in typechecker that preds return a bool

  Show description for 736a449
  catamorphism

  committed
  736a449

  Copy full SHA for 736a449