forked from GitHub/gf-rgl
(Hun) Handle dashes separately from multiwords
This commit is contained in:
@@ -631,18 +631,23 @@ oper
|
|||||||
} ;
|
} ;
|
||||||
|
|
||||||
Multiword : Type = {p1,p2 : Str} ;
|
Multiword : Type = {p1,p2 : Str} ;
|
||||||
splitMultiword : Str -> Multiword = \multi_word -> case multi_word of {
|
splitMultiword : Str -> Multiword = \mw -> case mw of {
|
||||||
x + "-" + y
|
|
||||||
=> <x+"-", y> ;
|
|
||||||
v + " " + w + " " + x + " " + y + " " + z
|
v + " " + w + " " + x + " " + y + " " + z
|
||||||
=> <v ++ w ++ x ++ y+" ", z> ;
|
=> splitDash <v ++ w ++ x ++ y+" ", z> ;
|
||||||
w + " " + x + " " + y + " " + z
|
w + " " + x + " " + y + " " + z
|
||||||
=> <w ++ x ++ y+" ", z> ;
|
=> splitDash <w ++ x ++ y+" ", z> ;
|
||||||
x + " " + y + " " + z
|
x + " " + y + " " + z
|
||||||
=> <x ++ y+" ", z> ;
|
=> splitDash <x ++ y+" ", z> ;
|
||||||
y + " " + z
|
y + " " + z
|
||||||
=> <y + " ", z> ;
|
=> splitDash <y + " ", z> ;
|
||||||
_ => <"", multi_word>
|
_ => splitDash <"", mw>
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
splitDash : Multiword -> Multiword = \mw ->
|
||||||
|
case mw of {
|
||||||
|
<prefix, x + "-" + y>
|
||||||
|
=> <prefix ++ x + "-", y> ;
|
||||||
|
_ => mw
|
||||||
|
} ;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user