diff --git a/src/Go/AST/Combinators.idr b/src/Go/AST/Combinators.idr index 2f8008c..dcc61ed 100644 --- a/src/Go/AST/Combinators.idr +++ b/src/Go/AST/Combinators.idr @@ -7,15 +7,6 @@ import public Data.List.Quantifiers import public Go.AST import public Go.Token -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - -export -(|>) : a -> (a -> b) -> b -(|>) a fn = fn a - -export infixl 5 |> - public export interface Commentable a where setComments : CommentGroup -> a -> a diff --git a/src/Idris2/Compiler/Go.idr b/src/Idris2/Compiler/Go.idr index 3f118b3..18b0fca 100644 --- a/src/Idris2/Compiler/Go.idr +++ b/src/Idris2/Compiler/Go.idr @@ -26,9 +26,6 @@ import Idris2.Compiler.Go.Support.Gen import Libraries.Utils.Path -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - namespace GoExp public export diff --git a/tests/tour/basics14/Basics14.idr b/tests/tour/basics14/Basics14.idr index 4aa5bce..4451443 100644 --- a/tests/tour/basics14/Basics14.idr +++ b/tests/tour/basics14/Basics14.idr @@ -3,9 +3,6 @@ module Basics14 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "type-conversions.go" diff --git a/tests/tour/basics16/Basics16.idr b/tests/tour/basics16/Basics16.idr index 2fc786e..cdfe33b 100644 --- a/tests/tour/basics16/Basics16.idr +++ b/tests/tour/basics16/Basics16.idr @@ -3,9 +3,6 @@ module Basics16 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "numeric-constants.go" diff --git a/tests/tour/flowcontrol7/FlowControl7.idr b/tests/tour/flowcontrol7/FlowControl7.idr index 8307dc7..75e6aba 100644 --- a/tests/tour/flowcontrol7/FlowControl7.idr +++ b/tests/tour/flowcontrol7/FlowControl7.idr @@ -3,9 +3,6 @@ module FlowControl7 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "if-and-else.go" diff --git a/tests/tour/flowcontrol9/FlowControl9.idr b/tests/tour/flowcontrol9/FlowControl9.idr index 0026554..cb982d9 100644 --- a/tests/tour/flowcontrol9/FlowControl9.idr +++ b/tests/tour/flowcontrol9/FlowControl9.idr @@ -3,9 +3,6 @@ module FlowControl9 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "switch.go" diff --git a/tests/tour/moretypes1/MoreTypes1.idr b/tests/tour/moretypes1/MoreTypes1.idr index 42d089a..c568275 100644 --- a/tests/tour/moretypes1/MoreTypes1.idr +++ b/tests/tour/moretypes1/MoreTypes1.idr @@ -3,9 +3,6 @@ module MoreTypes1 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "pointers.go" diff --git a/tests/tour/moretypes11/MoreTypes11.idr b/tests/tour/moretypes11/MoreTypes11.idr index dd3b20d..e8f8b18 100644 --- a/tests/tour/moretypes11/MoreTypes11.idr +++ b/tests/tour/moretypes11/MoreTypes11.idr @@ -3,9 +3,6 @@ module MoreTypes11 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "slice-len-cap.go" diff --git a/tests/tour/moretypes14/MoreTypes14.idr b/tests/tour/moretypes14/MoreTypes14.idr index 8121c7c..66b3409 100644 --- a/tests/tour/moretypes14/MoreTypes14.idr +++ b/tests/tour/moretypes14/MoreTypes14.idr @@ -3,9 +3,6 @@ module MoreTypes14 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "slices-of-slice.go" diff --git a/tests/tour/moretypes15/MoreTypes15.idr b/tests/tour/moretypes15/MoreTypes15.idr index 4b4b5f9..700c94b 100644 --- a/tests/tour/moretypes15/MoreTypes15.idr +++ b/tests/tour/moretypes15/MoreTypes15.idr @@ -3,9 +3,6 @@ module MoreTypes15 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "append.go" diff --git a/tests/tour/moretypes17/MoreTypes17.idr b/tests/tour/moretypes17/MoreTypes17.idr index 937ebf4..55c8c66 100644 --- a/tests/tour/moretypes17/MoreTypes17.idr +++ b/tests/tour/moretypes17/MoreTypes17.idr @@ -3,9 +3,6 @@ module MoreTypes17 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "range-continued.go" diff --git a/tests/tour/moretypes5/MoreTypes5.idr b/tests/tour/moretypes5/MoreTypes5.idr index d2b1694..54731e2 100644 --- a/tests/tour/moretypes5/MoreTypes5.idr +++ b/tests/tour/moretypes5/MoreTypes5.idr @@ -3,9 +3,6 @@ module MoreTypes5 import Go.AST.Printer as Go import Go.AST.Combinators as Go -%hide Prelude.Ops.infixl.(|>) -%hide Prelude.(|>) - main : IO () main = do let src = file "struct-literals.go"