package ocaml-base-compiler

  1. Overview
  2. Docs
Package contains no libraries
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct