Skip to content

Commit

Permalink
Update to moonc v0.1.20241111+dc2407357
Browse files Browse the repository at this point in the history
Signed-off-by: Glenn Lewis <6598971+gmlewis@users.noreply.github.com>
  • Loading branch information
gmlewis committed Nov 12, 2024
1 parent 285ca99 commit 38e0844
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -527,9 +527,9 @@ The code has been updated to support compiler:

```bash
$ moon version --all
moon 0.1.20241106 (79e45ae 2024-11-06) ~/.moon/bin/moon
moonc v0.1.20241106+8f17a3fc7 ~/.moon/bin/moonc
moonrun 0.1.20241106 (79e45ae 2024-11-06) ~/.moon/bin/moonrun
moon 0.1.20241111 (e6d64e0 2024-11-11) ~/.moon/bin/moon
moonc v0.1.20241111+dc2407357 ~/.moon/bin/moonc
moonrun 0.1.20241111 (e6d64e0 2024-11-11) ~/.moon/bin/moonrun
```

Use `moonup` to manage `moon` compiler versions:
Expand Down
2 changes: 1 addition & 1 deletion moon.mod.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "extism/moonbit-pdk",
"version": "0.41.0",
"version": "0.42.0",
"deps": {},
"readme": "README.md",
"repository": "https://github.com/extism/moonbit-pdk",
Expand Down
4 changes: 2 additions & 2 deletions pdk/string.mbt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/// ToUtf8 is a workaround since the standard library does not make
/// it easy to write a standard UTF-8 string.
/// https://github.com/moonbitlang/core/issues/484
pub trait ToUtf8 {
pub(open) trait ToUtf8 {
to_utf8(Self) -> Bytes
}

Expand All @@ -23,7 +23,7 @@ pub impl ToUtf8 for String with to_utf8(s : String) -> Bytes {
/// ToUtf16 is a workaround since the standard library does not make
/// it easy to write a standard UTF-16 string from UTF-8.
/// https://github.com/moonbitlang/core/issues/484
pub trait ToUtf16 {
pub(open) trait ToUtf16 {
to_utf16(Self) -> String
}

Expand Down

0 comments on commit 38e0844

Please sign in to comment.