diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile.hs b/src/compiler/GF/Compile.hs index a52167450..f5cbde7b7 100644 --- a/src/compiler/GF/Compile.hs +++ b/src/compiler/GF/Compile.hs @@ -209,7 +209,7 @@ compileSourceModule opts env@(k,gr,_) mb_gfFile mo@(i,mi) = do warnOut opts warnings intermOut opts DumpRename (ppModule Internal mo2) - (mo3,warnings) <- putpp " type checking" $ ioeErr $ runCheck (checkModule mos mo2) + (mo3,warnings) <- putpp " type checking" $ ioeErr $ runCheck (checkModule opts mos mo2) warnOut opts warnings intermOut opts DumpTypeCheck (ppModule Internal mo3) |