File: array001.hs

package info (click to toggle)
ghc 9.0.2-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 177,780 kB
  • sloc: haskell: 494,441; ansic: 70,262; javascript: 9,423; sh: 8,537; python: 2,646; asm: 1,725; makefile: 1,333; xml: 196; cpp: 167; perl: 143; ruby: 84; 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