]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60d0a92) | patch
Add a constraint in trans
authorTim Chevalier <chevalier@alum.wellesley.edu>
Fri, 2 Sep 2011 00:25:06 +0000 (17:25 -0700)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Fri, 2 Sep 2011 00:41:10 +0000 (17:41 -0700)
commit786963d33d4b267713dd6a61ed2bfa7dab90919b
tree6d58bfa94b75bdc7c7b5c6e0dbd871a8c0038378tree | snapshot
parent60d0a9227b4c1d7754f17bc26ef5c46ca4b36231commit | diff
Add a constraint in trans

Experimenting with adding typestate constraints in the compiler.
Added a constraint to GEP_tag that says the variant index is in
bounds. Added necessary checks.
src/comp/middle/trans.rs diff | blob | history
src/comp/middle/trans_alt.rs diff | blob | history
src/comp/middle/trans_common.rs diff | blob | history
Empowering everyone to build reliable and efficient software.