diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-27 16:59:00 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-27 16:59:00 +0900 |
| commit | d5b1f9b78b7fe4590cf91d72772d3c773d7daed1 (patch) | |
| tree | c71e5f12b2733bb0e3ef65734e6ff5a685a1c989 /comparison/SML | |
| parent | 4508b877a0312ff0feeba6287e1224ed3d0e0a4a (diff) | |
| parent | 2de302bcb3fa7e12c83a58909232a527c4d5372e (diff) | |
| download | inpla-d5b1f9b78b7fe4590cf91d72772d3c773d7daed1.tar.gz inpla-d5b1f9b78b7fe4590cf91d72772d3c773d7daed1.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/SML')
| -rw-r--r-- | comparison/SML/ack3-11.sml | 1 | ||||
| -rw-r--r-- | comparison/SML/bsort-40000.sml | 2 | ||||
| -rw-r--r-- | comparison/SML/isort-40000.sml | 1 | ||||
| -rw-r--r-- | comparison/SML/msort-800000.sml | 3 |
4 files changed, 0 insertions, 7 deletions
diff --git a/comparison/SML/ack3-11.sml b/comparison/SML/ack3-11.sml index f1ea7f2..4668ddb 100644 --- a/comparison/SML/ack3-11.sml +++ b/comparison/SML/ack3-11.sml @@ -2,5 +2,4 @@ fun ack 0 n = n+1 | ack m 0 = ack (m-1) 1 | ack m n = ack (m-1) (ack m (n-1)); - ack 3 11; diff --git a/comparison/SML/bsort-40000.sml b/comparison/SML/bsort-40000.sml index 48c3eb4..e892f09 100644 --- a/comparison/SML/bsort-40000.sml +++ b/comparison/SML/bsort-40000.sml @@ -26,5 +26,3 @@ end; bsort (mkRandList 40000); - - diff --git a/comparison/SML/isort-40000.sml b/comparison/SML/isort-40000.sml index 973d6e6..a851dbd 100644 --- a/comparison/SML/isort-40000.sml +++ b/comparison/SML/isort-40000.sml @@ -8,7 +8,6 @@ fun insertsort [] = [] in insert(x, insertsort xs) end; - (* mkRandList *) local val nextInt = Random.randRange(1,10000); diff --git a/comparison/SML/msort-800000.sml b/comparison/SML/msort-800000.sml index 2a33649..9209685 100644 --- a/comparison/SML/msort-800000.sml +++ b/comparison/SML/msort-800000.sml @@ -28,8 +28,6 @@ fun msort [] = [] end; - - (* mkRandList *) local val nextInt = Random.randRange(1,10000); @@ -42,4 +40,3 @@ end; msort (mkRandList 800000); - |