UniTO/tesi/traces/example9bis.lambda
2024-10-29 09:11:05 +01:00

9 lines
285 B
Text
Executable file

(setglobal Example9bis!
(let
(test/81 =
(function param/82
(catch (if (!= param/82 0) (observe 0) (exit 1)) with (1)
(raise
(makeblock 0 (global Match_failure/18!)
[0: "example9bis.ml" 4 11])))))
(makeblock 0 test/81)))