diff --git a/.spelling-wordlist.txt b/.spelling-wordlist.txt index 9b45ba8d..d7971d76 100644 --- a/.spelling-wordlist.txt +++ b/.spelling-wordlist.txt @@ -28,6 +28,7 @@ FFI filesystem finaliser finalisers +fontawesome forgeable GC GDB diff --git a/docs/generics/generics-and-reference-capabilities.md b/docs/generics/generics-and-reference-capabilities.md index fa7e634b..3b99cbfd 100644 --- a/docs/generics/generics-and-reference-capabilities.md +++ b/docs/generics/generics-and-reference-capabilities.md @@ -50,7 +50,13 @@ That compiles and runs, so `ref` is valid now. The real test though is `iso`. Le This fails to compile. The first error is: ```error ---8<-- "generics-and-reference-capabilities-foo-iso-error-message.txt" +main.pony:5:8: right side must be a subtype of left side + _c = c + ^ + Info: + main.pony:4:17: String iso! is not a subtype of String iso: iso! is not a subtype of iso + new create(c: String iso) => + ^ ``` The error is telling us that we are aliasing the `String iso` - The `!` in `iso!` means it is an alias of an existing `iso`. Looking at the code shows the problem: diff --git a/docs/getting-started/hello-world.md b/docs/getting-started/hello-world.md index 09cdcc1b..99308dd8 100644 --- a/docs/getting-started/hello-world.md +++ b/docs/getting-started/hello-world.md @@ -21,6 +21,8 @@ In your file, put the following code: --8<-- "hello-world-main.pony" ``` +[:fontawesome-solid-play: Run in playground](https://playground.ponylang.io/?snippet=hello-world-main.pony){ .md-button .md-button--primary target="_blank" } + ## Compiling the program Now compile it: diff --git a/mkdocs.yml b/mkdocs.yml index caed243a..ca61cd13 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -25,6 +25,10 @@ markdown_extensions: - pymdownx.snippets: base_path: ['code-samples'] check_paths: true + - pymdownx.emoji: + emoji_index: !!python/name:material.extensions.emoji.twemoji + emoji_generator: !!python/name:material.extensions.emoji.to_svg + - attr_list - smarty - toc: permalink: true