diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 15:58:16 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-15 16:13:39 +0100 |
commit | 3db0b64a6f3e28ae6cc351e6c84290d4db905fa7 (patch) | |
tree | 91cfd4aa41e5c827d03956458aba8858a1ef245d /lc/Internals.lc | |
parent | e2f4415e606cd7c1c2b6ca986c68f6f956bf1a6e (diff) |
put trace info in .out files
Diffstat (limited to 'lc/Internals.lc')
-rw-r--r-- | lc/Internals.lc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lc/Internals.lc b/lc/Internals.lc index 72386f16..8a8bfe6f 100644 --- a/lc/Internals.lc +++ b/lc/Internals.lc | |||
@@ -1,4 +1,5 @@ | |||
1 | {-# LANGUAGE NoImplicitPrelude #-} | 1 | {-# LANGUAGE NoImplicitPrelude #-} |
2 | {-# LANGUAGE TraceTypeCheck #-} | ||
2 | -- declarations of builtin functions and data types used by the compiler | 3 | -- declarations of builtin functions and data types used by the compiler |
3 | module Internals where | 4 | module Internals where |
4 | 5 | ||