diff options
Diffstat (limited to 'ghc/runtime/hooks/ErrorHdr.lc')
-rw-r--r-- | ghc/runtime/hooks/ErrorHdr.lc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/ghc/runtime/hooks/ErrorHdr.lc b/ghc/runtime/hooks/ErrorHdr.lc new file mode 100644 index 0000000000..87435f9901 --- /dev/null +++ b/ghc/runtime/hooks/ErrorHdr.lc @@ -0,0 +1,10 @@ +\begin{code} +#include "rtsdefs.h" + +void +ErrorHdrHook (where) + FILE *where; +{ + fprintf(where, "\nFail: "); +} +\end{code} |