diff --git a/lib/src/Make.hs b/lib/src/Make.hs index e0230b11c..03deff3c5 100644 --- a/lib/src/Make.hs +++ b/lib/src/Make.hs @@ -51,6 +51,7 @@ langsCoding = [ (("punjabi", "Pnb"),""), (("romanian", "Ron"),""), (("russian", "Rus"),""), + (("sindhi", "Snd"),""), (("spanish", "Spa"),"Romance"), (("swedish", "Swe"),"Scand"), (("thai", "Tha"),""), @@ -70,16 +71,16 @@ langsLangAll = langs langsLang = langs `except` langsIncomplete -- languagues that have notpresent marked -langsPresent = langsLang `except` ["Nep","Pes","Tha"] +langsPresent = langsLang `except` ["Nep","Pes","Snd","Tha"] -- languages for which Lang can be compiled but which are incomplete -langsIncomplete = ["Amh","Ara","Hin","Lat","Tur"] +langsIncomplete = ["Amh","Ara","Lat","Tur"] -- languages for which to compile Try langsAPI = langsLang `except` langsIncomplete -- languages for which to compile Symbolic -langsSymbolic = langsLang `except` (langsIncomplete ++ ["Afr","Ina","Nep","Pes","Pnb","Rus"]) +langsSymbolic = langsLang `except` (langsIncomplete ++ ["Afr","Ina","Nep","Pes","Pnb","Rus", "Snd"]) -- languages for which to compile minimal Syntax langsMinimal = langs `only` ["Ara","Eng","Bul","Rus"] diff --git a/lib/src/prelude/Predef.gf b/lib/src/prelude/Predef.gf index f8002ae9b..15eec3984 100644 --- a/lib/src/prelude/Predef.gf +++ b/lib/src/prelude/Predef.gf @@ -32,6 +32,7 @@ resource Predef = { oper toLower : Tok -> Tok = variants {} ; -- map all chars to lower case oper show : (P : Type) -> P -> Tok = variants {} ; -- convert param to string oper read : (P : Type) -> Tok -> P = variants {} ; -- convert string to param + oper eqVal : (P : Type) -> P -> P -> PBool = variants {} ; -- test if equal values oper toStr : (L : Type) -> L -> Str = variants {} ; -- find the "first" string oper mapStr : (L : Type) -> (Str -> Str) -> L -> L = variants {} ; -- map all strings in a data structure; experimental ---