| definition: |
currentFrontendParams :: ReplState -> Bool -> FrontendParams
currentFrontendParams rst quiet =
setQuiet quiet
$ setFrontendPath (ccFrontend cc)
$ setFullPath (loadPaths rst)
$ setExtended (rcValue (rcVars rst) "curryextensions" /= "no")
$ setOverlapWarn (rcValue (rcVars rst) "warnoverlapping" /= "no")
$ setSpecials (parseOpts rst)
$ setDefinitions [("__" ++ map toUpper (ccName cc) ++ "__", maj*100 + min)]
$ setOutDir (compilerOutDir rst)
defaultParams
where
cc = compiler rst
(maj,min,_) = ccVersion cc
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Compute the front-end parameters for the current state: |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
currentFrontendParams |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
REPL.State.ReplState -> Prelude.Bool -> System.FrontendExec.FrontendParams |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |