mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-27 17:08:54 -06:00
(Hun) Remove calls to Predef.error
This commit is contained in:
@@ -448,7 +448,7 @@ oper
|
|||||||
x + "u" => x + "ú" ;
|
x + "u" => x + "ú" ;
|
||||||
x + "ö" => x + "ő" ;
|
x + "ö" => x + "ő" ;
|
||||||
x + "ü" => x + "ű" ;
|
x + "ü" => x + "ű" ;
|
||||||
_ => Predef.error "Lengthening not applicable to" ++ str
|
_ => str -- Lengthening not applicable to str
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
shorten : Str -> Str = \str -> case str of {
|
shorten : Str -> Str = \str -> case str of {
|
||||||
@@ -459,7 +459,7 @@ oper
|
|||||||
x + "ú" => x + "u" ;
|
x + "ú" => x + "u" ;
|
||||||
x + "ő" => x + "ö" ;
|
x + "ő" => x + "ö" ;
|
||||||
x + "ű" => x + "ü" ;
|
x + "ű" => x + "ü" ;
|
||||||
_ => Predef.error "Shortening not applicable to" ++ str
|
_ => str -- Shortening not applicable to str
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
-- Function to get a harmony from a string
|
-- Function to get a harmony from a string
|
||||||
|
|||||||
Reference in New Issue
Block a user