From e8c3f7a81cc9aac635febd084eff90814ca17b77 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Fri, 17 May 2024 20:55:48 +0100 Subject: [PATCH] Fix formatting --- src/Juvix/Compiler/Nockma/Encoding/ByteString.hs | 4 ++-- src/Juvix/Data/Keyword/All.hs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Juvix/Compiler/Nockma/Encoding/ByteString.hs b/src/Juvix/Compiler/Nockma/Encoding/ByteString.hs index 08bbac7fd5..d0a6669ad9 100644 --- a/src/Juvix/Compiler/Nockma/Encoding/ByteString.hs +++ b/src/Juvix/Compiler/Nockma/Encoding/ByteString.hs @@ -1,9 +1,9 @@ module Juvix.Compiler.Nockma.Encoding.ByteString where -import Juvix.Prelude.Base -import Juvix.Compiler.Nockma.Language import Data.Bit import Juvix.Compiler.Nockma.Encoding.Base +import Juvix.Compiler.Nockma.Language +import Juvix.Prelude.Base atomToByteString :: (NockNatural a, Member (Error (ErrNockNatural a)) r) => Atom a -> Sem r ByteString atomToByteString am = do diff --git a/src/Juvix/Data/Keyword/All.hs b/src/Juvix/Data/Keyword/All.hs index d35f4c11d8..13b4136fec 100644 --- a/src/Juvix/Data/Keyword/All.hs +++ b/src/Juvix/Data/Keyword/All.hs @@ -5,8 +5,8 @@ module Juvix.Data.Keyword.All where import Juvix.Data.Keyword -import Juvix.Extra.Strings qualified as Str import Juvix.Extra.Strings qualified as Std +import Juvix.Extra.Strings qualified as Str kwAs :: Keyword kwAs = asciiKw Str.as