blob: ccc078efd77a76db37688d5265f94dd81a7a3ca6 (
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
25
26
27
28
29
30
31
|
#!/bin/bash
# Generate $DEPTH layers of modules with $WIDTH modules on each layer
# Every module on layer N imports all the modules on layer N-1
# $ROOT.hs imports all the modules from the last layer
# Every module defines a datatype that derives Generic.
# The derived Generic defines one 'Rep' type family instance.
DEPTH=2
WIDTH=100
ROOT=T13719
for i in $(seq -w 1 $WIDTH); do
l=0
echo "{-# LANGUAGE DeriveGeneric #-}" > DummyLevel${l}M$i.hs;
echo "module DummyLevel${l}M$i where" >> DummyLevel${l}M$i.hs;
echo "import GHC.Generics" >> DummyLevel${l}M$i.hs;
echo "data DummyLevel${l}M${i}G = DummyLevel${l}M${i}G deriving Generic" >> DummyLevel${l}M$i.hs;
done
for l in $(seq 1 $DEPTH); do
for i in $(seq -w 1 $WIDTH); do
echo "{-# LANGUAGE DeriveGeneric #-}" > DummyLevel${l}M$i.hs;
echo "module DummyLevel${l}M$i where" >> DummyLevel${l}M$i.hs;
echo "import GHC.Generics" >> DummyLevel${l}M$i.hs;
for j in $(seq -w 1 $WIDTH); do
echo "import DummyLevel$((l-1))M$j" >> DummyLevel${l}M$i.hs;
done
echo "data DummyLevel${l}M${i}G = DummyLevel${l}M${i}G deriving Generic" >> DummyLevel${l}M$i.hs;
done
done
echo "module ${ROOT} where" > $ROOT.hs
for j in $(seq -w 1 $WIDTH); do
echo "import DummyLevel${DEPTH}M$j" >> $ROOT.hs;
done
|
