Module `Reason_omp.Versions`Source

Abstracting an OCaml frontend

Sourcemodule type Ast = sig ... end

Abstract view of a version of an OCaml Ast

type 'a _types = 'a
  constraint
    'a =
    < out_value : _
    ; out_type : _
    ; out_class_type : _
    ; out_module_type : _
    ; out_sig_item : _
    ; out_type_extension : _
    ; out_phrase : _ >

Sourcetype 'a get_out_value = 'x constraint 'a _types = < out_value : 'x.. >

Sourcetype 'a get_out_type = 'x constraint 'a _types = < out_type : 'x.. >

Sourcetype 'a get_out_class_type = 'x constraint 'a _types = < out_class_type : 'x.. >

Sourcetype 'a get_out_module_type = 'x constraint 'a _types = < out_module_type : 'x.. >

Sourcetype 'a get_out_sig_item = 'x constraint 'a _types = < out_sig_item : 'x.. >

Sourcetype 'a get_out_type_extension = 'x constraint 'a _types = < out_type_extension : 'x.. >

Sourcetype 'a get_out_phrase = 'x constraint 'a _types = < out_phrase : 'x.. >

Sourcetype _ witnesses = private ..

A version of the OCaml frontend packs the ast with type witnesses so that equalities can be recovered dynamically.

Sourcetype _ migration_info

migration_info is an opaque type that is used to generate migration functions.

Sourcemodule type OCaml_version = sig ... end

An OCaml frontend versions an Ast, version number and some witnesses for conversion.

Source

type 'types ocaml_version =
  (module OCaml_version
  with type Ast.Outcometree.out_class_type = 'types get_out_class_type
   and type Ast.Outcometree.out_module_type = 'types get_out_module_type
   and type Ast.Outcometree.out_phrase = 'types get_out_phrase
   and type Ast.Outcometree.out_sig_item = 'types get_out_sig_item
   and type Ast.Outcometree.out_type = 'types get_out_type
   and type Ast.Outcometree.out_type_extension = 'types get_out_type_extension
   and type Ast.Outcometree.out_value = 'types get_out_value)

Representing an ocaml version in type language

Concrete frontend instances

Sourcemodule OCaml_402 : OCaml_version with module Ast = Ast_402

Sourceval ocaml_402 : OCaml_402.types ocaml_version

Sourcemodule OCaml_403 : OCaml_version with module Ast = Ast_403

Sourceval ocaml_403 : OCaml_403.types ocaml_version

Sourcemodule OCaml_404 : OCaml_version with module Ast = Ast_404

Sourceval ocaml_404 : OCaml_404.types ocaml_version

Sourcemodule OCaml_405 : OCaml_version with module Ast = Ast_405

Sourceval ocaml_405 : OCaml_405.types ocaml_version

Sourcemodule OCaml_406 : OCaml_version with module Ast = Ast_406

Sourceval ocaml_406 : OCaml_406.types ocaml_version

Sourcemodule OCaml_407 : OCaml_version with module Ast = Ast_407

Sourceval ocaml_407 : OCaml_407.types ocaml_version

Sourcemodule OCaml_408 : OCaml_version with module Ast = Ast_408

Sourceval ocaml_408 : OCaml_408.types ocaml_version

Sourcemodule OCaml_409 : OCaml_version with module Ast = Ast_409

Sourceval ocaml_409 : OCaml_409.types ocaml_version

Sourcemodule OCaml_410 : OCaml_version with module Ast = Ast_410

Sourceval ocaml_410 : OCaml_410.types ocaml_version

Sourcemodule OCaml_411 : OCaml_version with module Ast = Ast_411

Sourceval ocaml_411 : OCaml_411.types ocaml_version

Sourcemodule OCaml_412 : OCaml_version with module Ast = Ast_412

Sourceval ocaml_412 : OCaml_412.types ocaml_version

Sourcemodule OCaml_413 : OCaml_version with module Ast = Ast_413

Sourceval ocaml_413 : OCaml_413.types ocaml_version

Sourcemodule OCaml_414 : OCaml_version with module Ast = Ast_414

Sourceval ocaml_414 : OCaml_414.types ocaml_version

Sourcemodule OCaml_500 : OCaml_version with module Ast = Ast_500

Sourceval ocaml_500 : OCaml_500.types ocaml_version

Sourcemodule OCaml_51 : OCaml_version with module Ast = Ast_51

Sourceval ocaml_51 : OCaml_51.types ocaml_version

Sourcemodule OCaml_52 : OCaml_version with module Ast = Ast_52

Sourceval ocaml_52 : OCaml_52.types ocaml_version

Sourcemodule OCaml_53 : OCaml_version with module Ast = Reason_omp__.Ast_53

Sourceval ocaml_53 : OCaml_53.types ocaml_version

Sourcemodule OCaml_current = OCaml_53

Sourceval ocaml_current : OCaml_current.types ocaml_version

Sourceval all_versions : (module OCaml_version) list

Migrating between different versions

Sourcetype ('a, 'b) type_comparison =

| Lt : ('a, 'b) type_comparison
| Eq : ('a, 'a) type_comparison
| Gt : ('a, 'b) type_comparison

Source

val compare_ocaml_version : 
  'a ocaml_version ->
  'b ocaml_version ->
  ('a, 'b) type_comparison

Sourcetype ('from, 'to_) migration_functions = {

copy_out_value : 'from get_out_value -> 'to_ get_out_value;
copy_out_type : 'from get_out_type -> 'to_ get_out_type;
copy_out_class_type : 'from get_out_class_type -> 'to_ get_out_class_type;
copy_out_module_type : 'from get_out_module_type -> 'to_ get_out_module_type;
copy_out_sig_item : 'from get_out_sig_item -> 'to_ get_out_sig_item;
copy_out_type_extension : 'from get_out_type_extension -> 'to_ get_out_type_extension;
copy_out_phrase : 'from get_out_phrase -> 'to_ get_out_phrase;

}

A record for migrating each AST construct between two known versions

Sourceval migration_identity : ('a, 'a) migration_functions

Migrating to the same version is no-op

Source

val migration_compose : 
  ('a, 'b) migration_functions ->
  ('b, 'c) migration_functions ->
  ('a, 'c) migration_functions

Migrations can be composed

Represent the next or previous version of an Ast

Sourcetype 'from immediate_migration =

| No_migration : 'from immediate_migration
(*
Cannot migrate earliest or latest supported version
*)
| Immediate_migration : ('from, 'to_) migration_functions * 'to_ ocaml_version -> 'from immediate_migration
(*
Pack the migration functions and the new version
*)

Source

val immediate_migration : 
  'types ocaml_version ->
  [< `Next | `Previous ] ->
  'types immediate_migration

Source

val migrate : 
  'from ocaml_version ->
  'to_ ocaml_version ->
  ('from, 'to_) migration_functions

Convenience definitions

Sourcemodule Convert (A : OCaml_version) (B : OCaml_version) : sig ... end

Module level migration

package reason

Module Reason_omp.VersionsSource

Abstracting an OCaml frontend

Concrete frontend instances

Migrating between different versions

Convenience definitions

Module `Reason_omp.Versions`Source