#!/bin/sh

if [ -z "$*" ]
then
    echo "Usage: dkrun module.dko [DEPENDENCY]..." 1>&2
    echo "    Where all dependent modules must be listed explicitly," 1>&2
    echo "    after the module to typecheck." 1>&2
    exit 1
fi

main=$1
shift 1

echo "do t <- Dedukti.Runtime.start; main; Dedukti.Runtime.stop t
      System.Posix.Process.exitImmediately (System.Exit.ExitFailure 1)" | ghci -x hs -XOverloadedStrings -fglasgow-exts -w $* $main