diff --git a/shell/ShellRC.hs b/shell/ShellRC.hs index 38820cf7670bf9bf62c119d7b15a022ea1f92e01..5e234ee75817e3fd6df2218eca560da45e89af6e 100644 --- a/shell/ShellRC.hs +++ b/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" diff --git a/shell/default.nix b/shell/default.nix index 184d5106df6398bd7b6327a18f27dbfd7a6d1237..c1d2f165df79d7500dda1b36f0e81cfcf845bbd8 100644 --- a/shell/default.nix +++ b/shell/default.nix @@ -54,6 +54,8 @@ let :set prompt-function promptFunction _init + + hz <- loadHorizon END grep -E '^import .*$' < ${shellrcSrc}/${shellrcModulePath} >> $out '';