Levent Erkök

I'm having precisely this same issue. Would be great if you could add support!

Thanks Neil! Unfortunately that's not quite what I want. I still want this to be a valid parameter to the program, just not displayed in the "help" output. I've found...

Thanks! I'll close this ticket; but feel free to re-open it if you want to implement something! It's definitely a nice-to-have. Much appreciated.

In case this helps anyone else, I found a workaround that sort of works. You first do: ```haskell allNames :: [String] allNames = concatMap flagNames $ modeFlags defaultOptions ``` where...

@ndmitchell Is there any update on this? It would be nice if the program gets access to "unknown flags" instead of cmdargs just throwing an error for better error reporting...

NB. In the above example, if "f" has only one argument (drop the "y"), we get a valid program as output since "s0" happens to be available in the outer...

Things have changed since 2015, but this bug is still there! Here's the new program to exhibit this very same behavior: ```haskell import Data.SBV import Control.Monad.Trans f :: SWord32 ->...

Now in 2019, Also possible to create this using queries: ```haskell import Data.SBV import Data.SBV.Control import Control.Monad.Trans leak :: IO SBool leak = runSMT $ do x

There's some info here: http://www.gnu.org/software/libc/manual/html_node/Rounding.html Note the caveat listed there: "You should avoid changing the rounding mode if possible. It can be an expensive operation; also, some hardware requires you...

Some notes. It's really tricky to get these bounds. Here's an example where even Boost gets it wrong: https://svn.boost.org/trac10/ticket/12252 Since this ticket is 3 years old, I'm not sure if...