From: simonm <unknown>
Date: Fri, 19 Dec 1997 12:22:55 +0000 (+0000)
Subject: [project @ 1997-12-19 12:22:06 by simonm]
X-Git-Tag: Approx_2487_patches~1144
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b470b6e162f0a655d6d189a07f8163cb6672aea9;hp=0cd4535ddbfa893b6a45e91d7945a3ec1f389594;p=ghc-hetmet.git

[project @ 1997-12-19 12:22:06 by simonm]
Move array tests from ghc/lib to ghc/tests and put them in our test
framework.
---

diff --git a/ghc/tests/array/Makefile b/ghc/tests/array/Makefile
new file mode 100644
index 0000000..a75e0c8
--- /dev/null
+++ b/ghc/tests/array/Makefile
@@ -0,0 +1,11 @@
+#-----------------------------------------------------------------------------
+# $Id: Makefile,v 1.1 1997/12/19 12:22:06 simonm Exp $
+
+TOP = ..
+include $(TOP)/mk/boilerplate.mk
+
+SUBDIRS = should_run
+
+include $(TOP)/mk/target.mk
+
+
diff --git a/ghc/tests/array/should_run/Makefile b/ghc/tests/array/should_run/Makefile
new file mode 100644
index 0000000..f3a2291
--- /dev/null
+++ b/ghc/tests/array/should_run/Makefile
@@ -0,0 +1,12 @@
+TOP = ../..
+include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/should_run.mk
+
+HC_OPTS += -dcore-lint
+
+arr003_RUNTEST_OPTS = -x 1
+arr004_RUNTEST_OPTS = -x 1
+arr007_RUNTEST_OPTS = -x 1
+arr008_RUNTEST_OPTS = -x 1
+
+include $(TOP)/mk/target.mk
diff --git a/ghc/tests/array/should_run/arr001.hs b/ghc/tests/array/should_run/arr001.hs
new file mode 100644
index 0000000..1e42f19
--- /dev/null
+++ b/ghc/tests/array/should_run/arr001.hs
@@ -0,0 +1,9 @@
+--!!! Simple array creation
+
+import Array
+
+main =
+ let a1 = array (1,3) (zip [2,3,1] ['a'..'d']) in
+ print a1
+
+-- Result:
diff --git a/ghc/tests/array/should_run/arr001.stdout b/ghc/tests/array/should_run/arr001.stdout
new file mode 100644
index 0000000..79a9e69
--- /dev/null
+++ b/ghc/tests/array/should_run/arr001.stdout
@@ -0,0 +1 @@
+array (1, 3) [(1, 'c'), (2, 'a'), (3, 'b')]
diff --git a/ghc/tests/array/should_run/arr002.hs b/ghc/tests/array/should_run/arr002.hs
new file mode 100644
index 0000000..67c5d82
--- /dev/null
+++ b/ghc/tests/array/should_run/arr002.hs
@@ -0,0 +1,23 @@
+--!!! Array creation, (index,value) list with duplicates.
+-- 
+-- Haskell library report 1.3 (and earlier) specifies
+-- that `array' values created with lists containing dups,
+-- are undefined ( _|_ ).
+--
+-- GHC-2.02 (and earlier) does not flag this as such, the
+-- last (index,value) is instead used.
+--
+-- The report also specifies `array' is spine strict in
+-- the (index,value) list argument and to check the
+-- validity of the index values upon creation, it also
+-- strict for the indices. To test this, we do (a!1)
+-- twice, expecting to see the same value..
+--
+import Array
+
+main =
+ let a1 = array (1,3) (zip (1:[1..3]) ['a'..'d']) in
+ print (a1!1) >>
+ print a1     >>
+ print (a1!1)
+
diff --git a/ghc/tests/array/should_run/arr002.stdout b/ghc/tests/array/should_run/arr002.stdout
new file mode 100644
index 0000000..be880b7
--- /dev/null
+++ b/ghc/tests/array/should_run/arr002.stdout
@@ -0,0 +1,3 @@
+'b'
+array (1, 3) [(1, 'b'), (2, 'c'), (3, 'd')]
+'b'
diff --git a/ghc/tests/array/should_run/arr003.hs b/ghc/tests/array/should_run/arr003.hs
new file mode 100644
index 0000000..06faa31
--- /dev/null
+++ b/ghc/tests/array/should_run/arr003.hs
@@ -0,0 +1,19 @@
+--!!! Array creation, (index,value) list with out of bound index.
+-- 
+-- Haskell library report 1.3 (and earlier) specifies
+-- that `array' values created with lists containing out-of-bounds indices,
+-- are undefined ( _|_ ).
+--
+-- GHC implementation of `array' catches this (or, rather, 
+-- `index' does) - the argument list to `array' is defined
+-- to have its spine be evaluated - so the indexing below
+-- should cause a failure.
+--
+import Array
+
+main =
+ let a1 = array (1,3) (zip ([1..4]) ['a'..'d']) in
+ print (a1!2)
+
+
+
diff --git a/ghc/tests/array/should_run/arr003.stderr b/ghc/tests/array/should_run/arr003.stderr
new file mode 100644
index 0000000..732e5c0
--- /dev/null
+++ b/ghc/tests/array/should_run/arr003.stderr
@@ -0,0 +1,2 @@
+
+Fail: Ix{Int}.index: Index (4) out of range ((1, 3))
\ No newline at end of file
diff --git a/ghc/tests/array/should_run/arr004.hs b/ghc/tests/array/should_run/arr004.hs
new file mode 100644
index 0000000..f7537d6
--- /dev/null
+++ b/ghc/tests/array/should_run/arr004.hs
@@ -0,0 +1,15 @@
+--!!! Array - accessing undefined element
+-- 
+-- Sample Haskell implementation in the 1.3 Lib report defines
+-- this as being undefined/error.
+
+import Array
+
+main =
+ let a1 = array (1,3) (zip ([1,2]) ['a'..'d']) in
+ print (a1!3)
+
+-- output: Fail: (Array.!): undefined array element
+
+
+
diff --git a/ghc/tests/array/should_run/arr004.stderr b/ghc/tests/array/should_run/arr004.stderr
new file mode 100644
index 0000000..b39ffa0
--- /dev/null
+++ b/ghc/tests/array/should_run/arr004.stderr
@@ -0,0 +1,2 @@
+
+Fail: (Array.!): undefined array element
\ No newline at end of file
diff --git a/ghc/tests/array/should_run/arr005.hs b/ghc/tests/array/should_run/arr005.hs
new file mode 100644
index 0000000..84e4a76
--- /dev/null
+++ b/ghc/tests/array/should_run/arr005.hs
@@ -0,0 +1,16 @@
+--!!! Array - recurrences
+-- 
+-- array does not evaluate the elements.
+--
+import Array
+
+main =
+ let 
+  a1 = array (1,100) ((1,1::Integer):[(i,i*a1!(i-1))|i<-[2..100]])
+ in
+ print a1
+
+--
+
+
+
diff --git a/ghc/tests/array/should_run/arr005.stdout b/ghc/tests/array/should_run/arr005.stdout
new file mode 100644
index 0000000..005ba17
--- /dev/null
+++ b/ghc/tests/array/should_run/arr005.stdout
@@ -0,0 +1 @@
+array (1, 100) [(1, 1), (2, 2), (3, 6), (4, 24), (5, 120), (6, 720), (7, 5040), (8, 40320), (9, 362880), (10, 3628800), (11, 39916800), (12, 479001600), (13, 6227020800), (14, 87178291200), (15, 1307674368000), (16, 20922789888000), (17, 355687428096000), (18, 6402373705728000), (19, 121645100408832000), (20, 2432902008176640000), (21, 51090942171709440000), (22, 1124000727777607680000), (23, 25852016738884976640000), (24, 620448401733239439360000), (25, 15511210043330985984000000), (26, 403291461126605635584000000), (27, 10888869450418352160768000000), (28, 304888344611713860501504000000), (29, 8841761993739701954543616000000), (30, 265252859812191058636308480000000), (31, 8222838654177922817725562880000000), (32, 263130836933693530167218012160000000), (33, 8683317618811886495518194401280000000), (34, 295232799039604140847618609643520000000), (35, 10333147966386144929666651337523200000000), (36, 371993326789901217467999448150835200000000), (37, 13763753091226345046315979581580902400000000), (38, 523022617466601111760007224100074291200000000), (39, 20397882081197443358640281739902897356800000000), (40, 815915283247897734345611269596115894272000000000), (41, 33452526613163807108170062053440751665152000000000), (42, 1405006117752879898543142606244511569936384000000000), (43, 60415263063373835637355132068513997507264512000000000), (44, 2658271574788448768043625811014615890319638528000000000), (45, 119622220865480194561963161495657715064383733760000000000), (46, 5502622159812088949850305428800254892961651752960000000000), (47, 258623241511168180642964355153611979969197632389120000000000), (48, 12413915592536072670862289047373375038521486354677760000000000), (49, 608281864034267560872252163321295376887552831379210240000000000), (50, 30414093201713378043612608166064768844377641568960512000000000000), (51, 1551118753287382280224243016469303211063259720016986112000000000000), (52, 80658175170943878571660636856403766975289505440883277824000000000000), (53, 4274883284060025564298013753389399649690343788366813724672000000000000), (54, 230843697339241380472092742683027581083278564571807941132288000000000000), (55, 12696403353658275925965100847566516959580321051449436762275840000000000000), (56, 710998587804863451854045647463724949736497978881168458687447040000000000000), (57, 40526919504877216755680601905432322134980384796226602145184481280000000000000), (58, 2350561331282878571829474910515074683828862318181142924420699914240000000000000), (59, 138683118545689835737939019720389406345902876772687432540821294940160000000000000), (60, 8320987112741390144276341183223364380754172606361245952449277696409600000000000000), (61, 507580213877224798800856812176625227226004528988036003099405939480985600000000000000), (62, 31469973260387937525653122354950764088012280797258232192163168247821107200000000000000), (63, 1982608315404440064116146708361898137544773690227268628106279599612729753600000000000000), (64, 126886932185884164103433389335161480802865516174545192198801894375214704230400000000000000), (65, 8247650592082470666723170306785496252186258551345437492922123134388955774976000000000000000), (66, 544344939077443064003729240247842752644293064388798874532860126869671081148416000000000000000), (67, 36471110918188685288249859096605464427167635314049524593701628500267962436943872000000000000000), (68, 2480035542436830599600990418569171581047399201355367672371710738018221445712183296000000000000000), (69, 171122452428141311372468338881272839092270544893520369393648040923257279754140647424000000000000000), (70, 11978571669969891796072783721689098736458938142546425857555362864628009582789845319680000000000000000), (71, 850478588567862317521167644239926010288584608120796235886430763388588680378079017697280000000000000000), (72, 61234458376886086861524070385274672740778091784697328983823014963978384987221689274204160000000000000000), (73, 4470115461512684340891257138125051110076800700282905015819080092370422104067183317016903680000000000000000), (74, 330788544151938641225953028221253782145683251820934971170611926835411235700971565459250872320000000000000000), (75, 24809140811395398091946477116594033660926243886570122837795894512655842677572867409443815424000000000000000000), (76, 1885494701666050254987932260861146558230394535379329335672487982961844043495537923117729972224000000000000000000), (77, 145183092028285869634070784086308284983740379224208358846781574688061991349156420080065207861248000000000000000000), (78, 11324281178206297831457521158732046228731749579488251990048962825668835325234200766245086213177344000000000000000000), (79, 894618213078297528685144171539831652069808216779571907213868063227837990693501860533361810841010176000000000000000000), (80, 71569457046263802294811533723186532165584657342365752577109445058227039255480148842668944867280814080000000000000000000), (81, 5797126020747367985879734231578109105412357244731625958745865049716390179693892056256184534249745940480000000000000000000), (82, 475364333701284174842138206989404946643813294067993328617160934076743994734899148613007131808479167119360000000000000000000), (83, 39455239697206586511897471180120610571436503407643446275224357528369751562996629334879591940103770870906880000000000000000000), (84, 3314240134565353266999387579130131288000666286242049487118846032383059131291716864129885722968716753156177920000000000000000000), (85, 281710411438055027694947944226061159480056634330574206405101912752560026159795933451040286452340924018275123200000000000000000000), (86, 24227095383672732381765523203441259715284870552429381750838764496720162249742450276789464634901319465571660595200000000000000000000), (87, 2107757298379527717213600518699389595229783738061356212322972511214654115727593174080683423236414793504734471782400000000000000000000), (88, 185482642257398439114796845645546284380220968949399346684421580986889562184028199319100141244804501828416633516851200000000000000000000), (89, 16507955160908461081216919262453619309839666236496541854913520707833171034378509739399912570787600662729080382999756800000000000000000000), (90, 1485715964481761497309522733620825737885569961284688766942216863704985393094065876545992131370884059645617234469978112000000000000000000000), (91, 135200152767840296255166568759495142147586866476906677791741734597153670771559994765685283954750449427751168336768008192000000000000000000000), (92, 12438414054641307255475324325873553077577991715875414356840239582938137710983519518443046123837041347353107486982656753664000000000000000000000), (93, 1156772507081641574759205162306240436214753229576413535186142281213246807121467315215203289516844845303838996289387078090752000000000000000000000), (94, 108736615665674308027365285256786601004186803580182872307497374434045199869417927630229109214583415458560865651202385340530688000000000000000000000), (95, 10329978488239059262599702099394727095397746340117372869212250571234293987594703124871765375385424468563282236864226607350415360000000000000000000000), (96, 991677934870949689209571401541893801158183648651267795444376054838492222809091499987689476037000748982075094738965754305639874560000000000000000000000), (97, 96192759682482119853328425949563698712343813919172976158104477319333745612481875498805879175589072651261284189679678167647067832320000000000000000000000), (98, 9426890448883247745626185743057242473809693764078951663494238777294707070023223798882976159207729119823605850588608460429412647567360000000000000000000000), (99, 933262154439441526816992388562667004907159682643816214685929638952175999932299156089414639761565182862536979208272237582511852109168640000000000000000000000), (100, 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000)]
diff --git a/ghc/tests/array/should_run/arr006.hs b/ghc/tests/array/should_run/arr006.hs
new file mode 100644
index 0000000..ff2c561
--- /dev/null
+++ b/ghc/tests/array/should_run/arr006.hs
@@ -0,0 +1,11 @@
+--!!! Array - empty arrays
+-- 
+-- print a couple of them to try to expose empty arrays 
+-- to a GC or two.
+import Array
+
+main =
+ let 
+  a1 = array (1,0) []
+ in
+ print (take 300 $ repeat (a1 :: Array Int Int))
diff --git a/ghc/tests/array/should_run/arr006.stdout b/ghc/tests/array/should_run/arr006.stdout
new file mode 100644
index 0000000..b73eb0b
--- /dev/null
+++ b/ghc/tests/array/should_run/arr006.stdout
@@ -0,0 +1 @@
+[array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) [], array (1, 0) []]
diff --git a/ghc/tests/array/should_run/arr007.hs b/ghc/tests/array/should_run/arr007.hs
new file mode 100644
index 0000000..2a4d9ae
--- /dev/null
+++ b/ghc/tests/array/should_run/arr007.hs
@@ -0,0 +1,11 @@
+--!!! Array - accessing empty arrays
+-- 
+-- empty arrays are legal, but indexing them is undefined!
+--
+import Array
+
+main =
+ let 
+  a1 = array (1,0) [(1,'a')]
+ in
+ print (a1!0)
diff --git a/ghc/tests/array/should_run/arr007.stderr b/ghc/tests/array/should_run/arr007.stderr
new file mode 100644
index 0000000..a4564d8
--- /dev/null
+++ b/ghc/tests/array/should_run/arr007.stderr
@@ -0,0 +1,2 @@
+
+Fail: Ix{Int}.index: Index (1) out of range ((1, 0))
\ No newline at end of file
diff --git a/ghc/tests/array/should_run/arr008.hs b/ghc/tests/array/should_run/arr008.hs
new file mode 100644
index 0000000..6b07292
--- /dev/null
+++ b/ghc/tests/array/should_run/arr008.hs
@@ -0,0 +1,14 @@
+--!!! Array - out-of-range (index,value) pairs
+-- 
+-- supplying a list containing one or more pairs 
+-- with out-of-range index is undefined.
+--
+--
+import Array
+
+main = 
+ let 
+  a1 = array (1,0) []
+  a2 = array (0,1) (zip [0..] ['a'..'z'])
+ in
+ print (a1::Array Int Int) >> print a2
diff --git a/ghc/tests/array/should_run/arr008.stderr b/ghc/tests/array/should_run/arr008.stderr
new file mode 100644
index 0000000..76b7bce
--- /dev/null
+++ b/ghc/tests/array/should_run/arr008.stderr
@@ -0,0 +1,2 @@
+
+Fail: Ix{Int}.index: Index (2) out of range ((0, 1))
\ No newline at end of file
diff --git a/ghc/tests/array/should_run/arr008.stdout b/ghc/tests/array/should_run/arr008.stdout
new file mode 100644
index 0000000..1cc5c43
--- /dev/null
+++ b/ghc/tests/array/should_run/arr008.stdout
@@ -0,0 +1 @@
+array (1, 0) []
diff --git a/ghc/tests/array/should_run/arr009.hs b/ghc/tests/array/should_run/arr009.hs
new file mode 100644
index 0000000..ad9f0a6
--- /dev/null
+++ b/ghc/tests/array/should_run/arr009.hs
@@ -0,0 +1,17 @@
+--!!! Array - derived ops
+-- 
+-- testing the well-behavedness of 
+-- derived ops for empty and non-empty arrays
+--
+import Array
+
+main = 
+ let 
+  a1 = array (1,0) ([]::[(Int,Int)])
+  a2 = array (1,26) (zip [1..] ['a'..'z'])
+
+  dump a = (bounds a, indices a, elems a, assocs a)
+ in
+ print (dump a1) >>
+ print (dump a2)
+
diff --git a/ghc/tests/array/should_run/arr009.stdout b/ghc/tests/array/should_run/arr009.stdout
new file mode 100644
index 0000000..fa000aa
--- /dev/null
+++ b/ghc/tests/array/should_run/arr009.stdout
@@ -0,0 +1,2 @@
+((1, 0), [], [], [])
+((1, 26), [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26], "abcdefghijklmnopqrstuvwxyz", [(1, 'a'), (2, 'b'), (3, 'c'), (4, 'd'), (5, 'e'), (6, 'f'), (7, 'g'), (8, 'h'), (9, 'i'), (10, 'j'), (11, 'k'), (12, 'l'), (13, 'm'), (14, 'n'), (15, 'o'), (16, 'p'), (17, 'q'), (18, 'r'), (19, 's'), (20, 't'), (21, 'u'), (22, 'v'), (23, 'w'), (24, 'x'), (25, 'y'), (26, 'z')])
diff --git a/ghc/tests/array/should_run/arr010.hs b/ghc/tests/array/should_run/arr010.hs
new file mode 100644
index 0000000..ead7d65
--- /dev/null
+++ b/ghc/tests/array/should_run/arr010.hs
@@ -0,0 +1,18 @@
+--!!! Array - accumulated arrays
+-- 
+--
+module Main(main) where
+
+import Array
+import Ix
+
+hist :: (Ix a, Num b) => (a,a) -> [a] -> Array a b
+hist bnds is = accumArray (+) 0 bnds [(i,1) | i <- is , inRange bnds i]
+
+main = 
+ let 
+  a1 = hist (0,10) (concat $ take 2 $ repeat [1..20])
+ in
+ print a1
+
+
diff --git a/ghc/tests/array/should_run/arr010.stdout b/ghc/tests/array/should_run/arr010.stdout
new file mode 100644
index 0000000..403f695
--- /dev/null
+++ b/ghc/tests/array/should_run/arr010.stdout
@@ -0,0 +1 @@
+array (0, 10) [(0, 0), (1, 2), (2, 2), (3, 2), (4, 2), (5, 2), (6, 2), (7, 2), (8, 2), (9, 2), (10, 2)]
diff --git a/ghc/tests/array/should_run/arr011.hs b/ghc/tests/array/should_run/arr011.hs
new file mode 100644
index 0000000..fca26f9
--- /dev/null
+++ b/ghc/tests/array/should_run/arr011.hs
@@ -0,0 +1,20 @@
+--!!! Array - array difference operator
+-- 
+--
+module Main(main) where
+
+import Array
+import Ix
+
+hist :: (Ix a, Num b) => (a,a) -> [a] -> Array a b
+hist bnds is = accumArray (+) 0 bnds [(i,1) | i <- is , inRange bnds i]
+
+main = 
+ let 
+  a1 = hist (0,10) (concat $ take 2 $ repeat [1..20])
+ in
+ print a1 >>
+ print (a1 // [ (i,0) | i<-[0..10], odd i])
+
+
+
diff --git a/ghc/tests/array/should_run/arr011.stdout b/ghc/tests/array/should_run/arr011.stdout
new file mode 100644
index 0000000..798bcaf
--- /dev/null
+++ b/ghc/tests/array/should_run/arr011.stdout
@@ -0,0 +1,2 @@
+array (0, 10) [(0, 0), (1, 2), (2, 2), (3, 2), (4, 2), (5, 2), (6, 2), (7, 2), (8, 2), (9, 2), (10, 2)]
+array (0, 10) [(0, 0), (1, 0), (2, 2), (3, 0), (4, 2), (5, 0), (6, 2), (7, 0), (8, 2), (9, 0), (10, 2)]
diff --git a/ghc/tests/array/should_run/arr012.hs b/ghc/tests/array/should_run/arr012.hs
new file mode 100644
index 0000000..98da45e
--- /dev/null
+++ b/ghc/tests/array/should_run/arr012.hs
@@ -0,0 +1,19 @@
+--!!! Array map operations
+-- 
+--
+module Main(main) where
+
+import Array
+import Char
+
+main = 
+ let 
+  a1 = array (0,10) (zip [0..10] ['a'..'z'])
+ in
+ print a1 >>
+ print (map (toUpper) a1) >>
+ print (ixmap (3,8) (+1) a1)
+
+
+
+