forked from GitHub/gf-rgl
(Pes) Add isNum to SymbOrd
This commit is contained in:
@@ -28,7 +28,7 @@ concrete SymbolPes of Symbol = CatPes ** open Prelude, ResPes in {
|
|||||||
|
|
||||||
SymbS sy = sy ;
|
SymbS sy = sy ;
|
||||||
SymbNum sy = { s = sy.s ; n = Pl } ;
|
SymbNum sy = { s = sy.s ; n = Pl } ;
|
||||||
SymbOrd sy = { s = sy.s ++ "wN" ; n = Pl} ;
|
SymbOrd sy = { s = sy.s ++ "wN" ; n = Pl; isNum=False} ;
|
||||||
|
|
||||||
lincat
|
lincat
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user