From 290f67fc85b637ce4df886fc3cd1a5289b38db95 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Fri, 21 Jun 2024 16:02:17 +0100 Subject: [PATCH] Rename >> : IO -> IO -> IO to >>> --- Stdlib/System/IO/Base.juvix | 4 ++-- Stdlib/System/IO/Bool.juvix | 2 +- Stdlib/System/IO/Int.juvix | 3 ++- Stdlib/System/IO/Nat.juvix | 3 ++- Stdlib/System/IO/String.juvix | 2 +- 5 files changed, 8 insertions(+), 6 deletions(-) diff --git a/Stdlib/System/IO/Base.juvix b/Stdlib/System/IO/Base.juvix index bb04458e..67722245 100644 --- a/Stdlib/System/IO/Base.juvix +++ b/Stdlib/System/IO/Base.juvix @@ -5,6 +5,6 @@ import Stdlib.Data.Fixity open; builtin IO axiom IO : Type; -syntax operator >> seq; +syntax operator >>> seq; builtin IO-sequence -axiom >> : IO → IO → IO; +axiom >>> : IO → IO → IO; diff --git a/Stdlib/System/IO/Bool.juvix b/Stdlib/System/IO/Bool.juvix index 0fd5a9bb..da364e69 100644 --- a/Stdlib/System/IO/Bool.juvix +++ b/Stdlib/System/IO/Bool.juvix @@ -8,4 +8,4 @@ builtin bool-print axiom printBool : Bool → IO; printBoolLn (b : Bool) : IO := - printBool b >> printString "\n"; + printBool b >>> printString "\n"; diff --git a/Stdlib/System/IO/Int.juvix b/Stdlib/System/IO/Int.juvix index ed5ea299..6c89adcd 100644 --- a/Stdlib/System/IO/Int.juvix +++ b/Stdlib/System/IO/Int.juvix @@ -7,4 +7,5 @@ import Stdlib.System.IO.String open; builtin int-print axiom printInt : Int → IO; -printIntLn (i : Int) : IO := printInt i >> printString "\n"; +printIntLn (i : Int) : IO := + printInt i >>> printString "\n"; diff --git a/Stdlib/System/IO/Nat.juvix b/Stdlib/System/IO/Nat.juvix index 8322fd4f..99c54fef 100644 --- a/Stdlib/System/IO/Nat.juvix +++ b/Stdlib/System/IO/Nat.juvix @@ -7,4 +7,5 @@ import Stdlib.System.IO.String open; builtin nat-print axiom printNat : Nat → IO; -printNatLn (n : Nat) : IO := printNat n >> printString "\n"; +printNatLn (n : Nat) : IO := + printNat n >>> printString "\n"; diff --git a/Stdlib/System/IO/String.juvix b/Stdlib/System/IO/String.juvix index a949f18c..511e7036 100644 --- a/Stdlib/System/IO/String.juvix +++ b/Stdlib/System/IO/String.juvix @@ -10,4 +10,4 @@ builtin IO-readline axiom readLn : (String → IO) → IO; printStringLn (s : String) : IO := - printString s >> printString "\n"; + printString s >>> printString "\n";