diff options
| author | aarne <aarne@chalmers.se> | 2010-12-10 08:48:26 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-10 08:48:26 +0000 |
| commit | 96433c29146fa79c2e54778dd1c6095d0a54fc1f (patch) | |
| tree | 1fe7e4874c3eaf516040750c40d95c096fa5cd04 /src/compiler/GFI.hs | |
| parent | 8bb09fd64a94cd4b980275ab0a0d7ea35fd179ef (diff) | |
preparing resource api for multilingual documentation
Diffstat (limited to 'src/compiler/GFI.hs')
| -rw-r--r-- | src/compiler/GFI.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GFI.hs b/src/compiler/GFI.hs index 73aebc960..49e68c024 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -111,6 +111,7 @@ loop opts gfenv0 = do let pOpts style q ("-table" :ws) = pOpts TermPrintTable q ws pOpts style q ("-all" :ws) = pOpts TermPrintAll q ws + pOpts style q ("-one" :ws) = pOpts TermPrintOne q ws pOpts style q ("-default":ws) = pOpts TermPrintDefault q ws pOpts style q ("-unqual" :ws) = pOpts style Unqualified ws pOpts style q ("-qual" :ws) = pOpts style Qualified ws |