From fe83e2c1a3331c0d31486909a1928942965a35af Mon Sep 17 00:00:00 2001
From: Ilya Rezvov <ilya.rezvov@revjet.com>
Date: Sun, 4 Apr 2021 17:34:03 -0700
Subject: [PATCH] rebase artefacts

---
 src/Language/Wasm/Validate.hs | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/src/Language/Wasm/Validate.hs b/src/Language/Wasm/Validate.hs
index 406c9e3..3e8da6d 100644
--- a/src/Language/Wasm/Validate.hs
+++ b/src/Language/Wasm/Validate.hs
@@ -182,23 +182,6 @@ checkMemoryInstr size memarg = do
     isMemArgValid size memarg
     Ctx { mems } <- ask 
     if length mems < 1 then throwError (MemoryIndexOutOfRange 0) else return ()
-<<<<<<< HEAD
-
-getBlockType :: BlockType -> Checker Arrow
-getBlockType (Inline Nothing) = return $ empty ==> empty
-getBlockType (Inline (Just valType)) = return $ empty ==> valType
-getBlockType (TypeIndex typeIdx) = do
-    Ctx { types } <- ask
-    maybeToEither TypeIndexOutOfRange $ asArrow <$> types !? typeIdx
-
-getResultType :: BlockType -> Checker [ValueType]
-getResultType (Inline Nothing) = return []
-getResultType (Inline (Just valType)) = return [valType]
-getResultType (TypeIndex typeIdx) = do
-    Ctx { types } <- ask
-    maybeToEither TypeIndexOutOfRange $ results <$> types !? typeIdx
-=======
->>>>>>> 40291c3 (more grammar fixes)
 
 getBlockType :: BlockType -> Checker Arrow
 getBlockType (Inline Nothing) = return $ empty ==> empty