aboutsummaryrefslogtreecommitdiff
path: root/comparison/SML/msort-800000.sml
diff options
context:
space:
mode:
Diffstat (limited to 'comparison/SML/msort-800000.sml')
-rw-r--r--comparison/SML/msort-800000.sml15
1 files changed, 14 insertions, 1 deletions
diff --git a/comparison/SML/msort-800000.sml b/comparison/SML/msort-800000.sml
index 9209685..4ed65ea 100644
--- a/comparison/SML/msort-800000.sml
+++ b/comparison/SML/msort-800000.sml
@@ -28,7 +28,7 @@ fun msort [] = []
end;
-(* mkRandList *)
+(* Creates a random list *)
local
val nextInt = Random.randRange(1,10000);
val r = Random.rand(1,1);
@@ -38,5 +38,18 @@ in
end;
+(* Validation checks *)
+fun validation [] = true
+ | validation (x::xs) =
+ let fun validation_cons x [] = true
+ | validation_cons x (y::ys) =
+ if x<=y then validation_cons y ys
+ else false
+ in
+ validation_cons x xs
+ end;
+
+
+(* Main *)
msort (mkRandList 800000);