v3.15.0

• Add support for let%private: nothing is exported even when a @genType annotation is added.
• [DCE] Add @dead annotations to both interface and implementation.
• Add builtin support for Js.Date.t.

v3.14.0

Extensions of experimental dead code/type analysis.

• Better annotations for .ml files.
• Bug fixes.
• Report on let _ = e when e has no side effects.

v3.13.0

• Support new internal representation of bs.meth used in the forthcoming bucklescript 7.2.0.
• Experimental global dead code/type analysis with CLI -dce and -dce-cmt for bucklescript and native projects respectively.
  Environment variables Whitelist=prefix and Blacklist=prefix can be used to filter which results are reported based on their paths. Use Write=1 to write @dead annotations directly in the source files.

v3.12.0

Add support for jsdoc comments in generated TypeScript output, and improve the naming of function arguments.

• Emit Reason doc commments /** this is a doc comment */ as jsdoc in the TypeScript output.
• Preserve the parameter names in function types emitted by the TypeScript back-end.
• Treat a function with a single argument of unit type as if it had no arguments.

Example:

/**
  * Sign a message with a key.
  *
  * @param message - A message to be signed
  * @param key - The key with which to sign the message
  * @returns A signed message
 */
[@genType]
let signMessage = (. message, key) => message ++ string_of_int(key);

produces

/** 
  * Sign a message with a key.
  *
  * @param message - A message to be signed
  * @param key - The key with which to sign the message
  * @returns A signed message
  */
export const signMessage: (message:string, key:number) => string = DocstringsBS.signMessage;

v3.11.0

• Fix issue where a shadowed declaration would be emitted instead of the shadowing one. See #354.
• Emit Flow inexact types e.g. {name:string, ...}, supported from Flow version 0.84 onwards.
• Emit eslint-disable in Untyped back-end.

v3.10.0

Changes:

• 4daa1af 3.10.0
• 57fb2d7 Fix issues where @genType.as on a type definition would omit type parameters.
• 820d154 Update README.md
• 5a33aa2 Update README.md
• d82df74 [arnold] termination types.
• fabfdc7 [arnold] Riddle.
• 4cbd75d [arnold] Make Nothing command explicit to avoid no-op returning the previous command's Some/None.
• aaf219f [arnold] example function that makes no progress yet appears to because doing nothing preserves returning Some/None.

This list of changes was auto generated.

v3.9.1

Internal.

v3.9.0

• With TypeScript back-end, emit import of React when function components are exported.
  See #342.

v3.8.1

internal

v3.8.0

• Alias Js.Array2.t to array type.
• Add support for [@unboxed] which will be introduced in the next buclescript version.
  See https://caml.inria.fr/pub/docs/manual-ocaml/manual035.html.