# 089:  式変換で生成する変数名について
[↑up](bunny_notes)

- issued: 2020-05-22
- 分類： 分類：C 改善項目
- status: Open

## 概要

型注釈付きの項、$<verb>{(a :: Int)} などは、Rename において、
次のように変換するようにした。

$$<pre>{
let
 x :: Int
 x = a
in
 x
$$}

そうすると、$<verb>{(x :: Int)} は次のようになってしまい、無限ループ：

$$<pre>{
let
 x :: Int
 x = x
in
 x
$$}

つまり、コンパイラが勝手に生成する変数名は、文法上ソースコードに絶対に現れないものでなければならない。この件については、"_x#" としたが、ほかにもすべて対処が必要。