Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- fun pretvori(pair: pattern) =
- case pair of
- VariableP a => Variable a
- | ConstantP a => Constant a
- | PairP [a,b] => Pair [pretvori(a), pretvori(b)]
- | OperatorP(a, b) => Operator(a, (pretvori(b)))
- | ListP a => case a of
- h::nil => List [pretvori(h)]
- |h::t => ([pretvori(h)] @ [] @ [pretvori(ListP t)])
- (*|h::t => List ([pretvori(h)] @ [] @ [pretvori(ListP t)])*)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement