# 086: checklit の網羅性を確認
[↑up](bunny_notes)

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

## 概要

[083](bissue083) の対処で、Rename.renDecls において、
A.ValDecl をリネームする前に、左辺のパターンに literal があれば等式を変形する処理を
いれた（checkLitPatterns)。

そこで、A.Exp のうち一部しか左辺のパターンに現れない前提で実装しているが、
きちんと仕様と照らし合わせていないので、要確認。