1
0
forked from GitHub/gf-rgl

more cases where IFrac introduces additional dots

This commit is contained in:
Krasimir Angelov
2024-01-16 15:19:59 +01:00
parent d59831a176
commit 93673448e4
3 changed files with 3 additions and 3 deletions

View File

@@ -123,7 +123,7 @@ lin IFrac d i = {
if_then_Str d.hasDot BIND (BIND++"."++BIND) ++ if_then_Str d.hasDot BIND (BIND++"."++BIND) ++
i.s ! co ; i.s ! co ;
n = Pl ; n = Pl ;
hasDot=False hasDot=True
} ; } ;
} }

View File

@@ -157,7 +157,7 @@ oper
if_then_Str d.hasDot BIND (BIND++"."++BIND) ++ if_then_Str d.hasDot BIND (BIND++"."++BIND) ++
i.s ! o ; i.s ! o ;
n = Pl ; n = Pl ;
hasDot=False hasDot=True
} ; } ;
oper oper

View File

@@ -302,7 +302,7 @@ Xilias : CardOrd -> (CardOrd => Str) -> Number -> Str = \co,d,n ->
if_then_Str d.hasDot BIND (BIND++"."++BIND) ++ if_then_Str d.hasDot BIND (BIND++"."++BIND) ++
i.s ! o ; i.s ! o ;
n = Pl ; n = Pl ;
hasDot=False hasDot=True
} ; } ;
oper oper