add comment

SoftwareFoundationGroupAtKyotoU · Sep 4, 2023 · 0dd53ff · 0dd53ff
1 parent 2a2be1b
commit 0dd53ff
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/convMoCHi.ml b/src/convMoCHi.ml
@@ -369,6 +369,7 @@ let alias_to_adist (ro : (int * float) list)
     | Int, Int -> None
     | IntList _, IntList _ -> loop (pull_type tl "Cons" 2) (pull_type tr "Cons" 2)
     | t1, _ ->
+      (* TODO: Maybe, error statement below does not support IntList. *)
         failwith
           (Printf.sprintf "ill type: %s" (sexp_of_otype t1 |> string_of_sexp))
   in