CurryInfo: verify-non-fail-2.0.0 / Verify.ProgInfo.transformChoiceInProg

definition: Info
 
transformChoiceInProg :: Prog -> Prog
transformChoiceInProg = updProgExps (updCombs replaceChoiceCall)
 where
  replaceChoiceCall ct qf es =
    if ct == FuncCall && qf == pre "?" && length es == 2
      then Or (es!!0) (es!!1)
      else Comb ct qf es
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Replace all occurrences of `Prelude.?` in a FlatCurry program by
`Or` expressions.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {() |-> _}
name: Info
 transformChoiceInProg
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 FlatCurry.Types.Prog -> FlatCurry.Types.Prog
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term