commit e3512d887df41a8162c3e361171c04beca08415b Author: Tom Stejskal Date: Mon Nov 19 20:09:43 2018 +0100 Fix Map.!: given key is not an element in the map diff --git a/compiler/src/Elm/Compiler/Type/Extract.hs b/compiler/src/Elm/Compiler/Type/Extract.hs index 1aafe1d4..99763392 100644 --- a/compiler/src/Elm/Compiler/Type/Extract.hs +++ b/compiler/src/Elm/Compiler/Type/Extract.hs @@ -10,6 +10,7 @@ module Elm.Compiler.Type.Extract import Data.Map ((!)) +import qualified Data.Map as Map import qualified Data.Maybe as Maybe import qualified Data.Set as Set @@ -134,11 +135,15 @@ extractUnion interfaces (Opt.Global home name) = else let pname = toPublicName home name - unions = I._unions (interfaces ! home) + maybeUnions = I._unions <$> Map.lookup home interfaces in - case I.toUnionInternals (unions ! name) of - Can.Union vars ctors _ _ -> - T.Union pname vars <$> traverse extractCtor ctors + case Map.lookup name =<< maybeUnions of + Just union -> + case I.toUnionInternals union of + Can.Union vars ctors _ _ -> + T.Union pname vars <$> traverse extractCtor ctors + Nothing -> + return $ T.Union pname [] [] extractCtor :: Can.Ctor -> Extractor (N.Name, [T.Type]) x/commit/gnu/home/services/sway.scm?id=4d9c5984fee481d74c2f504094b4797bbb4104d4'>commitdiff
path: root/gnu/home/services/sway.scm
AgeCommit message (Expand)Author
2024-10-12home: services: Add 'home-sway-service-type'....* gnu/home/services/sway.scm: New file. (home-sway-service-type): New variable. (sway-configuration->file): New procedure. (sway-configuration): New configuration record. (sway-bar): New configuration record. (sway-output): New configuration record. (sway-input): New configuration record. (point): New configuration record. (sway-color): New configuration record. (sway-border-color): New configuration record. (sway-mode): New configuration record. (flatmap): New procedure. * gnu/local.mk: Add gnu/home/services/sway.scm. * doc/guix.texi (Sway window manager): New node to document the above changes. Signed-off-by: Florian Pelz <pelzflorian@pelzflorian.de> Change-Id: I880261570c5afdb795f2ce18bac2b9a5c898677f Arnaud Daby-Seesaram