CurryInfo: call-analysis-3.2.0 / TRS.varsOf

 
varsOf :: Term -> [Int]
varsOf (Var v) = [v]
varsOf (Func _ f args)
  | f == "LAMBDA" = let (largs,lexp) = splitAt (length args - 1) args
                     in varsOf (head lexp) \\ concatMap varsOf largs
  | f == "LET" 
   = let (bindings,lexp) = splitAt (length args - 1) args
         bvars = concatMap (\ (Func _ _ [bvar,_]) -> varsOf bvar) bindings
      in varsOf (head lexp) \\ bvars
  | otherwise = foldr union [] (map varsOf args)

 argument 1

 deterministic operation

 
get all variables in a term:

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 varsOf

 no precedence defined

 _

 Term -> [Prelude.Int]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term