summaryrefslogtreecommitdiff
path: root/test/testinterp/t100-pushtrap.ml
blob: 7b02a86276a72f0db122ac758201be3e57ebd05c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
open Lib;;
try raise Not_found
with _ -> ()
;;

(**
       0 CONSTINT 42
       2 PUSHACC0 
       3 MAKEBLOCK1 0
       5 POP 1
       7 SETGLOBAL Lib
       9 PUSHTRAP 16
      11 GETGLOBAL Not_found
      13 MAKEBLOCK1 0
      15 RAISE 
      16 PUSHCONST0 
      17 POP 1
      19 ATOM0 
      20 SETGLOBAL T100-pushtrap
      22 STOP 
**)