From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 files/practicum/EersteOfLaatsteTest.icl | 44 ---------------------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 files/practicum/EersteOfLaatsteTest.icl

(limited to 'files/practicum/EersteOfLaatsteTest.icl')

diff --git a/files/practicum/EersteOfLaatsteTest.icl b/files/practicum/EersteOfLaatsteTest.icl
deleted file mode 100644
index d6e89f3..0000000
--- a/files/practicum/EersteOfLaatsteTest.icl
+++ /dev/null
@@ -1,44 +0,0 @@
-module EersteOfLaatsteTest
-
-/*	Test module EersteOfLaatste
-	Voor werken met Gast:
-		(*) gebruik Environment 'Gast'
-		(*) zet Project Options op 'Basic Values Only'
-*/
-
-import EersteOfLaatste
-import StdEnv
-import gast
-
-Start
-		= testn 1000
-			(\n v ->
-			   eerste2_is_eerste_2     v /\
-			   laatste2_is_laatste_2   v /\
-			   eersten_is_eerste_n   n v /\
-			   laatsten_is_laatste_n n v /\
-			   True
-			)
-
-:: BaseType :== Int
-
-eerste2_is_eerste_2				:: [BaseType] -> Property
-eerste2_is_eerste_2 l			= name "eerste2 is eerste twee"
-									((length l > 1) ==> let l` = eerste2 l in zelfde_deel 2 l` l)
-
-laatste2_is_laatste_2			:: [BaseType] -> Property
-laatste2_is_laatste_2 l			= name "laatste2 is laatste twee"
-									((length l > 1) ==> let l` = laatste2 l in zelfde_deel 2 l` (drop (length l - 2) l))
-
-eersten_is_eerste_n				:: Int [BaseType] -> Property
-eersten_is_eerste_n n l			= name "eersten is eerste n"
-									((n >= 0 && n < length l) ==> let l` = eersten n l in zelfde_deel n l` l)
-
-laatsten_is_laatste_n			:: Int [BaseType] -> Property
-laatsten_is_laatste_n n l		= name "laatsten is laatste n"
-									((n >= 0 && n < length l) ==> let l` = laatsten n l in zelfde_deel n l` (drop (length l - n) l))
-
-zelfde_deel						:: Int [BaseType] [BaseType] -> Bool
-zelfde_deel 0 _ _				= True
-zelfde_deel n [a:as] [b:bs]		= a == b && zelfde_deel (n-1) as bs
-zelfde_deel _ _ _				= False
-- 
cgit v1.2.3