diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-05-02 09:49:01 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-05-02 09:49:01 +0900 |
| commit | 8c7809d024e85d0a8acfb794a4db41b0e4bc13e6 (patch) | |
| tree | 25ac81bad7be415d7cf75457275f7161d79f9f10 /comparison/OCaml/isort40000.ml | |
| parent | 429543c748aaf81b2a4207318eb5a05259469b21 (diff) | |
| download | inpla-8c7809d024e85d0a8acfb794a4db41b0e4bc13e6.tar.gz inpla-8c7809d024e85d0a8acfb794a4db41b0e4bc13e6.zip | |
v0.8.2-1
Diffstat (limited to 'comparison/OCaml/isort40000.ml')
| -rw-r--r-- | comparison/OCaml/isort40000.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/comparison/OCaml/isort40000.ml b/comparison/OCaml/isort40000.ml index 92e127d..a1d00a5 100644 --- a/comparison/OCaml/isort40000.ml +++ b/comparison/OCaml/isort40000.ml @@ -1,3 +1,5 @@ +open Format + let rec insert x ylist = match ylist with [] -> [x] @@ -30,5 +32,5 @@ let rec validation alist = | x::xs -> validation_cons x xs;; -let main = validation(isort (mkRandList 40000));; +let () = print_bool (validation (isort (mkRandList 40000)));; |