Advertisement
Guest User

Untitled

a guest
Nov 16th, 2017
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. fun pretvori(pair: pattern) =
  2.     case pair of
  3.         VariableP a => Variable a
  4.         | ConstantP a => Constant a
  5.         | PairP [a,b] => Pair [pretvori(a), pretvori(b)]
  6.         | OperatorP(a, b) => Operator(a, (pretvori(b)))
  7.         | ListP a => case a of
  8.             h::nil => List [pretvori(h)]
  9.             |h::t =>  ([pretvori(h)] @ [] @ [pretvori(ListP t)])
  10.             (*|h::t => List ([pretvori(h)] @ [] @ [pretvori(ListP t)])*)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement