add loadHorizon function

shell/ShellRC.hs

@@ -277,6 +277,9 @@ h :: HorizonExport -> Expr Src Import
 h (MakePackageSet (MkPackageSetExportSettings d _ (MkPackageSet _ (MkPackageList (Map.toList -> ys))))) = 
   RecordLit $ DMap.fromList $ map ((\(MkName x, y) -> (x, y)) . uncurry f) ys
 
+loadHorizon :: IO HorizonExport
+loadHorizon = Dhall.inputFile @HorizonExport Dhall.auto "horizon.dhall"
+
 go :: IO ()
 go = do
   x <- Dhall.inputFile @HorizonExport Dhall.auto "horizon.dhall"

shell/default.nix

@@ -54,6 +54,8 @@ let
       :set prompt-function promptFunction
 
       _init
+
+      hz <- loadHorizon
     END
     grep -E '^import .*$' < ${shellrcSrc}/${shellrcModulePath} >> $out
   '';