2019-03-13 06:51:49 +01:00
|
|
|
if [ "$EVAL_EXPR" = "true" ]; then
|
|
|
|
|
ghc -e "$1"
|
|
|
|
|
else
|
2019-05-15 02:21:34 +02:00
|
|
|
mkdir "$COUNT" && cd "$COUNT"
|
|
|
|
|
|
2019-03-13 06:51:49 +01:00
|
|
|
echo "$1" > program.hs
|
2019-05-15 02:21:34 +02:00
|
|
|
ghc -O0 -j +RTS -A128m -n2m -RTS \
|
|
|
|
|
-no-keep-o-files -no-keep-hi-files \
|
|
|
|
|
program.hs >/dev/null \
|
|
|
|
|
&& ./program
|
|
|
|
|
|
|
|
|
|
cd .. && rm -rf "$COUNT"
|
2019-03-13 06:51:49 +01:00
|
|
|
fi
|
