summaryrefslogtreecommitdiff
path: root/compiler/GHC/Wasm/ControlFlow.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Wasm/ControlFlow.hs')
-rw-r--r--compiler/GHC/Wasm/ControlFlow.hs8
1 files changed, 2 insertions, 6 deletions
diff --git a/compiler/GHC/Wasm/ControlFlow.hs b/compiler/GHC/Wasm/ControlFlow.hs
index 97c703597e..365a003323 100644
--- a/compiler/GHC/Wasm/ControlFlow.hs
+++ b/compiler/GHC/Wasm/ControlFlow.hs
@@ -1,10 +1,10 @@
{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE DataKinds, GADTs, RankNTypes, TypeOperators, KindSignatures #-}
+{-# LANGUAGE DataKinds, GADTs, RankNTypes, KindSignatures #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PatternSynonyms #-}
module GHC.Wasm.ControlFlow
- ( WasmControl(..), (<>), pattern WasmIf, wasmReturn
+ ( WasmControl(..), (<>), pattern WasmIf
, BrTableInterval(..), inclusiveInterval
, WasmType, WasmTypeTag(..)
@@ -47,7 +47,3 @@ pattern WasmIf :: WasmFunctionType pre post
pattern WasmIf ty e t f =
WasmPush TagI32 e `WasmSeq` WasmIfTop ty t f
-
--- More syntactic sugar.
-wasmReturn :: WasmTypeTag t -> e -> WasmControl s e (t ': t1star) t2star
-wasmReturn tag e = WasmPush tag e `WasmSeq` WasmReturnTop tag