校正

Seasawher · Dec 13, 2024 · e59ab20 · e59ab20
1 parent d59120f
commit e59ab20
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 8 deletions.
diff --git a/Monkey/Ast/Ast.lean b/Monkey/Ast/Ast.lean
@@ -47,15 +47,13 @@ inductive Statement where
 
 deriving Repr, DecidableEq
 
-/-- Statement を文字列に変換する -/
-def Statement.toString (stmt: Statement) : String :=
+private def Statement.toString (stmt: Statement) : String :=
   match stmt with
   | .letStmt name value => s!"let {name} = {value}"
   | .returnStmt returnValue => s!"return {returnValue}"
   | .exprStmt expr => s!"{expr}"
   | .notImplemented => "notImplemented"
 
-/-- Repr インスタンスから ToString インスタンスを生成する -/
 instance : ToString Statement where
   toString s := s.toString
 

diff --git a/Monkey/Lexer/Lexer.lean b/Monkey/Lexer/Lexer.lean
@@ -121,7 +121,7 @@ def nextToken : StateM Lexer Token := do
     | _ => ILLEGAL
   if l.ch.isLetter then
     let literal ← readIdentifier
-    let token := LookupIdent literal
+    let token := lookupIdent literal
     return token
   else if l.ch.isDigit then
     let literal ← readNumber

diff --git a/Monkey/Token/Token.lean b/Monkey/Token/Token.lean
@@ -72,8 +72,7 @@ def Token.sameType (t1 t2 : Token) : Bool :=
 /-- `ILLEGAL` を初期値にする -/
 instance : Inhabited Token := ⟨Token.ILLEGAL⟩
 
-/-- Token を文字列に変換する -/
-def Token.toString (t : Token) : String :=
+private def Token.toString (t : Token) : String :=
   match t with
   | .ILLEGAL => "ILLEGAL"
   | .EOF => "EOF"
@@ -121,8 +120,9 @@ def keywords : Std.HashMap String Token :=
   ]
   Std.HashMap.ofList list
 
-/-- ユーザ定義の識別子なのか、言語のキーワードなのか分類する -/
-def LookupIdent (ident : String) : Token :=
+/-- 文字列をトークンに変換する。
+その過程でユーザ定義の識別子なのか、言語のキーワードなのか見分ける作業を行う。-/
+def lookupIdent (ident : String) : Token :=
   match keywords[ident]? with
   | some tok => tok
   | none => IDENT ident