caopengly

呵呵，其实没有必要用type state_type is(s1,s2,s3,s4,s5,s6,s7);
直接就可以

when s1：。。。。。

when s2：。。。。。

因为你已经定义了s1的值，再定义s1这个状态相当于重复定义了。