2019-03-13 06:51:49 +01:00
|
|
|
if [ "$EVAL_EXPR" = "true" ]; then
|
|
|
|
ghc -e "$1"
|
|
|
|
else
|
2019-05-21 02:34:51 +02:00
|
|
|
mkdir "$CODEDIR" && cd "$CODEDIR"
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-03-13 06:51:49 +01:00
|
|
|
echo "$1" > program.hs
|
2019-05-17 04:13:47 +02:00
|
|
|
ghc -e main program.hs
|
|
|
|
|
2019-05-21 02:34:51 +02:00
|
|
|
cd .. && rm -rf "$CODEDIR"
|
2019-03-13 06:51:49 +01:00
|
|
|
fi
|