balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Now have an default group "ungrouped" for all the code blocks without any "group=..."

Browse Source
This commit is contained in:
Lesenechal Remi 2019-12-24 16:10:31 +01:00
parent 883d17a9c1
commit afa61e5825
2 changed files with 85 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -53,4 +53,4 @@ coverage-doc: clean
coverage-cli: clean
BISECT_ENABLE=yes dune runtest src/bin/expect_tests
bisect-ppx-report html -o ./_coverage_cli --title="CLI test coverage"
bisect-ppx-report summary --per-file
bisect-ppx-report summary --per-file

100
src/test/md_file_tests.ml
View File

@ -4,7 +4,7 @@ open Test_helpers
module SnippetsGroup = Map.Make(struct type t = (string * string) let compare a b = compare a b end)
let failed_to_compile_md_file md_file (s,group,prg) =
let title () = "Failed to compile "^s^" group '"^group^"' in file '"^md_file^"'" in
let title () = "Failed to compile ```"^s^" block (group '"^group^"') in file '"^md_file^"'" in
let content () = "unable to compile the program down to michelson" in
let data = [
("source" , fun () -> Format.asprintf "%s" prg) ;
@ -25,7 +25,16 @@ let get_groups md_file =
List.fold_left
(fun (grp_map: _ SnippetsGroup.t) (el:Md.block) ->
match el.header with
| Some s ->
| Some s when (String.equal s "pascaligo") || (String.equal s "cameligo") || (String.equal s "reasonligo") -> (
match el.arguments with
| [Md.Field ""] -> SnippetsGroup.update (s,"ungrouped")
(fun arg_content ->
match arg_content with
| Some ct -> Some (String.concat "\n" (ct::el.contents))
| None -> Some (String.concat "\n" el.contents)
)
grp_map
| _ ->
List.fold_left
(fun grp_map arg -> match arg with
| Md.NameValue ("group", name) ->
@ -38,37 +47,96 @@ let get_groups md_file =
grp_map
| _ -> grp_map
)
grp_map el.arguments
| None -> grp_map
grp_map el.arguments )
| None | Some _ -> grp_map
)
SnippetsGroup.empty code_blocks
(**
evaluate each expression in each programs from the snippets group map
**)
let compile_groups _filename (grp_map: _ SnippetsGroup.t) =
let grp_list = SnippetsGroup.bindings grp_map in
let%bind _michelsons = bind_map_list
let compile_groups _filename grp_list =
let%bind (_michelsons : Compiler.compiled_expression list list) = bind_map_list
(fun ((s,_grp),contents) ->
(*TODO: hierarchical error ?*)
trace_strong (failed_to_compile_md_file _filename (s,_grp,contents)) @@
trace (failed_to_compile_md_file _filename (s,_grp,contents)) @@
let%bind v_syntax = Compile.Helpers.syntax_to_variant (Syntax_name s) None in
let%bind simplified = Compile.Of_source.compile_string contents v_syntax in
let%bind typed,_ = Compile.Of_simplified.compile simplified in
let%bind mini_c = Compile.Of_typed.compile typed in
bind_map_list
(fun ((_,exp),_) -> Compile.Of_mini_c.aggregate_and_compile_expression mini_c exp)
(fun ((_,exp),_) -> Compile.Of_mini_c.aggregate_and_compile_expression mini_c exp)
mini_c
)
)
grp_list in
ok ()
let compile filename () =
let groups = get_groups filename in
let compile filename () =
let groups = SnippetsGroup.bindings @@ get_groups filename in
let%bind () = compile_groups filename groups in
ok ()
(*
find ./gitlab-pages/ -iname "*.md"
*)
let md_files = [
(*
"/gitlab-pages/docs/tutorials/get-started/tezos-taco-shop-smart-contract.md";
"/gitlab-pages/docs/tutorials/get-started/tezos-taco-shop-payout.md";
"/gitlab-pages/docs/intro/installation.md";
"/gitlab-pages/docs/intro/editor-support.md";
"/gitlab-pages/docs/intro/what-and-why.md";
"/gitlab-pages/docs/language-basics/functions.md";
"/gitlab-pages/docs/language-basics/math-numbers-tez.md";
*)
(* antislash problem:
"/gitlab-pages/docs/language-basics/strings.md";
"/gitlab-pages/docs/language-basics/boolean-if-else.md";
"/gitlab-pages/docs/language-basics/types.md";
*)
"/gitlab-pages/docs/language-basics/maps-records.md";
"/gitlab-pages/docs/language-basics/variables-and-constants.md";
"/gitlab-pages/docs/language-basics/sets-lists-touples.md";
(*
"/gitlab-pages/docs/language-basics/operators.md";
"/gitlab-pages/docs/language-basics/unit-option-pattern-matching.md";
"/gitlab-pages/docs/contributors/big-picture/back-end.md";
"/gitlab-pages/docs/contributors/big-picture/vendors.md";
"/gitlab-pages/docs/contributors/big-picture/front-end.md";
"/gitlab-pages/docs/contributors/big-picture/overview.md";
"/gitlab-pages/docs/contributors/big-picture/middle-end.md";
"/gitlab-pages/docs/contributors/documentation-and-releases.md";
"/gitlab-pages/docs/contributors/getting-started.md";
"/gitlab-pages/docs/contributors/philosophy.md";
"/gitlab-pages/docs/contributors/ligo_test_guide.md";
"/gitlab-pages/docs/contributors/road-map/short-term.md";
"/gitlab-pages/docs/contributors/road-map/long-term.md";
"/gitlab-pages/docs/contributors/origin.md";
"/gitlab-pages/docs/advanced/first-contract.md";
"/gitlab-pages/docs/advanced/entrypoints-contracts.md";
"/gitlab-pages/docs/advanced/timestamps-addresses.md";
"/gitlab-pages/docs/api/cli-commands.md";
"/gitlab-pages/docs/api/cheat-sheet.md";
"/gitlab-pages/website/blog/2019-07-11-ligo-update.md";
"/gitlab-pages/website/blog/2019-06-13-public-launch-of-ligo.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/big-picture/back-end.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/big-picture/vendors.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/big-picture/front-end.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/big-picture/overview.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/big-picture/middle-end.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/philosophy.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/road-map/short-term.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/road-map/long-term.md";
"/gitlab-pages/website/versioned_docs/version-next/contributors/origin.md";
"/gitlab-pages/website/versioned_docs/version-next/api-cli-commands.md";
"/gitlab-pages/website/README.md";
"/gitlab-pages/README.md";
*)
]
let md_root = "../../gitlab-pages/docs/language-basics/"
let main = test_suite "Markdown files" [
test "sets_lists_touples" (compile (md_root^"sets-lists-touples.md")) ;
]
let main = test_suite "Markdown files"
(List.map (fun md_file ->
let test_name = "File : \"."^md_file^"\"" in
let md_path = "../.."^md_file in
test test_name (compile md_path))
md_files)