diff options
| author | aarne <unknown> | 2004-06-15 13:55:54 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-15 13:55:54 +0000 |
| commit | 3fb91e0f448aa4be317a112fdc95673fb99fa6f6 (patch) | |
| tree | bfa5f16b457b06eca610541663776051d6deb66e /src/GF/API.hs | |
| parent | 652618742aa1dd10b1a53bb132a476a91f1dc3ba (diff) | |
improved make facility: remember state if fails; does not need source
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |