From 2bc861cbdeb7742b6dffaa90bb8a755d93d1b5c0 Mon Sep 17 00:00:00 2001
From: Shunsuke Shibayama <sbym1346@gmail.com>
Date: Sat, 8 Oct 2022 22:21:53 +0900
Subject: [PATCH] More names to put out with `get_similar_name`

---
 compiler/erg_compiler/context/inquire.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/compiler/erg_compiler/context/inquire.rs b/compiler/erg_compiler/context/inquire.rs
index 435ed970..67d73969 100644
--- a/compiler/erg_compiler/context/inquire.rs
+++ b/compiler/erg_compiler/context/inquire.rs
@@ -1160,6 +1160,17 @@ impl Context {
     }
 
     pub(crate) fn get_similar_name(&self, name: &str) -> Option<&str> {
+        match name {
+            "true" => return Some("True"),
+            "false" => return Some("False"),
+            "Null" | "Nil" | "null" | "nil" | "none" => return Some("None"),
+            "del" => return Some("Del"),
+            "int" => return Some("Int"),
+            "nat" => return Some("Nat"),
+            "str" => return Some("Str"),
+            "bool" => return Some("Bool"),
+            _ => {}
+        }
         let name = readable_name(name);
         // TODO: add decls
         get_similar_name(