Merge pull request #12 from moonbit-community/ai-fix-1763625568345

Fix moon check errors and warnings

Author: peter-jerry-ye

src/fuzzy_match.mbt

@@ -1,9 +1,10 @@
-///| fuzzy match
+///|
+/// fuzzy match
 /// 
 /// This implementation refers to 
 /// [Ocaml janestreet fuzzy_match](https://github.com/janestreet/fuzzy_match/blob/master/match/src/fuzzy_match.ml)
 pub fn[Pattern : StringLike, Text : StringLike] is_match(
-  char_equal~ : (Char, Char) -> Bool = Char::op_equal,
+  char_equal? : (Char, Char) -> Bool = Char::equal,
   pattern~ : Pattern,
   text~ : Text,
 ) -> Bool {

src/pkg.generated.mbti

@@ -0,0 +1,31 @@
+// Generated using `moon info`, DON'T EDIT IT
+package "illusory0x0/fuzzy_match"
+
+// Values
+fn[Pattern : StringLike, Text : StringLike] is_match(char_equal? : (Char, Char) -> Bool, pattern~ : Pattern, text~ : Text) -> Bool
+
+fn score_upper_bound(query_length~ : Int) -> Int
+
+// Errors
+
+// Types and methods
+type Query
+fn[Item : StringLike] Query::matching_indices(Self, item~ : Item) -> Array[Int]?
+fn Query::new(String) -> Self
+fn[Item : StringLike] Query::score(Self, item~ : Item) -> Int
+fn[Item : StringLike + Compare] Query::search(Self, items~ : Array[Item]) -> Array[StringView]
+fn[Item : StringLike] Query::split_by_matching_sections(Self, item~ : Item) -> Array[(Bool, StringView)]?
+
+// Type aliases
+
+// Traits
+pub(open) trait StringLike {
+  length(Self) -> Int
+  op_get(Self, Int) -> Char
+  is_empty(Self) -> Bool = _
+  to_string(Self) -> String
+  view(Self, Int, Int) -> StringView
+}
+impl StringLike for String
+impl StringLike for StringView
+

src/query.mbt

@@ -27,7 +27,7 @@ pub fn Query::new(query : String) -> Query {
 }
 
 ///|
-pub fn[Item : StringLike] split_by_matching_sections(
+pub fn[Item : StringLike] Query::split_by_matching_sections(
   self : Query,
   item~ : Item,
 ) -> Array[(Bool, @string.View)]? {
@@ -63,11 +63,12 @@ pub fn[Item : StringLike] split_by_matching_sections(
   }
 }
 
-///| fuzzy_search
+///|
+/// fuzzy_search
 ///   
 /// This implementation refers to 
 /// [Ocaml janestreet fuzzy_match](https://github.com/janestreet/fuzzy_match/blob/master/search/src/fuzzy_search.ml)
-pub fn[Item : StringLike + Compare] search(
+pub fn[Item : StringLike + Compare] Query::search(
   self : Query,
   items~ : Array[Item],
 ) -> Array[@string.View] {
@@ -85,7 +86,7 @@ pub fn[Item : StringLike + Compare] search(
 }
 
 ///|
-pub fn[Item : StringLike] matching_indices(
+pub fn[Item : StringLike] Query::matching_indices(
   self : Query,
   item~ : Item,
 ) -> Array[Int]? {
@@ -110,7 +111,7 @@ pub fn[Item : StringLike] matching_indices(
 }
 
 ///|
-pub fn[Item : StringLike] score(self : Query, item~ : Item) -> Int {
+pub fn[Item : StringLike] Query::score(self : Query, item~ : Item) -> Int {
   match (item.is_empty(), self.is_empty()) {
     (true, _) => 0
     (_, true) => 1