From cac5b9ff0da5729cab6a9eab8f2827512158bd95 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 29 Nov 2011 18:45:51 +0000 Subject: [PATCH] fix the compilation after the patch for the new type checker --- src/compiler/GF/Compile.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)