#!/bin/sh

set -e

WORKDIR=$(mktemp -d)
trap "rm -rf $WORKDIR" 0 INT QUIT ABRT PIPE TERM

cat >${WORKDIR}/blah.hs <<EOF
import Codec.Encryption.OpenPGP.Types

main :: IO ()
main = print (fromFVal AES256 == 9)
EOF

cd ${WORKDIR}

ghc -o ${WORKDIR}/blah ${WORKDIR}/blah.hs
echo "build: OK"

truth=$(${WORKDIR}/blah)

case "${truth}" in
  (True)
  echo "run: OK"
  ;;
  (*)
  echo >&2 "unexpected result (${truth}): failure"
  exit 1
  ;;
esac

