diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 18:45:51 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 18:45:51 +0000 |
| commit | f9af731c9c850899798701837df0621cac1d1f5c (patch) | |
| tree | ab0f6913468b475245e451d2146af5277d4f6ced /src | |
| parent | d9f8ed932fb83d05b09d7b388bab1611f17aedd1 (diff) | |
fix the compilation after the patch for the new type checker
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) |