From bf74f50733840b0bcec81ac265c824ae2bc3f675 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 22 Mar 2010 21:15:29 +0000 Subject: store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet --- src/compiler/GFI.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/compiler/GFI.hs') diff --git a/src/compiler/GFI.hs b/src/compiler/GFI.hs index 84bfc43c5..e80403145 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -120,7 +120,7 @@ loop opts gfenv0 = do (style,q,s) = pOpts TermPrintDefault Qualified (tail (words s0)) - checkComputeTerm gr t = do + checkComputeTerm gr (L _ t) = do mo <- maybe (Bad "no source grammar in scope") return $ greatestResource gr ((t,_),_) <- runCheck $ do t <- renameSourceTerm gr mo t inferLType gr [] t @@ -128,7 +128,7 @@ loop opts gfenv0 = do case runP pExp (BS.pack s) of Left (_,msg) -> putStrLn msg - Right t -> case checkComputeTerm sgr (codeTerm (decode gfenv) t) of + Right t -> case checkComputeTerm sgr (codeTerm (decode gfenv) (L (0,0) t)) of Ok x -> putStrLn $ enc (showTerm sgr style q x) Bad s -> putStrLn $ enc s loopNewCPU gfenv -- cgit v1.2.3