migrate to Prelude operator

kbertalan · Jun 9, 2024 · 070087e · 070087e
1 parent 9bb761b
commit 070087e
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 42 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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"