yuyan
yuyan copied to clipboard
派类型允许了过多的模式匹配
因为我们允许对于自由变量进行匹配,目前我们可能允许对于外部调用进行匹配,我们需要看看是不是有bug