From e936004efa620ac63f2db69cce63c161b7a676d2 Mon Sep 17 00:00:00 2001 From: panglesd Date: Mon, 4 Dec 2023 15:53:37 +0100 Subject: [PATCH] Fix typos in media support Co-authored-by: Guillaume Petiot --- src/model_desc/paths_desc.ml | 2 +- src/parser/token.ml | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/model_desc/paths_desc.ml b/src/model_desc/paths_desc.ml index 27414d3cf4..10adb778c4 100644 --- a/src/model_desc/paths_desc.ml +++ b/src/model_desc/paths_desc.ml @@ -202,7 +202,7 @@ module General_paths = struct | `TType -> C0 "`TType" | `TUnknown -> C0 "`TUnknown" | `TValue -> C0 "`TValue" - | `TAsset -> C0 "`TValue" + | `TAsset -> C0 "`TAsset" | `TChildPage -> C0 "`TChildPage" | `TChildModule -> C0 "`TChildModule") diff --git a/src/parser/token.ml b/src/parser/token.ml index f720c4bc6c..f874d61706 100644 --- a/src/parser/token.ml +++ b/src/parser/token.ml @@ -144,7 +144,7 @@ let print : [< t ] -> string = function | `Simple_media (`Reference _, `Image) -> "{image!...}" | `Simple_media (`Reference _, `Audio) -> "{audio!...}" | `Simple_media (`Reference _, `Video) -> "{video!...}" - | `Simple_media (`Link _, `Image) -> "{image!...}" + | `Simple_media (`Link _, `Image) -> "{image:...}" | `Simple_media (`Link _, `Audio) -> "{audio:...}" | `Simple_media (`Link _, `Video) -> "{video:...}" | `Begin_media_with_replacement_text (`Reference _, `Image) -> @@ -180,9 +180,9 @@ let describe : [< t | `Comment ] -> string = function | `Simple_media (`Reference _, `Image) -> "'{image!...}' (image-reference)" | `Simple_media (`Reference _, `Audio) -> "'{audio!...}' (audio-reference)" | `Simple_media (`Reference _, `Video) -> "'{video!...}' (video-reference)" - | `Simple_media (`Link _, `Image) -> "'{image!...}' (image-link)" - | `Simple_media (`Link _, `Audio) -> "'{audio:...}' (audio-reference)" - | `Simple_media (`Link _, `Video) -> "'{video:...}' (video-reference)" + | `Simple_media (`Link _, `Image) -> "'{image:...}' (image-link)" + | `Simple_media (`Link _, `Audio) -> "'{audio:...}' (audio-link)" + | `Simple_media (`Link _, `Video) -> "'{video:...}' (video-link)" | `Begin_media_with_replacement_text (`Reference _, `Image) -> "'{{image!...} ...}' (image-reference)" | `Begin_media_with_replacement_text (`Reference _, `Audio) -> @@ -190,11 +190,11 @@ let describe : [< t | `Comment ] -> string = function | `Begin_media_with_replacement_text (`Reference _, `Video) -> "'{{video!...} ...}' (video-reference)" | `Begin_media_with_replacement_text (`Link _, `Image) -> - "'{{image:...} ...}' (image-reference)" + "'{{image:...} ...}' (image-link)" | `Begin_media_with_replacement_text (`Link _, `Audio) -> - "'{{audio:...} ...}' (audio-reference)" + "'{{audio:...} ...}' (audio-link)" | `Begin_media_with_replacement_text (`Link _, `Video) -> - "'{{video:...} ...}' (video-reference)" + "'{{video:...} ...}' (video-link)" | `Simple_link _ -> "'{:...} (external link)'" | `Begin_link_with_replacement_text _ -> "'{{:...} ...}' (external link)" | `End -> "end of text"