Allow running load synchronously

flake.nix

@@ -51,6 +51,19 @@
         agda = pkgs.agda.withPackages (p: [ p.standard-library ]);
       in
       {
+        devShells.default = let
+          hsPkgs = pkgs.haskell.packages.${defaultGhcVersion};
+          buildInputs = [
+            hsPkgs.ghc
+            hsPkgs.haskell-language-server
+            pkgs.cabal-install
+            pkgs.hpack
+            pkgs.zlib
+          ];
+        in pkgs.mkShell {
+          buildInputs = buildInputs;
+          LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath buildInputs;
+        };
         packages = {
           inherit agda;
           ${name} = pkgs.${name};

src/Cornelis/Config.hs

@@ -1,9 +1,10 @@
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE RecordWildCards #-}
 
 module Cornelis.Config where
 
 import           Cornelis.Types
-import           Cornelis.Utils (objectToInt, objectToText)
+import           Cornelis.Utils (objectToInt, objectToText, objectToBool)
 import           Data.Maybe (fromMaybe)
 import qualified Data.Text as T
 import           Neovim
@@ -30,12 +31,18 @@ getVarWithAlternatives = fmap getFirst . foldMap (fmap First . getVar)
 ------------------------------------------------------------------------------
 -- | Build a 'CornelisConfig' from .vimrc
 getConfig :: Neovim env CornelisConfig
-getConfig
-  = CornelisConfig
-    <$> fmap (fromMaybe 31 . (objectToInt =<<))
-        (getVar "cornelis_max_size")
-    <*> fmap (fromMaybe 31 . (objectToInt =<<))
-        (getVar "cornelis_max_width")
-    <*> (fromMaybe Horizontal . (>>= (readSplitLocation . T.unpack <=< objectToText)) <$>
-        getVarWithAlternatives ["cornelis_split_location", "cornelis_split_direction"])
-
+getConfig = do
+  cc_max_height <-
+    fmap
+      (fromMaybe 31 . (objectToInt =<<))
+      (getVar "cornelis_max_size")
+  cc_max_width <-
+    fmap
+      (fromMaybe 31 . (objectToInt =<<))
+      (getVar "cornelis_max_width")
+  cc_split_location <-
+    fromMaybe Horizontal . (>>= (readSplitLocation . T.unpack <=< objectToText)) <$>
+      getVarWithAlternatives ["cornelis_split_location", "cornelis_split_direction"]
+  cc_sync_load <-
+    (/= (0 :: Int)) . fromMaybe 0 . (objectToInt =<<) <$> getVar "cornelis_sync_load"
+  pure CornelisConfig {..}

src/Cornelis/Types.hs

@@ -107,6 +107,8 @@ data CornelisConfig = CornelisConfig
   { cc_max_height :: Int64
   , cc_max_width :: Int64
   , cc_split_location :: SplitLocation
+  , cc_sync_load :: Bool
+  -- ^ should the "load the buffer" command be synchronous?
   }
   deriving (Show, Generic)
 

src/Cornelis/Utils.hs

@@ -31,6 +31,10 @@ objectToText :: Object -> Maybe Text
 objectToText (ObjectString w) = Just $ decodeUtf8 w
 objectToText _ = Nothing
 
+objectToBool :: Object -> Maybe Bool
+objectToBool (ObjectBool b) = Just b
+objectToBool _ = Nothing
+
 neovimAsync :: (MonadUnliftIO m) => m a -> m (Async a)
 neovimAsync m =
   withRunInIO $ \lower ->

src/Lib.hs

@@ -196,13 +196,19 @@ cornelis = do
   let rw_complete = CmdComplete "custom,InternalCornelisRewriteModeCompletion"
       cm_complete = CmdComplete "custom,InternalCornelisComputeModeCompletion"
       debug_complete = CmdComplete "custom,InternalCornelisDebugCommandCompletion"
+  let
+    loadSyncness =
+      CmdSync $
+        if cc_sync_load $ ce_config env
+          then Sync
+          else Async
 
   wrapPlugin $ Plugin
     { environment = env
     , exports =
         [ $(command "CornelisRestart"          'doRestart)        [CmdSync Async]
         , $(command "CornelisAbort"            'doAbort)          [CmdSync Async]
-        , $(command "CornelisLoad"             'doLoad)           [CmdSync Async]
+        , $(command "CornelisLoad"             'doLoad)           [loadSyncness]
         , $(command "CornelisGoals"            'doAllGoals)       [CmdSync Async]
         , $(command "CornelisSolve"            'solveOne)         [CmdSync Async, rw_complete]
         , $(command "CornelisAuto"             'autoOne)          [CmdSync Async]