Skip to content

Commit da97679

Browse files
committed
Fix inline aliases used in 'memory' canonopt
Resolves #90
1 parent b4e513e commit da97679

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

design/mvp/Explainer.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -736,7 +736,7 @@ takes a string, does some logging, then returns a string.
736736
))
737737
(func $run (param string) (result string) (canon lift
738738
(core func $main "run")
739-
(memory $libc "mem") (realloc (func $libc "realloc"))
739+
(memory (core memory $libc "mem")) (realloc (func $libc "realloc"))
740740
))
741741
(export "run" (func $run))
742742
)
@@ -793,7 +793,7 @@ exported string at instantiation time:
793793
(core instance $main (instantiate $Main (with "libc" (instance $libc))))
794794
(func $start (param string) (result string) (canon lift
795795
(core func $main "start")
796-
(memory $libc "mem") (realloc (func $libc "realloc"))
796+
(memory (core memory $libc "mem")) (realloc (func $libc "realloc"))
797797
))
798798
(start $start (value $name) (result (value $greeting)))
799799
(export "greeting" (value $greeting))

design/mvp/examples/SharedEverythingDynamicLinking.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -159,7 +159,7 @@ would look like:
159159
))
160160
(func $zip (param (list u8)) (result (list u8)) (canon lift
161161
(func $main "zip")
162-
(memory $libc "memory") (realloc (func $libc "realloc"))
162+
(memory (core memory $libc "memory")) (realloc (func $libc "realloc"))
163163
))
164164
(export "zip" (func $zip))
165165
)
@@ -238,7 +238,7 @@ component-aware `clang`, the resulting component would look like:
238238
))
239239
(func $transform (param (list u8)) (result (list u8)) (canon lift
240240
(func $main "transform")
241-
(memory $libc "memory") (realloc (func $libc "realloc"))
241+
(memory (core memory $libc "memory")) (realloc (func $libc "realloc"))
242242
))
243243
(export "transform" (func $transform))
244244
)
@@ -285,11 +285,11 @@ components. The resulting component could look like:
285285
(instance $libc (instantiate (module $Libc)))
286286
(func $zip (canon lower
287287
(func $zipper "zip")
288-
(memory $libc "memory") (realloc (func $libc "realloc"))
288+
(memory (core memory $libc "memory")) (realloc (func $libc "realloc"))
289289
))
290290
(func $transform (canon lower
291291
(func $imgmgk "transform")
292-
(memory $libc "memory") (realloc (func $libc "realloc"))
292+
(memory (core memory $libc "memory")) (realloc (func $libc "realloc"))
293293
))
294294
(instance $main (instantiate (module $Main)
295295
(with "libc" (instance $libc))
@@ -298,7 +298,7 @@ components. The resulting component could look like:
298298
))
299299
(func $run (param string) (result string) (canon lift
300300
(func $main "run")
301-
(memory $libc "memory") (realloc (func $libc "realloc"))
301+
(memory (core memory $libc "memory")) (realloc (func $libc "realloc"))
302302
))
303303
(export "run" (func $run))
304304
)

0 commit comments

Comments
 (0)