21/05/29 03:21:31.22 QJfgb1eG.net
>>129
[補足]
・xが名前トークンでも意味論的にxが型名とみなせる場合にはxは型だと扱われる。
・xが変数名の場合には変数だとみなされる。
・xが変数名の場合には、x&yは文法の中の有る規則にマッチングするので
受理されるが、xが変数名の場合にはx&という文法規則は存在してないので
どんな文法規則にもマッチングできないのでエラーになる。
21/05/29 03:21:31.22 QJfgb1eG.net
>>129
[補足]
・xが名前トークンでも意味論的にxが型名とみなせる場合にはxは型だと扱われる。
・xが変数名の場合には変数だとみなされる。
・xが変数名の場合には、x&yは文法の中の有る規則にマッチングするので
受理されるが、xが変数名の場合にはx&という文法規則は存在してないので
どんな文法規則にもマッチングできないのでエラーになる。