Code

Typestate 2#392

Code

Closed

catamorphism wants to merge 14 commits intorust-lang:masterrust-lang/rust:masterfrom

catamorphism:typestate_2catamorphism/rust:typestate_2Copy head branch name to clipboard

Commits

Commits on May 18, 2011

• Fix an error message that reversed the expected and actual number of arguments in a pattern

  catamorphism

  committed
  764e9c1

  Copy full SHA for 764e9c1

• Beginning of Operation Eliminate Folds

  Show description for 6cfe082
  catamorphism

  committed
  6cfe082

  Copy full SHA for 6cfe082

• Remove dead file (typestate_check is now a bunch of modules under middle/tstate)

  catamorphism

  committed
  2a024e3

  Copy full SHA for 2a024e3

• Tell Makefile to look an extra level deep for dependencies

  catamorphism

  committed
  1cd5db9

  Copy full SHA for 1cd5db9

• add a bunch more logging things

  catamorphism

  committed
  a74ed07

  Copy full SHA for a74ed07

• Make trans use span_err for the dreaded "ty_var in trans::type_of" error

  Show description for c9bd1ac
  catamorphism

  committed
  c9bd1ac

  Copy full SHA for c9bd1ac

• Add a set_all function in bitv that's the inverse of clear

  catamorphism

  committed
  c4f9ab9

  Copy full SHA for c4f9ab9

• Add visit_fn_pre and visit_fn_post fields to visitors

  Show description for c37b70a
  catamorphism

  committed
  c37b70a

  Copy full SHA for c37b70a

• Rewrite tstate.annotate to use walk instead of fold

  Show description for 941b6ec
  catamorphism

  committed
  941b6ec

  Copy full SHA for 941b6ec

• remove now-unused ts field from ann

  catamorphism

  committed
  96048ae

  Copy full SHA for 96048ae

Commits on May 19, 2011

• Trim imports

  catamorphism

  committed
  9aaca28

  Copy full SHA for 9aaca28

• Add ident as an argument to visit_fn (typestate wants it)

  catamorphism

  committed
  bb4ee55

  Copy full SHA for bb4ee55

• Rewrite pre_postconditions to use walk instead of fold

  catamorphism

  committed
  9ec8fb0

  Copy full SHA for 9ec8fb0

• tidy tstate.collect_locals

  catamorphism

  committed
  5f3c620

  Copy full SHA for 5f3c620