CurryInfo: call-analysis-3.2.0 / TRS.showBasicTerm

 
showBasicTerm :: Bool -> Term -> String
showBasicTerm _ (Var i) = 'x' : show i
showBasicTerm _ (Func _ f []) = showOperator f
showBasicTerm withp (Func _ f [x]) =
  encloseInPar withp (showOperator f ++ ' ':showBasicTerm True x)
showBasicTerm withp (Func _ f args@(_:_:_))
  | f == "LET"    = encloseInPar withp ("let\n" ++ showLetExp args)
  | f == "LAMBDA" = encloseInPar withp (showLambdaExp args)
  | take 2 f == "(,"
   = '(' : intercalate "," (map (showBasicTerm False) args) ++ ")"
  | not (isAlpha (head f)) && length args == 2
   = encloseInPar withp
                  (showBasicTerm True (head args) ++ ' ':f ++
                     ' ':showBasicTerm True (args!!1))
  | otherwise
   = encloseInPar withp (showOperator f ++
                         concatMap (\a -> ' ':showBasicTerm True a) args)

 argument 2

 deterministic operation

 
show a term (first argument: enclose in parentheses?)

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,{Var}) |-> {:} || (_,{Func}) |-> _}

 showBasicTerm

 no precedence defined

 _

 Prelude.Bool -> Term -> String

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term