Updated some docs that did not include reasonligo / .religo yet

This commit is contained in:
Suzanne Dupéron 2020-01-29 18:01:05 +00:00
parent d938dd0492
commit 8eb6472b00
2 changed files with 4 additions and 3 deletions

View File

@ -50,7 +50,7 @@ let req_syntax n =
let open Arg in let open Arg in
let info = let info =
let docv = "SYNTAX" in let docv = "SYNTAX" in
let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\" and \"cameligo\". By default, the syntax is guessed from the extension (.ligo and .mligo, respectively)." in let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\", \"cameligo\" and \"reasonligo\". By default, the syntax is guessed from the extension (.ligo, .mligo, .religo respectively)." in
info ~docv ~doc [] in info ~docv ~doc [] in
required @@ pos n (some string) None info required @@ pos n (some string) None info

View File

@ -517,8 +517,9 @@ let%expect_test _ =
SYNTAX (required) SYNTAX (required)
SYNTAX is the syntax that will be used. Currently supported SYNTAX is the syntax that will be used. Currently supported
syntaxes are "pascaligo" and "cameligo". By default, the syntax is syntaxes are "pascaligo", "cameligo" and "reasonligo". By default,
guessed from the extension (.ligo and .mligo, respectively). the syntax is guessed from the extension (.ligo, .mligo, .religo
respectively).
OPTIONS OPTIONS
--format=DISPLAY_FORMAT, --display-format=DISPLAY_FORMAT --format=DISPLAY_FORMAT, --display-format=DISPLAY_FORMAT