From 78636495692cc41761ad58f10b4479b6f06bdbaf Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Sat, 25 Apr 2015 12:18:42 +0200
Subject: finally, week2 done:)

---
 fp2/week2/mart/oldold/old/Random.icl | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 fp2/week2/mart/oldold/old/Random.icl

(limited to 'fp2/week2/mart/oldold/old/Random.icl')

diff --git a/fp2/week2/mart/oldold/old/Random.icl b/fp2/week2/mart/oldold/old/Random.icl
deleted file mode 100644
index b6e0768..0000000
--- a/fp2/week2/mart/oldold/old/Random.icl
+++ /dev/null
@@ -1,20 +0,0 @@
-implementation module Random
-
-import StdFile, StdList, StdMisc, StdArray, Random
-
-:: RandomSeed :== Int
-
-nullRandomSeed :: RandomSeed
-nullRandomSeed = 0
-
-getNewRandomSeed :: !*env -> (!RandomSeed, !*env) | FileSystem env
-getNewRandomSeed env
-# (ok, src, env) = sfopen "/dev/urandom" FReadData env
-| not ok => abort "could not open /dev/urandom"
-# (bytes, src)   = sfreads src 4
-  seed           = foldl (\x y->(x<<8)+toInt y) 0 [c \\ c<-:bytes]
-| otherwise => (seed, env)
-
-random :: !RandomSeed -> .(!Int, !RandomSeed)
-random seed = (seed>>16 bitand 0xFFFF, seed*0x08088405+1)
-
-- 
cgit v1.2.3