Merge Text code

pull/17/head
Bram 2024-03-29 12:01:05 +01:00
parent 5856084b45
commit f1dde4874b
3 changed files with 9 additions and 6 deletions

View File

@ -17,7 +17,6 @@
"Internal.Tools.Iddict", "Internal.Tools.Iddict",
"Internal.Tools.Json", "Internal.Tools.Json",
"Internal.Tools.Mashdict", "Internal.Tools.Mashdict",
"Internal.Tools.RationalOrder",
"Internal.Tools.Timestamp", "Internal.Tools.Timestamp",
"Internal.Tools.VersionControl", "Internal.Tools.VersionControl",
"Internal.Values.Context", "Internal.Values.Context",

View File

@ -214,13 +214,14 @@ docs =
{-| Description of all edge cases where a JSON decoder can fail. {-| Description of all edge cases where a JSON decoder can fail.
-} -}
failures : { hashdict : Desc, mashdict : Desc } failures : { hashdict : Desc, listWithOne : String, mashdict : Desc }
failures = failures =
{ hashdict = { hashdict =
[ "Not all values map to thir respected hash with the given hash function." [ "Not all values map to their respected hash with the given hash function."
] ]
, listWithOne = "Expected at least one value in the list - zero found."
, mashdict = , mashdict =
[ "Not all values map to thir respected hash with the given hash function." [ "Not all values map to their respected hash with the given hash function."
] ]
} }
@ -485,7 +486,10 @@ leakingValueFound leaking_value =
"Found leaking value : " ++ leaking_value "Found leaking value : " ++ leaking_value
{-| -} {-| These logs might appear during a process where something unexpected has
happened. Most of these unexpected results, are taken account of by the Elm SDK,
but logged so that the programmer can do something about it.
-}
logs : { keyIsNotAnInt : String -> String } logs : { keyIsNotAnInt : String -> String }
logs = logs =
{ keyIsNotAnInt = { keyIsNotAnInt =

View File

@ -525,7 +525,7 @@ listWithOne (Coder old) =
(\items -> (\items ->
case items of case items of
[] -> [] ->
D.fail "Expected at least one value in list" D.fail Text.failures.listWithOne
( h, l1 ) :: t -> ( h, l1 ) :: t ->
D.succeed D.succeed