git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Patrick Walton <pcwalton@mimiga.net>
	Tue, 3 May 2011 00:47:24 +0000 (17:47 -0700)
committer	Patrick Walton <pcwalton@mimiga.net>
	Tue, 3 May 2011 00:50:46 +0000 (17:50 -0700)
commit	147a2d655f86c66b6edfebc20b927a8de8668722
tree	5af8cebd67a6fe620fbe4fb84a9e73cabf764251	tree \| snapshot
parent	480eda0f10fabd6e76a30c91df1d84740d6f81cc	commit \| diff

Un-revert "Use different syntax for checks that matter to typestate", fixing the problem.

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.

182 files changed:

src/boot/fe/item.ml		diff \| blob \| history
src/boot/fe/lexer.mll		diff \| blob \| history
src/boot/fe/token.ml		diff \| blob \| history
src/comp/front/ast.rs		diff \| blob \| history
src/comp/front/creader.rs		diff \| blob \| history
src/comp/front/lexer.rs		diff \| blob \| history
src/comp/front/parser.rs		diff \| blob \| history
src/comp/front/token.rs		diff \| blob \| history
src/comp/lib/llvm.rs		diff \| blob \| history
src/comp/middle/fold.rs		diff \| blob \| history
src/comp/middle/metadata.rs		diff \| blob \| history
src/comp/middle/resolve.rs		diff \| blob \| history
src/comp/middle/trans.rs		diff \| blob \| history
src/comp/middle/ty.rs		diff \| blob \| history
src/comp/middle/typeck.rs		diff \| blob \| history
src/comp/middle/typestate_check.rs		diff \| blob \| history
src/comp/middle/walk.rs		diff \| blob \| history
src/comp/pretty/pprust.rs		diff \| blob \| history
src/comp/util/typestate_ann.rs		diff \| blob \| history
src/lib/Term.rs		diff \| blob \| history
src/lib/_int.rs		diff \| blob \| history
src/lib/_str.rs		diff \| blob \| history
src/lib/_uint.rs		diff \| blob \| history
src/lib/_vec.rs		diff \| blob \| history
src/lib/bitv.rs		diff \| blob \| history
src/lib/deque.rs		diff \| blob \| history
src/lib/ebml.rs		diff \| blob \| history
src/lib/fs.rs		diff \| blob \| history
src/lib/io.rs		diff \| blob \| history
src/lib/linux_os.rs		diff \| blob \| history
src/lib/macos_os.rs		diff \| blob \| history
src/lib/posix_fs.rs		diff \| blob \| history
src/lib/sha1.rs		diff \| blob \| history
src/lib/win32_os.rs		diff \| blob \| history
src/test/run-fail/fail.rs		diff \| blob \| history
src/test/run-fail/linked-failure.rs		diff \| blob \| history
src/test/run-fail/str-overrun.rs		diff \| blob \| history
src/test/run-fail/vec-overrun.rs		diff \| blob \| history
src/test/run-fail/vec-underrun.rs		diff \| blob \| history
src/test/run-pass/alt-pattern-drop.rs		diff \| blob \| history
src/test/run-pass/alt-pattern-lit.rs		diff \| blob \| history
src/test/run-pass/alt-tag.rs		diff \| blob \| history
src/test/run-pass/arith-0.rs		diff \| blob \| history
src/test/run-pass/arith-1.rs		diff \| blob \| history
src/test/run-pass/arith-2.rs		diff \| blob \| history
src/test/run-pass/arith-unsigned.rs		diff \| blob \| history
src/test/run-pass/autoderef-full-lval.rs		diff \| blob \| history
src/test/run-pass/bind-exterior.rs		diff \| blob \| history
src/test/run-pass/bind-interior.rs		diff \| blob \| history
src/test/run-pass/bind-obj-ctor.rs		diff \| blob \| history
src/test/run-pass/bind-thunk.rs		diff \| blob \| history
src/test/run-pass/bind-trivial.rs		diff \| blob \| history
src/test/run-pass/bitwise.rs		diff \| blob \| history
src/test/run-pass/bool-not.rs		diff \| blob \| history
src/test/run-pass/box-compare.rs		diff \| blob \| history
src/test/run-pass/box-unbox.rs		diff \| blob \| history
src/test/run-pass/box.rs		diff \| blob \| history
src/test/run-pass/break.rs		diff \| blob \| history
src/test/run-pass/cast.rs		diff \| blob \| history
src/test/run-pass/char.rs		diff \| blob \| history
src/test/run-pass/clone-with-exterior.rs		diff \| blob \| history
src/test/run-pass/comm.rs		diff \| blob \| history
src/test/run-pass/decl-with-recv.rs		diff \| blob \| history
src/test/run-pass/deep.rs		diff \| blob \| history
src/test/run-pass/div-mod.rs		diff \| blob \| history
src/test/run-pass/else-if.rs		diff \| blob \| history
src/test/run-pass/expr-alt-box.rs		diff \| blob \| history
src/test/run-pass/expr-alt-generic-box1.rs		diff \| blob \| history
src/test/run-pass/expr-alt-generic-box2.rs		diff \| blob \| history
src/test/run-pass/expr-alt-generic.rs		diff \| blob \| history
src/test/run-pass/expr-alt-struct.rs		diff \| blob \| history
src/test/run-pass/expr-alt.rs		diff \| blob \| history
src/test/run-pass/expr-block-box.rs		diff \| blob \| history
src/test/run-pass/expr-block-fn.rs		diff \| blob \| history
src/test/run-pass/expr-block-generic-box1.rs		diff \| blob \| history
src/test/run-pass/expr-block-generic-box2.rs		diff \| blob \| history
src/test/run-pass/expr-block-generic.rs		diff \| blob \| history
src/test/run-pass/expr-block.rs		diff \| blob \| history
src/test/run-pass/expr-if-box.rs		diff \| blob \| history
src/test/run-pass/expr-if-generic-box1.rs		diff \| blob \| history
src/test/run-pass/expr-if-generic-box2.rs		diff \| blob \| history
src/test/run-pass/expr-if-generic.rs		diff \| blob \| history
src/test/run-pass/expr-if-struct.rs		diff \| blob \| history
src/test/run-pass/expr-if.rs		diff \| blob \| history
src/test/run-pass/exterior.rs		diff \| blob \| history
src/test/run-pass/fact.rs		diff \| blob \| history
src/test/run-pass/float2.rs		diff \| blob \| history
src/test/run-pass/floatlits.rs		diff \| blob \| history
src/test/run-pass/foreach-nested-2.rs		diff \| blob \| history
src/test/run-pass/foreach-nested.rs		diff \| blob \| history
src/test/run-pass/foreach-put-structured.rs		diff \| blob \| history
src/test/run-pass/foreach-simple-outer-slot.rs		diff \| blob \| history
src/test/run-pass/fun-call-variants.rs		diff \| blob \| history
src/test/run-pass/fun-indirect-call.rs		diff \| blob \| history
src/test/run-pass/generic-alias-box.rs		diff \| blob \| history
src/test/run-pass/generic-bind-2.rs		diff \| blob \| history
src/test/run-pass/generic-bind.rs		diff \| blob \| history
src/test/run-pass/generic-box.rs		diff \| blob \| history
src/test/run-pass/generic-derived-type.rs		diff \| blob \| history
src/test/run-pass/generic-exterior-box.rs		diff \| blob \| history
src/test/run-pass/generic-fn-infer.rs		diff \| blob \| history
src/test/run-pass/generic-fn.rs		diff \| blob \| history
src/test/run-pass/generic-obj-with-derived-type.rs		diff \| blob \| history
src/test/run-pass/generic-obj.rs		diff \| blob \| history
src/test/run-pass/generic-tag-alt.rs		diff \| blob \| history
src/test/run-pass/generic-tag-values.rs		diff \| blob \| history
src/test/run-pass/generic-temporary.rs		diff \| blob \| history
src/test/run-pass/generic-tup.rs		diff \| blob \| history
src/test/run-pass/generic-type.rs		diff \| blob \| history
src/test/run-pass/i32-sub.rs		diff \| blob \| history
src/test/run-pass/i8-incr.rs		diff \| blob \| history
src/test/run-pass/integral-indexing.rs		diff \| blob \| history
src/test/run-pass/iter-range.rs		diff \| blob \| history
src/test/run-pass/lazy-and-or.rs		diff \| blob \| history
src/test/run-pass/lazychan.rs		diff \| blob \| history
src/test/run-pass/lib-bitv.rs		diff \| blob \| history
src/test/run-pass/lib-box.rs		diff \| blob \| history
src/test/run-pass/lib-deque.rs		diff \| blob \| history
src/test/run-pass/lib-int.rs		diff \| blob \| history
src/test/run-pass/lib-io.rs		diff \| blob \| history
src/test/run-pass/lib-map.rs		diff \| blob \| history
src/test/run-pass/lib-sha1.rs		diff \| blob \| history
src/test/run-pass/lib-sort.rs		diff \| blob \| history
src/test/run-pass/lib-str-buf.rs		diff \| blob \| history
src/test/run-pass/lib-str.rs		diff \| blob \| history
src/test/run-pass/lib-uint.rs		diff \| blob \| history
src/test/run-pass/lib-vec-str-conversions.rs		diff \| blob \| history
src/test/run-pass/lib-vec.rs		diff \| blob \| history
src/test/run-pass/linear-for-loop.rs		diff \| blob \| history
src/test/run-pass/many.rs		diff \| blob \| history
src/test/run-pass/mutable-alias-vec.rs		diff \| blob \| history
src/test/run-pass/native-opaque-type.rs		diff \| blob \| history
src/test/run-pass/obj-as.rs		diff \| blob \| history
src/test/run-pass/obj-dtor-2.rs		diff \| blob \| history
src/test/run-pass/obj-dtor.rs		diff \| blob \| history
src/test/run-pass/obj-self-3.rs		diff \| blob \| history
src/test/run-pass/obj-with-vec.rs		diff \| blob \| history
src/test/run-pass/opeq.rs		diff \| blob \| history
src/test/run-pass/operator-associativity.rs		diff \| blob \| history
src/test/run-pass/readalias.rs		diff \| blob \| history
src/test/run-pass/rec-extend.rs		diff \| blob \| history
src/test/run-pass/rec-tup.rs		diff \| blob \| history
src/test/run-pass/rec.rs		diff \| blob \| history
src/test/run-pass/rt-circular-buffer.rs		diff \| blob \| history
src/test/run-pass/seq-compare.rs		diff \| blob \| history
src/test/run-pass/stateful-obj.rs		diff \| blob \| history
src/test/run-pass/str-append.rs		diff \| blob \| history
src/test/run-pass/str-concat.rs		diff \| blob \| history
src/test/run-pass/str-growth.rs		diff \| blob \| history
src/test/run-pass/str-idx.rs		diff \| blob \| history
src/test/run-pass/structured-compare-recursive.rs		diff \| blob \| history
src/test/run-pass/structured-compare.rs		diff \| blob \| history
src/test/run-pass/syntax-extension-fmt.rs		diff \| blob \| history
src/test/run-pass/tag.rs		diff \| blob \| history
src/test/run-pass/tail-cps.rs		diff \| blob \| history
src/test/run-pass/tail-direct.rs		diff \| blob \| history
src/test/run-pass/task-comm-0.rs		diff \| blob \| history
src/test/run-pass/task-comm-16.rs		diff \| blob \| history
src/test/run-pass/task-comm-3.rs		diff \| blob \| history
src/test/run-pass/task-comm-4.rs		diff \| blob \| history
src/test/run-pass/task-comm-5.rs		diff \| blob \| history
src/test/run-pass/task-comm-6.rs		diff \| blob \| history
src/test/run-pass/task-comm-7.rs		diff \| blob \| history
src/test/run-pass/task-comm-8.rs		diff \| blob \| history
src/test/run-pass/task-comm-9.rs		diff \| blob \| history
src/test/run-pass/task-comm-chan-nil.rs		diff \| blob \| history
src/test/run-pass/task-comm.rs		diff \| blob \| history
src/test/run-pass/tup.rs		diff \| blob \| history
src/test/run-pass/type-sizes.rs		diff \| blob \| history
src/test/run-pass/u32-decr.rs		diff \| blob \| history
src/test/run-pass/u8-incr-decr.rs		diff \| blob \| history
src/test/run-pass/u8-incr.rs		diff \| blob \| history
src/test/run-pass/utf8.rs		diff \| blob \| history
src/test/run-pass/utf8_chars.rs		diff \| blob \| history
src/test/run-pass/vec-append.rs		diff \| blob \| history
src/test/run-pass/vec-concat.rs		diff \| blob \| history
src/test/run-pass/vec-growth.rs		diff \| blob \| history
src/test/run-pass/vec-ref-count.rs		diff \| blob \| history
src/test/run-pass/vec-slice.rs		diff \| blob \| history
src/test/run-pass/vec.rs		diff \| blob \| history
src/test/run-pass/while-with-break.rs		diff \| blob \| history
src/test/run-pass/writealias.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom