diff --git a/Makefile b/Makefile index 73510ee168..87c2467010 100644 --- a/Makefile +++ b/Makefile @@ -162,7 +162,6 @@ juvix-format: $(TOFORMAT) $(TOFORMAT): %: @echo "Formatting $@" @juvix dev scope $@ --with-comments > $@.tmp - @echo "" >> $@.tmp @mv $@.tmp $@ @echo "Typechecking formatted $@" @juvix typecheck $@ --only-errors diff --git a/examples/demo/Demo.juvix b/examples/demo/Demo.juvix index c82f9e05bd..ec3fa5cb82 100644 --- a/examples/demo/Demo.juvix +++ b/examples/demo/Demo.juvix @@ -57,4 +57,3 @@ module Demo; >> printNatLn (log2 3) >> printNatLn (log2 130); end; - diff --git a/examples/milestone/Collatz/Collatz.juvix b/examples/milestone/Collatz/Collatz.juvix index 36b451ad68..d21aff13b2 100644 --- a/examples/milestone/Collatz/Collatz.juvix +++ b/examples/milestone/Collatz/Collatz.juvix @@ -40,4 +40,3 @@ module Collatz; printStringLn welcome >> readLn (run collatz ∘ stringToNat); end; - diff --git a/examples/milestone/Fibonacci/Fibonacci.juvix b/examples/milestone/Fibonacci/Fibonacci.juvix index c84390527a..e82509e52e 100644 --- a/examples/milestone/Fibonacci/Fibonacci.juvix +++ b/examples/milestone/Fibonacci/Fibonacci.juvix @@ -11,4 +11,3 @@ module Fibonacci; main : IO; main := printNatLn (fibonacci 25); end; - diff --git a/examples/milestone/Hanoi/Hanoi.juvix b/examples/milestone/Hanoi/Hanoi.juvix index 934319522f..7ebc920ddf 100644 --- a/examples/milestone/Hanoi/Hanoi.juvix +++ b/examples/milestone/Hanoi/Hanoi.juvix @@ -72,4 +72,3 @@ module Hanoi; printStringLn (unlines (map showMove (hanoi 5 left middle right))); end; - diff --git a/examples/milestone/HelloWorld/HelloWorld.juvix b/examples/milestone/HelloWorld/HelloWorld.juvix index 57c0c93a71..c5bc0602b5 100644 --- a/examples/milestone/HelloWorld/HelloWorld.juvix +++ b/examples/milestone/HelloWorld/HelloWorld.juvix @@ -5,4 +5,3 @@ module HelloWorld; main : IO; main := printStringLn "hello world!"; end; - diff --git a/examples/milestone/PascalsTriangle/PascalsTriangle.juvix b/examples/milestone/PascalsTriangle/PascalsTriangle.juvix index 5c891fecd3..ca8e1d716c 100644 --- a/examples/milestone/PascalsTriangle/PascalsTriangle.juvix +++ b/examples/milestone/PascalsTriangle/PascalsTriangle.juvix @@ -57,4 +57,3 @@ module PascalsTriangle; main : IO; main := printStringLn (unlines (map showList (pascal 10))); end; - diff --git a/examples/milestone/TicTacToe/CLI/TicTacToe.juvix b/examples/milestone/TicTacToe/CLI/TicTacToe.juvix index ac5fba15d7..3a4909a887 100644 --- a/examples/milestone/TicTacToe/CLI/TicTacToe.juvix +++ b/examples/milestone/TicTacToe/CLI/TicTacToe.juvix @@ -48,4 +48,3 @@ module CLI.TicTacToe; main : IO; main := printStringLn welcome >> run beginState; end; - diff --git a/examples/milestone/TicTacToe/Logic/Board.juvix b/examples/milestone/TicTacToe/Logic/Board.juvix index 752fa9a103..f3acba027a 100644 --- a/examples/milestone/TicTacToe/Logic/Board.juvix +++ b/examples/milestone/TicTacToe/Logic/Board.juvix @@ -36,4 +36,3 @@ module Logic.Board; showBoard (board squares) := unlines (surround "+---+---+---+" (map showRow squares)); end; - diff --git a/examples/milestone/TicTacToe/Logic/Extra.juvix b/examples/milestone/TicTacToe/Logic/Extra.juvix index 49ce73a0d1..73e83f5e3d 100644 --- a/examples/milestone/TicTacToe/Logic/Extra.juvix +++ b/examples/milestone/TicTacToe/Logic/Extra.juvix @@ -23,4 +23,3 @@ module Logic.Extra; unlines : List String → String; unlines := intercalate "\n"; end; - diff --git a/examples/milestone/TicTacToe/Logic/Game.juvix b/examples/milestone/TicTacToe/Logic/Game.juvix index cd5f638bbd..94425cfce5 100644 --- a/examples/milestone/TicTacToe/Logic/Game.juvix +++ b/examples/milestone/TicTacToe/Logic/Game.juvix @@ -48,4 +48,3 @@ module Logic.Game; validMove : Nat → Maybe Nat; validMove n := if (n <= 9 && n >= 1) (just n) nothing; end; - diff --git a/examples/milestone/TicTacToe/Logic/GameState.juvix b/examples/milestone/TicTacToe/Logic/GameState.juvix index 186727c7ae..b7c25bd866 100644 --- a/examples/milestone/TicTacToe/Logic/GameState.juvix +++ b/examples/milestone/TicTacToe/Logic/GameState.juvix @@ -48,4 +48,3 @@ module Logic.GameState; draw (state (board squares) _ _) := null (possibleMoves (flatten squares)); end; - diff --git a/examples/milestone/TicTacToe/Logic/Square.juvix b/examples/milestone/TicTacToe/Logic/Square.juvix index 8843e0c4b5..e0dff5eabe 100644 --- a/examples/milestone/TicTacToe/Logic/Square.juvix +++ b/examples/milestone/TicTacToe/Logic/Square.juvix @@ -30,4 +30,3 @@ module Logic.Square; (empty n); replace _ _ s := s; end; - diff --git a/examples/milestone/TicTacToe/Logic/Symbol.juvix b/examples/milestone/TicTacToe/Logic/Symbol.juvix index ee463593d5..5cfa3e7880 100644 --- a/examples/milestone/TicTacToe/Logic/Symbol.juvix +++ b/examples/milestone/TicTacToe/Logic/Symbol.juvix @@ -25,4 +25,3 @@ module Logic.Symbol; showSymbol O := "O"; showSymbol X := "X"; end; - diff --git a/examples/milestone/TicTacToe/TicTacToe.juvix b/examples/milestone/TicTacToe/TicTacToe.juvix index c678ced8e3..8c1a2506a6 100644 --- a/examples/milestone/TicTacToe/TicTacToe.juvix +++ b/examples/milestone/TicTacToe/TicTacToe.juvix @@ -2,4 +2,3 @@ module TicTacToe; import CLI.TicTacToe; import Web.TicTacToe; end; - diff --git a/examples/milestone/TicTacToe/Web/TicTacToe.juvix b/examples/milestone/TicTacToe/Web/TicTacToe.juvix index 885ddc3ace..cc0ed9048b 100644 --- a/examples/milestone/TicTacToe/Web/TicTacToe.juvix +++ b/examples/milestone/TicTacToe/Web/TicTacToe.juvix @@ -173,4 +173,3 @@ module Web.TicTacToe; renderAndReturn (playMove (validMove (selectedSquare x y)) s); end; - diff --git a/examples/milestone/Tutorial/Tutorial.juvix b/examples/milestone/Tutorial/Tutorial.juvix index 03ba918277..c48d0d1126 100644 --- a/examples/milestone/Tutorial/Tutorial.juvix +++ b/examples/milestone/Tutorial/Tutorial.juvix @@ -12,4 +12,3 @@ module Tutorial; main : IO; main := printStringLn "Hello world!"; end; - diff --git a/examples/milestone/ValidityPredicates/Anoma/Base.juvix b/examples/milestone/ValidityPredicates/Anoma/Base.juvix index af0d49b605..d74bf95f73 100644 --- a/examples/milestone/ValidityPredicates/Anoma/Base.juvix +++ b/examples/milestone/ValidityPredicates/Anoma/Base.juvix @@ -80,4 +80,3 @@ module Anoma.Base; unwrap-default : Maybe Int → Int; unwrap-default := maybe Int_0 id; end; - diff --git a/examples/milestone/ValidityPredicates/Data/Int.juvix b/examples/milestone/ValidityPredicates/Data/Int.juvix index 0ac3c65fbb..6738e93b2a 100644 --- a/examples/milestone/ValidityPredicates/Data/Int.juvix +++ b/examples/milestone/ValidityPredicates/Data/Int.juvix @@ -17,4 +17,3 @@ module Data.Int; c ↦ "1"; }; end; - diff --git a/examples/milestone/ValidityPredicates/Data/Int/Ops.juvix b/examples/milestone/ValidityPredicates/Data/Int/Ops.juvix index 87a6fed331..52acf1d226 100644 --- a/examples/milestone/ValidityPredicates/Data/Int/Ops.juvix +++ b/examples/milestone/ValidityPredicates/Data/Int/Ops.juvix @@ -54,4 +54,3 @@ module Data.Int.Ops; c ↦ "plus"; }; end; - diff --git a/examples/milestone/ValidityPredicates/SimpleFungibleToken.juvix b/examples/milestone/ValidityPredicates/SimpleFungibleToken.juvix index 700bc11eb6..b9417ea7db 100644 --- a/examples/milestone/ValidityPredicates/SimpleFungibleToken.juvix +++ b/examples/milestone/ValidityPredicates/SimpleFungibleToken.juvix @@ -50,4 +50,3 @@ module SimpleFungibleToken; (Int_0, true) keys-changed); end; - diff --git a/examples/milestone/ValidityPredicates/Tests.juvix b/examples/milestone/ValidityPredicates/Tests.juvix index 38007e4680..5ad0d34f96 100644 --- a/examples/milestone/ValidityPredicates/Tests.juvix +++ b/examples/milestone/ValidityPredicates/Tests.juvix @@ -34,4 +34,3 @@ module Tests; >> printStringLn (show-result (vp token keys-changed verifiers)); end; -