diff options
Diffstat (limited to 'src/isail.ml')
| -rw-r--r-- | src/isail.ml | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/src/isail.ml b/src/isail.ml index e1860451..97b92809 100644 --- a/src/isail.ml +++ b/src/isail.ml @@ -86,14 +86,14 @@ let clear str = str ^ termcode 0 let sail_logo = let banner str = str |> bold |> red |> clear in - [ " ___ ___ ___ ___ "; - " /\\ \\ /\\ \\ /\\ \\ /\\__\\"; - " /::\\ \\ /::\\ \\ _\\:\\ \\ /:/ /"; - " /\\:\\:\\__\\ /::\\:\\__\\ /\\/::\\__\\ /:/__/ "; - " \\:\\:\\/__/ \\/\\::/ / \\::/\\/__/ \\:\\ \\ "; - " \\::/ / /:/ / \\:\\__\\ \\:\\__\\"; - " \\/__/ \\/__/ \\/__/ \\/__/"; - "" + [ {| ___ ___ ___ ___ |}; + {| /\ \ /\ \ /\ \ /\__\ |}; + {| /::\ \ /::\ \ _\:\ \ /:/ / |}; + {| /\:\:\__\ /::\:\__\ /\/::\__\ /:/__/ |}; + {| \:\:\/__/ \/\::/ / \::/\/__/ \:\ \ |}; + {| \::/ / /:/ / \:\__\ \:\__\ |}; + {| \/__/ \/__/ \/__/ \/__/ |}; + {| |} ] |> List.map banner @@ -152,8 +152,6 @@ let handle_input input = let () = - List.iter print_endline sail_logo; - (* Auto complete function names based on val specs *) LNoise.set_completion_callback begin @@ -179,5 +177,5 @@ let () = LNoise.history_set ~max_length:100 |> ignore; if !opt_interactive then - user_input handle_input + (List.iter print_endline sail_logo; user_input handle_input) else () |