gambling: ignore new operator from prelude without able to try it

src/Go/AST/Combinators.idr

@@ -7,6 +7,9 @@ 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

src/Idris2/Compiler/Go.idr

@@ -26,6 +26,9 @@ import Idris2.Compiler.Go.Support.Gen
 
 import Libraries.Utils.Path
 
+%hide Prelude.Ops.infixl.(|>)
+%hide Prelude.(|>)
+
 namespace GoExp
 
   public export
@@ -111,7 +114,7 @@ namespace Usage
   used name (NmDelay _ _ exp) = used name exp
   used name (NmConCase _ condition [MkNConAlt _ _ _ xs exp] Nothing) =
     (used name condition && any (flip used exp) xs) || used name exp
-  used name (NmConCase _ exp alts mDef) = used name exp || usedConAlts name alts || fromMaybe False (used name <$> mDef) 
+  used name (NmConCase _ exp alts mDef) = used name exp || usedConAlts name alts || fromMaybe False (used name <$> mDef)
   used name (NmConstCase _ exp alts mDef) = used name exp || usedConstAlts name alts || fromMaybe False (used name <$> mDef)
   used name (NmPrimVal _ cst) = False
   used name (NmErased _) = False
@@ -184,7 +187,7 @@ goPrimConst ctx (B64 m) = MkGoExp $ cast_ uint64 $ MkBasicLiteral MkInt $ show m
 goPrimConst ctx (Str str) = MkGoExp $ stringL str
 goPrimConst ctx (Ch c) = MkGoExp $ charL c
 goPrimConst ctx (Db dbl) = MkGoExp $ floatL dbl
-goPrimConst ctx (PrT pty) = 
+goPrimConst ctx (PrT pty) =
   let tyName = case pty of
                  IntType => "IntTypeValue"
                  Int8Type => "Int8TypeValue"
@@ -850,7 +853,7 @@ goTailCallFnBody ctx tag args alts =
       cap = capFromAlts alts 1
   in [ id_ tcVarName ] /:=/ [ intL tag ]
      :: decl (vars [ var [ id_ tcArgName ] (array (intL cap) (tid' "any")) [] ])
-     :: assignValues 0 args 
+     :: assignValues 0 args
          [ label tcLabelName $ while (id_ tcVarName /!=/ intL 0) sts
          , return [ id_ tcArgName `index` intL 0 ]
          ]
@@ -888,7 +891,7 @@ goTailCallFnBody ctx tag args alts =
     assignValues n (name :: ns) rest =
       ([ id_ tcArgName `index` intL n ] /=/ [ id_ $ value $ goName name]) :: assignValues (n+1) ns rest
 
-goLog : 
+goLog :
   {auto c : Ref Ctxt Defs} ->
   Nat ->
   String ->
@@ -1285,4 +1288,3 @@ compileGo outDir outFile defs exp = do
 
   goLog 5 "completed \{show outFile}"
   pure Nothing
-

tests/tour/basics14/Basics14.idr

@@ -3,6 +3,9 @@ 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"
@@ -17,4 +20,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/basics16/Basics16.idr

@@ -3,6 +3,9 @@ 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"
@@ -30,4 +33,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/flowcontrol7/FlowControl7.idr

@@ -3,6 +3,9 @@ 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"
@@ -28,4 +31,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/flowcontrol9/FlowControl9.idr

@@ -3,6 +3,9 @@ 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"
@@ -31,4 +34,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/moretypes1/MoreTypes1.idr

@@ -3,6 +3,9 @@ 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"
@@ -30,4 +33,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/moretypes11/MoreTypes11.idr

@@ -3,13 +3,16 @@ 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"
               (package "main")
               [ import_ "fmt" ]
               [ func "main" [] void
-                [ [ id_ "s" ] /:=/ [ compositL (array' int) 
+                [ [ id_ "s" ] /:=/ [ compositL (array' int)
                     [ intL 2
                     , intL 3
                     , intL 5
@@ -41,4 +44,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/moretypes14/MoreTypes14.idr

@@ -3,6 +3,9 @@ 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"
@@ -38,4 +41,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/moretypes15/MoreTypes15.idr

@@ -3,6 +3,9 @@ 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"
@@ -34,4 +37,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/moretypes17/MoreTypes17.idr

@@ -3,6 +3,9 @@ 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"
@@ -23,4 +26,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-

tests/tour/moretypes5/MoreTypes5.idr

@@ -3,6 +3,9 @@ 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"
@@ -31,4 +34,3 @@ main = do
   Right () <- printFile "build/go" src
     | Left e => putStrLn $ show e
   pure ()
-