Add Config.Dyre.Options.removeDyreOptions #7

Merged
merged 1 commit into from Jul 26, 2012

Conversation

Projects
None yet
2 participants
Contributor

reinerp commented Jun 24, 2011

This is a pure variant of 'withDyreOptions', which (more importantly) doesn't require a 'Params' argument.

In Yi, we process commandline arguments before running Dyre, and we build the Params based on the result of commandline argument processing. We need removeDyreOptions to write something like this:

yi cfg = do
   args <- getArgs
   let params = processArgs (removeDyreOptions args)
   wrapMain params cfg

Without removeDyreOptions, we are forced to use 'withDyreOptions' with a dummy Params object.

@willdonnelly willdonnelly added a commit that referenced this pull request Jul 26, 2012

@willdonnelly willdonnelly Merge pull request #7 from reinerp/master
Add Config.Dyre.Options.removeDyreOptions
54d3318

@willdonnelly willdonnelly merged commit 54d3318 into willdonnelly:master Jul 26, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment