package ocaml-base-compiler

  1. Overview
  2. Docs
type compilation_env = {
  1. ce_stack : int Ident.tbl;
  2. ce_heap : int Ident.tbl;
  3. ce_rec : int Ident.tbl;
}
type debug_event = {
  1. mutable ev_pos : int;
  2. ev_module : string;
  3. ev_loc : Location.t;
  4. ev_kind : debug_event_kind;
  5. ev_info : debug_event_info;
  6. ev_typenv : Env.summary;
  7. ev_typsubst : Subst.t;
  8. ev_compenv : compilation_env;
  9. ev_stacksize : int;
  10. ev_repr : debug_event_repr;
}
and debug_event_kind =
  1. | Event_before
  2. | Event_after of Types.type_expr
  3. | Event_pseudo
and debug_event_info =
  1. | Event_function
  2. | Event_return of int
  3. | Event_other
and debug_event_repr =
  1. | Event_none
  2. | Event_parent of int Pervasives.ref
  3. | Event_child of int Pervasives.ref
type label = int
type instruction =
  1. | Klabel of label
  2. | Kacc of int
  3. | Kenvacc of int
  4. | Kpush
  5. | Kpop of int
  6. | Kassign of int
  7. | Kpush_retaddr of label
  8. | Kapply of int
  9. | Kappterm of int * int
  10. | Kreturn of int
  11. | Krestart
  12. | Kgrab of int
  13. | Kclosure of label * int
  14. | Kclosurerec of label list * int
  15. | Koffsetclosure of int
  16. | Kgetglobal of Ident.t
  17. | Ksetglobal of Ident.t
  18. | Kconst of Lambda.structured_constant
  19. | Kmakeblock of int * int
  20. | Kmakefloatblock of int
  21. | Kgetfield of int
  22. | Ksetfield of int
  23. | Kgetfloatfield of int
  24. | Ksetfloatfield of int
  25. | Kvectlength
  26. | Kgetvectitem
  27. | Ksetvectitem
  28. | Kgetstringchar
  29. | Ksetstringchar
  30. | Kbranch of label
  31. | Kbranchif of label
  32. | Kbranchifnot of label
  33. | Kstrictbranchif of label
  34. | Kstrictbranchifnot of label
  35. | Kswitch of label array * label array
  36. | Kboolnot
  37. | Kpushtrap of label
  38. | Kpoptrap
  39. | Kraise of Lambda.raise_kind
  40. | Kcheck_signals
  41. | Kccall of string * int
  42. | Knegint
  43. | Kaddint
  44. | Ksubint
  45. | Kmulint
  46. | Kdivint
  47. | Kmodint
  48. | Kandint
  49. | Korint
  50. | Kxorint
  51. | Klslint
  52. | Klsrint
  53. | Kasrint
  54. | Kintcomp of Lambda.comparison
  55. | Koffsetint of int
  56. | Koffsetref of int
  57. | Kisint
  58. | Kisout
  59. | Kgetmethod
  60. | Kgetpubmet of int
  61. | Kgetdynmet
  62. | Kevent of debug_event
  63. | Kstop
val immed_min : int
val immed_max : int
OCaml

Innovation. Community. Security.