package reason

  1. Overview
  2. Docs
Reason: Syntax & Toolchain for OCaml

Install 

dune-project
 Dependency

reasonml.github.io Readme Changelog Edit opam file Versions (19)

Authors

  1. J
    Jordan Walke <jordojw@gmail.com>

Maintainers

  1. J
    Jordan Walke <jordojw@gmail.com>
  2. A
    Antonio Nuno Monteiro <anmonteiro@gmail.com>

Sources

reason-3.17.3.tbz
sha256=01c4591b8213ad8c71b6e9f1d180eabd200d441936ee27fe9f99646b75f9865c
sha512=f167097b3254fbf400bb816275f84157a0a9c691ebc877861e80b1c32c7e2ebc553e0a6a0ef073ec89c2c20ce80c42959dc89811e49712edd0c1fe6dce4a90e9

doc/reason.ocaml-migrate-parsetree/Reason_omp/Versions/index.html

Module Reason_omp.VersionsSource

Abstracting an OCaml frontend

Sourcemodule type Ast = sig ... end

Abstract view of a version of an OCaml Ast

Sourcetype '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.

Representing an ocaml version in type language

Concrete frontend instances

Sourcemodule OCaml_402 : OCaml_version with module Ast = Ast_402
Sourcemodule OCaml_403 : OCaml_version with module Ast = Ast_403
Sourcemodule OCaml_404 : OCaml_version with module Ast = Ast_404
Sourcemodule OCaml_405 : OCaml_version with module Ast = Ast_405
Sourcemodule OCaml_406 : OCaml_version with module Ast = Ast_406
Sourcemodule OCaml_407 : OCaml_version with module Ast = Ast_407
Sourcemodule OCaml_408 : OCaml_version with module Ast = Ast_408
Sourcemodule OCaml_409 : OCaml_version with module Ast = Ast_409
Sourcemodule OCaml_410 : OCaml_version with module Ast = Ast_410
Sourcemodule OCaml_411 : OCaml_version with module Ast = Ast_411
Sourcemodule OCaml_412 : OCaml_version with module Ast = Ast_412
Sourcemodule OCaml_413 : OCaml_version with module Ast = Ast_413
Sourcemodule OCaml_414 : OCaml_version with module Ast = Ast_414
Sourcemodule OCaml_500 : OCaml_version with module Ast = Ast_500
Sourcemodule OCaml_51 : OCaml_version with module Ast = Ast_51
Sourcemodule OCaml_52 : OCaml_version with module Ast = Ast_52
Sourcemodule OCaml_53 : OCaml_version with module Ast = Ast_53
Sourcemodule OCaml_54 : OCaml_version with module Ast = Ast_54
Sourcemodule OCaml_current = OCaml_54
Sourceval all_versions : (module OCaml_version) list

Migrating between different versions

Sourcetype ('a, 'b) type_comparison =
  1. | Lt : ('a, 'b) type_comparison
  2. | Eq : ('a, 'a) type_comparison
  3. | Gt : ('a, 'b) type_comparison
Sourceval compare_ocaml_version : 'a ocaml_version -> 'b ocaml_version -> ('a, 'b) type_comparison
Sourcetype ('from, 'to_) migration_functions = {
  1. copy_out_value : 'from get_out_value -> 'to_ get_out_value;
  2. copy_out_type : 'from get_out_type -> 'to_ get_out_type;
  3. copy_out_class_type : 'from get_out_class_type -> 'to_ get_out_class_type;
  4. copy_out_module_type : 'from get_out_module_type -> 'to_ get_out_module_type;
  5. copy_out_sig_item : 'from get_out_sig_item -> 'to_ get_out_sig_item;
  6. copy_out_type_extension : 'from get_out_type_extension -> 'to_ get_out_type_extension;
  7. 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

Sourceval 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 =
  1. | No_migration : 'from immediate_migration
    (*

    Cannot migrate earliest or latest supported version

    *)
  2. | Immediate_migration : ('from, 'to_) migration_functions * 'to_ ocaml_version -> 'from immediate_migration
    (*

    Pack the migration functions and the new version

    *)
Sourceval immediate_migration : 'types ocaml_version -> [< `Next | `Previous ] -> 'types immediate_migration
Sourceval 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