# Reading Rename.hs (version 0.9.0)

## 2022-09-18

src/Rename.hs を端から確認していこう。みた行を塗りつぶしていく感じ（古の）で。

今日見た行：1, 2, 27, 28, 29

scanDecls の型はこう：

$$<pre>{
scanDecls :: [A.Decl] -> RN ([A.ValueDecl], [A.ClassDecl], [A.InstDecl])
$$}

で、まず最初に、$<verb>{scanDecl1} で宣言を値の宣言、クラスの宣言、インスタンス宣言の３種に分類しつつ、１パス目の何かをやっている。scanDecl1 の呼び出しはこんな感じ：

$$<pre>{
  (dss, cdss, idss) <- unzip3 <$> mapM scandecl1 decls
$$}

では、$<verb>{scanDecl1} の定義を順に見ていこう。l.135 - l.322 と、それなりの分量がある。しかも、未実装がそこそこ残っているようだ。

あ、その前に、$<verb>{Absyn.Decl} の定義を確認しておくのがいいだろう：

$$<pre>{
data Decl = VDecl       ValueDecl
          | CDecl       ClassDecl
          | IDecl       InstDecl
          | FixSigDecl  Fixity Int [Name]
          | DefaultDecl [Type]
          | ForeignDecl FDecl
          | SynonymDecl Type Type
          | DataDecl    (Maybe Type, Type) [Constr] (Maybe [Type])
          | NewtypeDecl (Maybe Type, Type) [Constr] (Maybe [Type])
          deriving Show
$$}