Up  

Module Inline_records

module Inline_records: sig .. end

This test focuses on the printing of documentation for inline record within the latex generator.

exception Simple

A nice exception

exception Less of int

A less simple exception

type ext = ..

An open sum type

type r = {
   lbl : int; (*

Field documentation for non-inline, lbl : int

*)
   more : int list; (*

More documentation for r, more : int list

*)
}

A simple record type for reference

type t =
| A of {
   lbl : int; (*

A field documentation

*)
   more : int list; (*

More A field documentation

*)
} 		(*

Constructor documentation

*)

A sum type with one inline record

type s =
| B of {
   a_label_for_B : int; (*

B field documentation

*)
   more_label_for_B : int list; (*

More B field documentation

*)
} 		(*

Constructor B documentation

*)
| C of {
   c_has_label_too : float; (*

C field documentation

*)
   more_than_one : unit; (*

... documentations

*)
} 		(*

Constructor C documentation

*)

A sum type with two inline records

type any =
| D : {
   any : 'a; (*

A field any:'a for D in any.

*)
} -> any		 (*

Constructor D documentation

*)

A gadt constructor

exception Error of {




  

name : string;
(*




Error field documentation name:string





*)


}

type ext +=
| E of {
   yet_another_field : unit; (*

Field documentation for E in ext

*)
} 		(*

Constructor E documentation

*)
| F of {
   even_more : int -> int; (*

Some field documentations for F

*)
} 		(*

Constructor F documentation

*)
| G of {
   last : int -> int; (*

The last and least field documentation

*)
} 		(*

Constructor G documentation

*)

Two new constructors for ext