search

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6 stars 0 forks source link

Missing `--no-config-file` command-line option #84

Closed asr closed 7 years ago

asr commented 7 years ago

For debugging purpose, I miss a --no-config-file command-line option which tells to Apia does not use the .apia file.

jonaprieto commented 7 years ago

It seems just ignore it in the getDefaults function at the end of the Defaults.hs module.

  let allFiles ∷ [FilePath]
      allFiles = userFiles ++ [defaultApia]

Replacing it with something like: 

  let allFiles ∷ [FilePath]
      allFiles = (if optNoConfigFile opts then [] else userFiles) ++ [defaultApia]

where optNoConfigFile is assigned to handle --no-config-file command line option.

asr commented 7 years ago

Replacing it with something like: 

let allFiles ∷ [FilePath]
allFiles = (if optNoConfigFile opts then [] else userFiles) ++ [defaultApia]

That replace didn't work because I have no access to the current options (i.e. your opts) when defining allFiles.