GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-20 08:32:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Export modifyFlags and modifyModuleFlags from GF.Infra.Options.

Browse Source
This commit is contained in:
bjorn
2008-08-24 14:52:49 +00:00
parent b8fae8f5a4
commit c42e4c0690
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/GF/Infra/Option.hs
View File

@@ -14,6 +14,7 @@ module GF.Infra.Option
addOptions, concatOptions, noOptions, addOptions, concatOptions, noOptions,
moduleOptions, moduleOptions,
addModuleOptions, concatModuleOptions, noModuleOptions, addModuleOptions, concatModuleOptions, noModuleOptions,
modifyFlags, modifyModuleFlags,
helpMessage, helpMessage,
-- * Checking specific options -- * Checking specific options
flag, moduleFlag, flag, moduleFlag,