From 3fb91e0f448aa4be317a112fdc95673fb99fa6f6 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 15 Jun 2004 13:55:54 +0000 Subject: improved make facility: remember state if fails; does not need source --- src/GF/API.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/API.hs') diff --git a/src/GF/API.hs b/src/GF/API.hs index 77bd71849..c3d160bcd 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -125,8 +125,8 @@ string2GFCat = string2CFCat optFile2grammar :: Options -> FilePath -> IOE GFGrammar optFile2grammar os f = do - gr <- compileModule os emptyShellState f - ioeErr $ grammar2stateGrammar os (fst gr) + ((_,_,gr),_) <- compileModule os emptyShellState f + ioeErr $ grammar2stateGrammar os gr optFile2grammarE :: Options -> FilePath -> IOE GFGrammar optFile2grammarE = optFile2grammar -- cgit v1.2.3