#!/bin/bash
# This is to check if all automatically generated hs files compile:
echo “Generate hs files from md files:”
./generatehs
echo “Now compile the hs files to check correctness”
for file in *.hs; do
ghci “$file”
done
#!/bin/bash
# This is to check if all automatically generated hs files compile:
echo “Generate hs files from md files:”
./generatehs
echo “Now compile the hs files to check correctness”
for file in *.hs; do
ghci “$file”
done