v0.8.2

1 files changed, 18 insertions, 3 deletions

diff --git a/comparison/SML/isort-40000.sml b/comparison/SML/isort-40000.sml
index a851dbd..9fbaf09 100644
--- a/comparison/SML/isort-40000.sml
+++ b/comparison/SML/isort-40000.sml
@@ -8,7 +8,8 @@ fun insertsort [] = []
     in insert(x, insertsort xs)
     end;
     
-(* mkRandList *)
+
+(* Creates a random list *)
 local 
     val nextInt = Random.randRange(1,10000);
     val r = Random.rand(1,1);
@@ -16,5 +17,19 @@ in
   fun mkRandList 0 = []
     | mkRandList n = (nextInt r)::(mkRandList (n-1))
 end;
-    
-insertsort (mkRandList 40000);
\ No newline at end of file
+
+
+(* 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 *)
+validation(insertsort(mkRandList 40000));