Skip to content

Instantly share code, notes, and snippets.

@bitc
Created November 10, 2017 14:07
Show Gist options
  • Save bitc/27d887bf2245daee26ee300509a2136d to your computer and use it in GitHub Desktop.
Save bitc/27d887bf2245daee26ee300509a2136d to your computer and use it in GitHub Desktop.
#!/bin/bash
case $1 in
"--interactive")
echo $@ > /dev/stderr
;;
*)
ghc $@
;;
esac
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment