deploy: 38b7f2c

veryl-lang · Nov 25, 2024 · c57ab1b · c57ab1b
1 parent ae32f20
commit c57ab1b
Show file tree

Hide file tree

Showing 485 changed files with 1,240 additions and 90,432 deletions.
diff --git a/book/01_introduction.html b/book/01_introduction.html
diff --git a/book/02_features.html b/book/02_features.html
diff --git a/book/03_getting_started.html b/book/03_getting_started.html
diff --git a/book/03_getting_started/01_installation.html b/book/03_getting_started/01_installation.html
diff --git a/book/03_getting_started/02_hello_world.html b/book/03_getting_started/02_hello_world.html
diff --git a/book/04_code_examples.html b/book/04_code_examples.html
diff --git a/book/04_code_examples/01_module.html b/book/04_code_examples/01_module.html
diff --git a/book/04_code_examples/02_instantiation.html b/book/04_code_examples/02_instantiation.html
diff --git a/book/04_code_examples/03_interface.html b/book/04_code_examples/03_interface.html
diff --git a/book/04_code_examples/04_package.html b/book/04_code_examples/04_package.html
diff --git a/book/05_language_reference.html b/book/05_language_reference.html
diff --git a/book/05_language_reference/01_source_code_structure.html b/book/05_language_reference/01_source_code_structure.html
diff --git a/book/05_language_reference/02_lexical_structure.html b/book/05_language_reference/02_lexical_structure.html
diff --git a/book/05_language_reference/02_lexical_structure/01_operator.html b/book/05_language_reference/02_lexical_structure/01_operator.html
diff --git a/book/05_language_reference/02_lexical_structure/02_number.html b/book/05_language_reference/02_lexical_structure/02_number.html
diff --git a/book/05_language_reference/02_lexical_structure/03_array_literal.html b/book/05_language_reference/02_lexical_structure/03_array_literal.html
diff --git a/book/05_language_reference/03_data_type.html b/book/05_language_reference/03_data_type.html
diff --git a/book/05_language_reference/03_data_type/01_builtin_type.html b/book/05_language_reference/03_data_type/01_builtin_type.html
diff --git a/book/05_language_reference/03_data_type/02_user_defined_type.html b/book/05_language_reference/03_data_type/02_user_defined_type.html
diff --git a/book/05_language_reference/03_data_type/03_array.html b/book/05_language_reference/03_data_type/03_array.html
diff --git a/book/05_language_reference/03_data_type/04_clock_reset.html b/book/05_language_reference/03_data_type/04_clock_reset.html
diff --git a/book/05_language_reference/04_expression.html b/book/05_language_reference/04_expression.html
diff --git a/book/05_language_reference/04_expression/01_operator_precedence.html b/book/05_language_reference/04_expression/01_operator_precedence.html
diff --git a/book/05_language_reference/04_expression/02_function_call.html b/book/05_language_reference/04_expression/02_function_call.html
diff --git a/book/05_language_reference/04_expression/03_concatenation.html b/book/05_language_reference/04_expression/03_concatenation.html
diff --git a/book/05_language_reference/04_expression/04_if.html b/book/05_language_reference/04_expression/04_if.html
diff --git a/book/05_language_reference/04_expression/05_case_switch.html b/book/05_language_reference/04_expression/05_case_switch.html
diff --git a/book/05_language_reference/04_expression/06_bit_select.html b/book/05_language_reference/04_expression/06_bit_select.html
diff --git a/book/05_language_reference/04_expression/07_range.html b/book/05_language_reference/04_expression/07_range.html
diff --git a/book/05_language_reference/04_expression/08_msb_lsb.html b/book/05_language_reference/04_expression/08_msb_lsb.html
diff --git a/book/05_language_reference/04_expression/09_inside_outside.html b/book/05_language_reference/04_expression/09_inside_outside.html
diff --git a/...reference/04_expression/10_type_cast.html → ...reference/04_expression/10_type_cast.html b/...reference/04_expression/10_type_cast.html → ...reference/04_expression/10_type_cast.html
@@ -337,7 +337,7 @@ <h1 id="type-cast"><a class="header" href="#type-cast">Type Cast</a></h1>
         <script src="../../highlight.js"></script>
         <script src="../../book.js"></script>
         <script type="module">
-            import init, {build, format} from "https://doc.veryl-lang.org/nightly/playground/pkg/veryl_wasm.js";
+            import init, {build, format} from "https://doc.veryl-lang.org/playground/pkg/veryl_wasm.js";
             init().then(() => {});
             window.build = build;
         </script>

diff --git a/book/05_language_reference/05_statement.html b/book/05_language_reference/05_statement.html
diff --git a/book/05_language_reference/05_statement/01_assignment.html b/book/05_language_reference/05_statement/01_assignment.html
diff --git a/book/05_language_reference/05_statement/02_function_call.html b/book/05_language_reference/05_statement/02_function_call.html
diff --git a/book/05_language_reference/05_statement/03_if.html b/book/05_language_reference/05_statement/03_if.html
diff --git a/book/05_language_reference/05_statement/04_case_switch.html b/book/05_language_reference/05_statement/04_case_switch.html
diff --git a/book/05_language_reference/05_statement/05_for.html b/book/05_language_reference/05_statement/05_for.html
diff --git a/book/05_language_reference/05_statement/06_return.html b/book/05_language_reference/05_statement/06_return.html
diff --git a/book/05_language_reference/05_statement/07_let.html b/book/05_language_reference/05_statement/07_let.html
diff --git a/book/05_language_reference/06_declaration.html b/book/05_language_reference/06_declaration.html
diff --git a/book/05_language_reference/06_declaration/01_variable.html b/book/05_language_reference/06_declaration/01_variable.html
diff --git a/book/05_language_reference/06_declaration/02_parameter.html b/book/05_language_reference/06_declaration/02_parameter.html
diff --git a/book/05_language_reference/06_declaration/03_register.html b/book/05_language_reference/06_declaration/03_register.html
diff --git a/book/05_language_reference/06_declaration/04_combinational.html b/book/05_language_reference/06_declaration/04_combinational.html
diff --git a/book/05_language_reference/06_declaration/05_assign.html b/book/05_language_reference/06_declaration/05_assign.html
diff --git a/book/05_language_reference/06_declaration/06_function.html b/book/05_language_reference/06_declaration/06_function.html
diff --git a/book/05_language_reference/06_declaration/07_initial_final.html b/book/05_language_reference/06_declaration/07_initial_final.html
diff --git a/book/05_language_reference/06_declaration/08_attribute.html b/book/05_language_reference/06_declaration/08_attribute.html
diff --git a/book/05_language_reference/06_declaration/09_generate.html b/book/05_language_reference/06_declaration/09_generate.html
diff --git a/book/05_language_reference/06_declaration/10_instantiation.html b/book/05_language_reference/06_declaration/10_instantiation.html
diff --git a/book/05_language_reference/06_declaration/11_named_block.html b/book/05_language_reference/06_declaration/11_named_block.html
diff --git a/book/05_language_reference/06_declaration/12_import_export.html b/book/05_language_reference/06_declaration/12_import_export.html
diff --git a/book/05_language_reference/07_module.html b/book/05_language_reference/07_module.html
diff --git a/book/05_language_reference/08_interface.html b/book/05_language_reference/08_interface.html
diff --git a/book/05_language_reference/09_package.html b/book/05_language_reference/09_package.html
diff --git a/book/05_language_reference/10_systemverilog_interoperation.html b/book/05_language_reference/10_systemverilog_interoperation.html
diff --git a/book/05_language_reference/11_visibility.html b/book/05_language_reference/11_visibility.html
diff --git a/book/05_language_reference/12_foreign_language_integration.html b/book/05_language_reference/12_foreign_language_integration.html
diff --git a/book/05_language_reference/13_integrated_test.html b/book/05_language_reference/13_integrated_test.html
diff --git a/book/05_language_reference/14_generics.html b/book/05_language_reference/14_generics.html
diff --git a/book/05_language_reference/14_generics/01_default_parameter.html b/book/05_language_reference/14_generics/01_default_parameter.html
diff --git a/book/05_language_reference/14_generics/02_prototype.html b/book/05_language_reference/14_generics/02_prototype.html
diff --git a/book/05_language_reference/15_clock_domain_annotation.html b/book/05_language_reference/15_clock_domain_annotation.html
diff --git a/book/05_language_reference/15_clock_domain_annotation/01_unsafe_cdc.html b/book/05_language_reference/15_clock_domain_annotation/01_unsafe_cdc.html
diff --git a/book/05_language_reference/16_standard_library.html b/book/05_language_reference/16_standard_library.html
diff --git a/book/06_development_environment.html b/book/06_development_environment.html
diff --git a/book/06_development_environment/01_project_configuration.html b/book/06_development_environment/01_project_configuration.html
diff --git a/book/06_development_environment/01_project_configuration/01_build.html b/book/06_development_environment/01_project_configuration/01_build.html
diff --git a/book/06_development_environment/01_project_configuration/02_format.html b/book/06_development_environment/01_project_configuration/02_format.html
diff --git a/book/06_development_environment/01_project_configuration/03_lint.html b/book/06_development_environment/01_project_configuration/03_lint.html
diff --git a/book/06_development_environment/01_project_configuration/04_test.html b/book/06_development_environment/01_project_configuration/04_test.html
diff --git a/book/06_development_environment/01_project_configuration/05_publish.html b/book/06_development_environment/01_project_configuration/05_publish.html
diff --git a/book/06_development_environment/02_dependencies.html b/book/06_development_environment/02_dependencies.html
diff --git a/book/06_development_environment/03_publish_project.html b/book/06_development_environment/03_publish_project.html
diff --git a/book/06_development_environment/04_directory_layout.html b/book/06_development_environment/04_directory_layout.html
diff --git a/book/06_development_environment/05_formatter.html b/book/06_development_environment/05_formatter.html
diff --git a/book/06_development_environment/06_linter.html b/book/06_development_environment/06_linter.html
diff --git a/book/06_development_environment/07_simulator.html b/book/06_development_environment/07_simulator.html
diff --git a/book/06_development_environment/08_language_server.html b/book/06_development_environment/08_language_server.html
diff --git a/book/06_development_environment/09_compatibility.html b/book/06_development_environment/09_compatibility.html
diff --git a/book/06_development_environment/10_documentation.html b/book/06_development_environment/10_documentation.html
diff --git a/book/06_development_environment/11_github_action.html b/book/06_development_environment/11_github_action.html
diff --git a/book/06_development_environment/12_source_map.html b/book/06_development_environment/12_source_map.html
diff --git a/book/06_development_environment/13_verylup.html b/book/06_development_environment/13_verylup.html
diff --git a/book/07_appendix.html b/book/07_appendix.html
diff --git a/book/07_appendix/01_formal_syntax.html b/book/07_appendix/01_formal_syntax.html
diff --git a/book/07_appendix/02_semantic_error.html b/book/07_appendix/02_semantic_error.html
diff --git a/book/404.html b/book/404.html
diff --git a/book/css/chrome.css b/book/css/chrome.css
@@ -40,9 +40,9 @@ a > .hljs {
     border-block-end-style: solid;
 }
 #menu-bar.sticky,
-.js #menu-bar-hover-placeholder:hover + #menu-bar,
-.js #menu-bar:hover,
-.js.sidebar-visible #menu-bar {
+#menu-bar-hover-placeholder:hover + #menu-bar,
+#menu-bar:hover,
+html.sidebar-visible #menu-bar {
     position: -webkit-sticky;
     position: sticky;
     top: 0 !important;
@@ -91,7 +91,7 @@ a > .hljs {
     display: flex;
     margin: 0 5px;
 }
-.no-js .left-buttons button {
+html:not(.js) .left-buttons button {
     display: none;
 }
 
@@ -107,7 +107,7 @@ a > .hljs {
     overflow: hidden;
     text-overflow: ellipsis;
 }
-.js .menu-title {
+.menu-title {
     cursor: pointer;
 }
 
@@ -250,8 +250,8 @@ pre > .buttons i {
 pre > .buttons button {
     cursor: inherit;
     margin: 0px 5px;
-    padding: 3px 5px;
-    font-size: 14px;
+    padding: 4px 4px 3px 5px;
+    font-size: 23px;
 
     border-style: solid;
     border-width: 1px;
@@ -262,6 +262,27 @@ pre > .buttons button {
     transition-property: color,border-color,background-color;
     color: var(--icons);
 }
+
+pre > .buttons button.clip-button {
+    padding: 2px 4px 0px 6px;
+}
+pre > .buttons button.clip-button::before {
+    /* clipboard image from octicons (https://github.com/primer/octicons/tree/v2.0.0) MIT license
+     */
+    content: url('data:image/svg+xml,<svg width="21" height="20" viewBox="0 0 24 25" \
+xmlns="http://www.w3.org/2000/svg" aria-label="Copy to clipboard">\
+<path d="M18 20h2v3c0 1-1 2-2 2H2c-.998 0-2-1-2-2V5c0-.911.755-1.667 1.667-1.667h5A3.323 3.323 0 \
+0110 0a3.323 3.323 0 013.333 3.333h5C19.245 3.333 20 4.09 20 5v8.333h-2V9H2v14h16v-3zM3 \
+7h14c0-.911-.793-1.667-1.75-1.667H13.5c-.957 0-1.75-.755-1.75-1.666C11.75 2.755 10.957 2 10 \
+2s-1.75.755-1.75 1.667c0 .911-.793 1.666-1.75 1.666H4.75C3.793 5.333 3 6.09 3 7z"/>\
+<path d="M4 19h6v2H4zM12 11H4v2h8zM4 17h4v-2H4zM15 15v-3l-4.5 4.5L15 21v-3l8.027-.032L23 15z"/>\
+</svg>');
+    filter: var(--copy-button-filter);
+}
+pre > .buttons button.clip-button:hover::before {
+    filter: var(--copy-button-filter-hover);
+}
+
 @media (pointer: coarse) {
     pre > .buttons button {
         /* On mobile, make it easier to tap buttons. */
@@ -399,15 +420,30 @@ ul#searchresults span.teaser em {
     background-color: var(--sidebar-bg);
     color: var(--sidebar-fg);
 }
+.sidebar-iframe-inner {
+    background-color: var(--sidebar-bg);
+    color: var(--sidebar-fg);
+    padding: 10px 10px;
+    margin: 0;
+    font-size: 1.4rem;
+}
+.sidebar-iframe-outer {
+    border: none;
+    height: 100%;
+    position: absolute;
+    top: 0;
+    bottom: 0;
+    left: 0;
+    right: 0;
+}
 [dir=rtl] .sidebar { left: unset; right: 0; }
 .sidebar-resizing {
     -moz-user-select: none;
     -webkit-user-select: none;
     -ms-user-select: none;
     user-select: none;
 }
-.no-js .sidebar,
-.js:not(.sidebar-resizing) .sidebar {
+html:not(.sidebar-resizing) .sidebar {
     transition: transform 0.3s; /* Animation: slide away */
 }
 .sidebar code {

diff --git a/book/css/general.css b/book/css/general.css
@@ -190,6 +190,16 @@ kbd {
     vertical-align: middle;
 }
 
+sup {
+    /* Set the line-height for superscript and footnote references so that there
+       isn't an awkward space appearing above lines that contain the footnote.
+
+       See https://github.com/rust-lang/mdBook/pull/2443#discussion_r1813773583
+       for an explanation.
+    */
+    line-height: 0;
+}
+
 :not(.footnote-definition) + .footnote-definition,
 .footnote-definition + :not(.footnote-definition) {
     margin-block-start: 2em;

diff --git a/book/css/variables.css b/book/css/variables.css
@@ -56,6 +56,11 @@
     --search-mark-bg: #e3b171;
 
     --color-scheme: dark;
+
+    /* Same as `--icons` */
+    --copy-button-filter: invert(45%) sepia(6%) saturate(621%) hue-rotate(198deg) brightness(99%) contrast(85%);
+    /* Same as `--sidebar-active` */
+    --copy-button-filter-hover: invert(68%) sepia(55%) saturate(531%) hue-rotate(341deg) brightness(104%) contrast(101%);
 }
 
 .coal {
@@ -100,9 +105,14 @@
     --search-mark-bg: #355c7d;
 
     --color-scheme: dark;
+
+    /* Same as `--icons` */
+    --copy-button-filter: invert(26%) sepia(8%) saturate(575%) hue-rotate(169deg) brightness(87%) contrast(82%);
+    /* Same as `--sidebar-active` */
+    --copy-button-filter-hover: invert(36%) sepia(70%) saturate(503%) hue-rotate(167deg) brightness(98%) contrast(89%);
 }
 
-.light {
+.light, html:not(.js) {
     --bg: hsl(0, 0%, 100%);
     --fg: hsl(0, 0%, 0%);
 
@@ -144,6 +154,11 @@
     --search-mark-bg: #a2cff5;
 
     --color-scheme: light;
+
+    /* Same as `--icons` */
+    --copy-button-filter: invert(45.49%);
+    /* Same as `--sidebar-active` */
+    --copy-button-filter-hover: invert(14%) sepia(93%) saturate(4250%) hue-rotate(243deg) brightness(99%) contrast(130%);
 }
 
 .navy {
@@ -188,6 +203,11 @@
     --search-mark-bg: #a2cff5;
 
     --color-scheme: dark;
+
+    /* Same as `--icons` */
+    --copy-button-filter: invert(51%) sepia(10%) saturate(393%) hue-rotate(198deg) brightness(86%) contrast(87%);
+    /* Same as `--sidebar-active` */
+    --copy-button-filter-hover: invert(46%) sepia(20%) saturate(1537%) hue-rotate(156deg) brightness(85%) contrast(90%);
 }
 
 .rust {
@@ -231,11 +251,14 @@
     --searchresults-li-bg: #dec2a2;
     --search-mark-bg: #e69f67;
 
-    --color-scheme: light;
+    /* Same as `--icons` */
+    --copy-button-filter: invert(51%) sepia(10%) saturate(393%) hue-rotate(198deg) brightness(86%) contrast(87%);
+    /* Same as `--sidebar-active` */
+    --copy-button-filter-hover: invert(77%) sepia(16%) saturate(1798%) hue-rotate(328deg) brightness(98%) contrast(83%);
 }
 
 @media (prefers-color-scheme: dark) {
-    .light.no-js {
+    html:not(.js) {
         --bg: hsl(200, 7%, 8%);
         --fg: #98a3ad;
 
@@ -275,5 +298,12 @@
         --searchresults-border-color: #98a3ad;
         --searchresults-li-bg: #2b2b2f;
         --search-mark-bg: #355c7d;
+
+        --color-scheme: dark;
+
+        /* Same as `--icons` */
+        --copy-button-filter: invert(26%) sepia(8%) saturate(575%) hue-rotate(169deg) brightness(87%) contrast(82%);
+        /* Same as `--sidebar-active` */
+        --copy-button-filter-hover: invert(36%) sepia(70%) saturate(503%) hue-rotate(167deg) brightness(98%) contrast(89%);
     }
 }
diff --git a/book/highlight.css b/book/highlight.css
@@ -16,6 +16,7 @@
 .hljs-variable,
 .hljs-template-variable,
 .hljs-attribute,
+.hljs-attr,
 .hljs-tag,
 .hljs-name,
 .hljs-regexp,