From 1083d2c74858bca789fdc44706dff726f4d98e79 Mon Sep 17 00:00:00 2001 From: Luke Wagner Date: Mon, 14 Mar 2016 09:23:06 -0500 Subject: Remove End section again --- BinaryEncoding.md | 20 ++------------------ 1 file changed, 2 insertions(+), 18 deletions(-) (limited to 'BinaryEncoding.md') diff --git a/BinaryEncoding.md b/BinaryEncoding.md index fdc2427..fdd19ee 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -89,10 +89,8 @@ for all sections. The encoding of all sections begins as follows: | id_len | `varuint32` | section identifier string length | | id_str | `bytes` | section identifier string of id_len bytes | -Each section other than the End section is optional and may appear at most once. -The End section must appear exactly once. If present, sections must occur in -this precise order (interleaved or followed by unknown sections, as noted -above): +Each section is optional and may appear at most once. +Known sections (from this list) may not appear out of order. * [Signatures](#signatures-section) section * [Import Table](#import-table-section) section @@ -103,11 +101,8 @@ above): * [Start Function](#start-function-section) section * [Function Bodies](#function-bodies-section) section * [Data Segments](#data-segments-section) section -* [End](#end-section) section * [Names](#names-section) section -Known sections (from this list) may not appear out of order. - The end of the last present section must coincide with the last byte of the module. The shortest valid module is 8 bytes (`magic number`, `version`, followed by zero sections). @@ -248,17 +243,6 @@ a `data_segment` is: | size | `varuint32` | size of `data` (in bytes) | | data | `bytes` | sequence of `size` bytes | -### End section - -ID: `end` - -This section is mandatory and indicates the end of the sections that affect -semantics. Subsequent sections may be skipped or streamed lazily without -affecting execution. - -| Field | Type | Description | -| ----- | ----- | ----- | - ### Names section ID: `names` -- cgit v1.2.3