Code

Typestate#389

Code

Closed

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

catamorphism:typestatecatamorphism/rust:typestateCopy 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