File: array001.hs

package info (click to toggle)
ghc 8.0.1-17
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 55,080 kB
  • ctags: 9,332
  • sloc: haskell: 363,120; ansic: 54,900; sh: 4,782; makefile: 974; perl: 542; asm: 315; python: 306; xml: 154; lisp: 7
file content (34 lines) | stat: -rw-r--r-- 813 bytes parent folder | download | duplicates (12)
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
27
28
29
30
31
32
33
34
-- !!! Testing that #4827 is fixed (hPutArray/hGetArray use count argument)
module Main(main) where

import Control.Monad

import Data.Array.MArray
import Data.Array.IO

import System.IO

main :: IO ()
main = do
  the_array <- newListArray (0, 11) [1..12]
  
  -- Write out almost all of the array
  h_out <- openBinaryFile "array001.data" WriteMode
  hPutArray h_out the_array 11
  hClose h_out
  
  
  the_array <- newListArray (0, 11) [0 | i <- [1..12]]
  
  -- Read in almost all of the array
  h_in <- openBinaryFile "array001.data" ReadMode
  wrote_size <- hFileSize h_in
  hGetArray h_in the_array 10
  hClose h_in

  
  read_elems <- getElems the_array
  
  
  print wrote_size -- Bytes written, should == 11
  print read_elems -- Bytes read, should match written array in first 10 bytes, be 0 afterwards