| definition: |
rcParams :: IO FrontendParams
rcParams = do
rcfile <- curryrcFileName
[mbExtended,mbOverlapWarn] <- getPropertiesFromFile rcfile
["curryextensions","warnoverlapping"]
return $ setExtended (mbExtended /= Just "no")
$ setOverlapWarn (mbOverlapWarn /= Just "no")
$ defaultParams
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- The default parameters of the front end as configured by the compiler --- specific resource configuration file. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> _}
|
| name: |
rcParams |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Prelude.IO FrontendParams |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |