CurryInfo: verify-non-fail-2.0.0 / Verify.ESMT.addInstancesOfSigs

 
addInstancesOfSigs :: [QIdent] -> [FunSigTerm] -> ([QIdent], [FunSigTerm])
addInstancesOfSigs qids allsigs = addInstsOfSigs qids allsigs
 where
  addInstsOfSigs qids0 []         = (qids0,[])
  addInstsOfSigs qids0 (fts:ftss) =
    let (qids1,fts1) = addInstancesOfSig qids0 allsigs fts
        (qids2,fts2) = addInstsOfSigs qids1 ftss
    in (qids2, fts1 ++ fts2)

 argument 2

 deterministic operation

 
Adds to given (polymorphic) define-sig elements all its type instances
required by qualified identifiers occurring in the first argument
provided that it does not already occur in the sig elements.
The list of unused qualified identifiers is also returned.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_) |-> {(,)}}

 addInstancesOfSigs

 no precedence defined

 {(,)}

 [QIdent] -> [([String], FunSig, Term)] -> ([QIdent], [([String], FunSig, Term)])

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term