SHARE
TWEET

Untitled

a guest Feb 26th, 2020 96 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. exec (SeqStmt []) penv env = ("exn: No match in env2", H.empty, H.empty)
  2. exec (SeqStmt (x:xs)) penv env = aux (x:xs) "" penv env
  3.                                 where aux [] x penv env = (x, penv, env)
  4.                                       aux (s:ss) x penv env = aux ss (x++j) (H.union penv1 penv) (H.union env1 env)
  5.                                         where (j, penv1, env1) = exec s penv env
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top