From 356d01844b9d4d30afd7bbbe1ce1f2f5989aca49 Mon Sep 17 00:00:00 2001 From: Ben Smith Date: Mon, 14 Sep 2015 11:52:14 -0700 Subject: [PATCH] Update memory/segment definition in README --- ml-proto/README.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/ml-proto/README.md b/ml-proto/README.md index 4964e73053..df57d65ca1 100644 --- a/ml-proto/README.md +++ b/ml-proto/README.md @@ -194,18 +194,18 @@ param: ( param * ) | ( param ) result: ( result ) local: ( local * ) | ( local ) -module: ( module * * * * * ? * ) -import: ( import ? "" "" (param * ) (result )* ) -export: ( export "*" ) -global: ( global * ) | ( global ) -table: ( table * ) -memory: ( memory ? ) -data: ( data "*" ) +module: ( module * * * *
* ? ) +import: ( import ? "" "" (param * ) (result )* ) +export: ( export "*" ) +global: ( global * ) | ( global ) +table: ( table * ) +memory: ( memory ? * ) +segment: ( segment "*" ) ``` Here, productions marked with respective comments are abbreviation forms for equivalent expansions. -The data string is used to initialise the lower end of the memory. It is an ASCII string, that can have the usual escape sequences, or hex escapes of the form `\xx` to denote a single byte. +The segment string is used to initialize the memory at the given offset. Comments can be written in one of two ways: