(setq defun (nlambda ((name args body env1) env2) (eval (list (quote setq) name (list (quote lambda) args body ) ) (if (eq nil env1) env2 (eval env1 env2)) ) ) ) (setq ndefun (nlambda ((name args body env1) env2) (eval (list (quote setq) name (list (quote nlambda) args body ) ) (if (eq nil env1) env2 (eval env1 env2)) ) ) ) (defun null (l) (eq l nil)) (defun nthTail (n l) (do ((n n (minus n 1)) (l l (cdr l))) ((gt n 0) l) nil)) (ndefun curEnv (args env) env) (defun type (x) (cedarStmt "{ &yield[SafeStorage.GetReferentType[x]] }" ) ) (defun fmtType (x) (cedarStmt "{ s: IO.STREAM _ IO.ROS[]; IO.PutRope[s, \"REF \"]; PrintTV.PrintType[SafeStorage.GetReferentType[x], s]; &yield[IO.RopeFromROS[s]] }" ) ) 6MispStandards.misp Spreitzer, July 23, 1985 0:15:23 am PDT (defun type (x) (letrec ( (s (cedar "IO.ROS[]")) (y (cedar "PrintTV.PrintType[SafeStorage.GetReferentType[x], s]")) (z (cedar "IO.RopeFromROS[s]")) ) z ) ) (defun type (x) (let ((z 1)) (prog (cedar "{ s: IO.STREAM _ IO.ROS[]; PrintTV.PrintType[SafeStorage.GetReferentType[x], s]; z _ IO.RopeFromROS[s] }" ) z ) ) ) (defun type (x) (cedar "{ Foo: PROC RETURNS [REF ANY] = { s: IO.STREAM _ IO.ROS[]; PrintTV.PrintType[SafeStorage.GetReferentType[x], s]; RETURN [IO.RopeFromROS[s]] }; z _ Foo[]; }" ) ) Κτ˜codešœ™K™'—K˜˜K˜˜K˜˜˜K˜ K˜˜K˜K˜K˜—K˜—K˜K˜(—K˜—K˜—K˜K˜˜K˜˜K˜˜˜K˜ K˜˜K˜K˜K˜—K˜—K˜K˜(—K˜—K˜—K˜K˜K˜K˜K˜MK˜K˜K˜™™™K™KšœB™BK™—K™K™—K™—K™K˜˜šœ ˜ Kšœ&˜&Kšœ˜—K˜—K˜K˜˜šœ ˜ Kšœ˜K˜Kšœ5˜5Kšœ˜Kšœ˜—K˜—K˜K˜™šœ™Kšœ™šœ™šœ ™ Kšœ™Kšœ5™5Kšœ™Kšœ™—Kšœ™K™—K™—K™—K™K˜™šœ ™ š ΟnœΟkœžœžœžœ™Kš œžœžœžœžœ™Kšœ5™5Kšžœžœ™Kšœ™—K™ K™—K™—K™—…—Πϊ