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 | |
| parent | e2f4415e606cd7c1c2b6ca986c68f6f956bf1a6e (diff) | |
put trace info in .out files
Diffstat (limited to '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 | ||