From 96433c29146fa79c2e54778dd1c6095d0a54fc1f Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 10 Dec 2010 08:48:26 +0000 Subject: preparing resource api for multilingual documentation --- src/compiler/GFI.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/compiler/GFI.hs') 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 -- cgit v1.2.3