#!/bin/bash
(echo '"TESTING START"'; echo "$2") | ghci -ignore-dot-ghci $1 2>&1 | sed -n '/TESTING START/,$p' | sed 's/ *$//'