Home
last modified time | relevance | path

Searched refs:SectionAlreadyExists (Results 1 – 2 of 2) sorted by relevance

/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/ConfigFile-1.1.4/src/Data/ConfigFile/
H A DTypes.hs65 … | SectionAlreadyExists SectionSpec -- ^ Attempt to create an already-existing ection constructor
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/ConfigFile-1.1.4/src/Data/
H A DConfigFile.hs315 then throwError $ (SectionAlreadyExists s, "add_section")