parse wildcard . character for NFA too

fcore/search-list/nfa.sml

@@ -10,6 +10,7 @@ struct
   | ZERO_OR_MORE of regex * state
   | ONE_OR_MORE of regex * state
   | GROUP of regex * state
+  | WILDCARD of state
 
   fun getState regex =
     case regex of
@@ -20,6 +21,7 @@ struct
     | ZERO_OR_MORE (_, state) => state
     | ONE_OR_MORE (_, state) => state
     | GROUP (_, state) => state
+    | WILDCARD state => state
 
   structure NfaMatch =
   struct
@@ -321,19 +323,23 @@ struct
             if level < concatLevel then
               SOME (pos, lhs)
             else
-              case
+              let
-                climb (pos + 1, str, CHAR_LITERAL (chr, UNTESTED), concatLevel)
+                val currentState =
-              of
+                  if chr = #"." then WILDCARD UNTESTED
-                SOME (pos, rhs) =>
+                  else CHAR_LITERAL (chr, UNTESTED)
-                  let
+              in
-                    val result =
+                case climb (pos + 1, str, currentState, concatLevel) of
-                      case rhs of
+                  SOME (pos, rhs) =>
-                        CONCAT (lst, _) => CONCAT (lhs :: lst, UNTESTED)
+                    let
-                      | _ => CONCAT ([lhs, rhs], UNTESTED)
+                      val result =
-                  in
+                        case rhs of
-                    SOME (pos, result)
+                          CONCAT (lst, _) => CONCAT (lhs :: lst, UNTESTED)
-                  end
+                        | _ => CONCAT ([lhs, rhs], UNTESTED)
-              | NONE => NONE
+                    in
+                      SOME (pos, result)
+                    end
+                | NONE => NONE
+              end
 
     and loop (pos, str, ast) =
       if pos = String.size str then