重现木兰编程语言（八）块结构支持，词法规则的讲究

　　此刻支持的语法{ a=2 b=a*a print(a+b) }
　　项目地址仍在 MulanRevive/prototype。
　　接续上文，添加＂块＂结构的支持。
　　首先在之前所有语法规则 之后 添加了如下两条词法规则：分词器母机.add(＂前括号＂, ＂{r*n*＂) 分词器母机.add(＂后括号＂, ＂r*n*}＂)
　　相关语法修改如下：声明 : 表达式声明       | 赋值       | 块  块 : 前括号 声明列表 后括号
　　块结构的语法树转换比较有趣。
　　Python 的语法描述中并无block一说。
　　看样子就是将{print(2)}等价为了这样的 Python 代码：if True:   print(2)
　　与下面 python 生成的语法树比对，的确如此。>>> ast.dump(ast.parse(＂if True: 	print(2)＂), True, True) ＂Module(body=[If(test=NameConstant(value=True, lineno=1, col_offset=3), body=[Expr(value=Call(func=Name(id=＂print＂, ctx=Load(), lineno=2, col_offset=1), args=[Num(n=2, lineno=2, col_offset=7)], keywords=[], lineno=2, col_offset=1), lineno=2, col_offset=1)], orelse=[], lineno=1, col_offset=0)])＂
　　什么是NameConstant？这里说：
　　True, False or None. value holds one of those constants.
　　看起来就是用于真/假/空三个值。Python 3.8 后就被Constant替代了。
　　接下来困惑于前后括号正则表达式中的r*n*部分许久。乍一看是为了支持括号前后带换行。
　　如果仅前括号之后有换行：{ print(3)}
　　词法分析结果为：Token(＂前括号＂, ＂{ ＂) Token(＂标识符＂, ＂print＂) Token(＂(＂, ＂(＂) Token(＂整数＂, ＂3＂) Token(＂)＂, ＂)＂) Token(＂后括号＂, ＂}＂)
　　语法分析无误，运行输出 3.
　　但是，如果源码的后括号之前有换行：{ print(3) }
　　则词法分析出了个＂换行＂：Token(＂前括号＂, ＂{ ＂) Token(＂标识符＂, ＂print＂) Token(＂(＂, ＂(＂) Token(＂整数＂, ＂3＂) Token(＂)＂, ＂)＂) Token(＂换行＂, ＂ ＂) Token(＂后括号＂, ＂}＂)
　　对比原始木兰的词法解析结果：Token(＂LBRACE＂, ＂{ ＂) Token(＂IDENTIFIER＂, ＂print＂) Token(＂(＂, ＂(＂) Token(＂INTEGER_LITERAL＂, ＂3＂) Token(＂)＂, ＂)＂) Token(＂RBRACE＂, ＂ }＂)
　　为何   能被合在后括号中呢？
　　对照逆向工程各种尝试，最后发现是这条词法规则放置位置的问题：分词器母机.add(＂换行＂, ＂ ＂)
　　这条规则在逆向中，置于所有 add 的规则最后，在 ignore 规则之前。同样处理之后，词法分析和运行结果即如预期。
　　看来，词法规则添加的先后决定了词法分析的优先级。只在所有前面的规则无法匹配时，才尝试后面的规则。
　　就这么点进展，可还是留下了一个隐隐的坑。在这个词法规则中：分词器母机.add(＂前括号＂, ＂{r*n*＂)
　　逆向中最后还有个参数flags=(re.DOTALL)
　　根据 rply 源码，这个参数在正则匹配时使用，但不解的是，python 文档中的re.DOTALL似乎只对正则中的.有效，而前后括号的正则描述中并无.，那么这个参数是做什么用的呢？
　　暂且绕过继续。