From 277b725b3081943a01a10ec6e5aa93d982f7c149 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Mon, 15 Mar 2021 17:21:43 -0700
Subject: [PATCH 1/2] Add Valid.getModule to the Wasm exports.

---
 src/Language/Wasm.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Language/Wasm.hs b/src/Language/Wasm.hs
index 33355db..97bf644 100644
--- a/src/Language/Wasm.hs
+++ b/src/Language/Wasm.hs
@@ -16,7 +16,8 @@ module Language.Wasm (
     Assertion(..),
     Ident(..),
     Meta(..),
-    runScript
+    runScript,
+    Valid.getModule
 ) where
 
 import qualified Data.ByteString as BS

From 3ec6832e5ffdbbf9799ef7cc80926b0053795bcb Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Mon, 15 Mar 2021 22:06:55 -0700
Subject: [PATCH 2/2] Make the Structure module public to allow API access to
 it.

---
 package.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/package.yaml b/package.yaml
index b0f4572..a301613 100644
--- a/package.yaml
+++ b/package.yaml
@@ -22,6 +22,7 @@ library:
   exposed-modules:
   - Language.Wasm.Script
   - Language.Wasm.Lexer
+  - Language.Wasm.Structure
   - Language.Wasm
   dependencies:
   - array                >= 0.5