blob: 2ccbb67407c90eced59ec1533f8cef54a45298d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/usr/bin/env bash
RECORDS=15
FIELDS=20
UPDATES_PER_RECORD=5
echo "{-# LANGUAGE DuplicateRecordFields #-}" > RecordUpdPerf.hs
echo "module RecordUpdPerf where" >> RecordUpdPerf.hs
for r in $(seq -w 1 $RECORDS); do
echo "data R$r = MkR$r {" >> RecordUpdPerf.hs
for f in $(seq -w 1 $FIELDS); do
echo " r$f :: Int," >> RecordUpdPerf.hs
echo " s${r}_$f :: Int," >> RecordUpdPerf.hs
done
echo " t :: Bool }" >> RecordUpdPerf.hs
done
for u in $(seq -w 1 $UPDATES_PER_RECORD); do
for r in $(seq -w 1 $RECORDS); do
echo "f${r}_$u r = r {" >> RecordUpdPerf.hs
for f in $(seq -w 1 $FIELDS); do
echo " r$f = $u * $r * $f," >> RecordUpdPerf.hs
done
echo " s${r}_$FIELDS = $u + $r }" >> RecordUpdPerf.hs
done
done
|