mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-28 04:16:30 -06:00
(May) Add numerals and digits
This commit is contained in:
+9
-5
@@ -70,21 +70,25 @@ oper
|
||||
-- numtype : NumType ; -- number as in "5" or "Sg/Pl", often makes a difference in lots of things
|
||||
} ;
|
||||
|
||||
Num : Type = {
|
||||
s : DForm => Str ; -- independent or attribute
|
||||
CardNum : Type = {
|
||||
s : Str ;
|
||||
n : Number
|
||||
} ;
|
||||
|
||||
baseNum : Num = {
|
||||
s = \\_ => [] ;
|
||||
baseNum : CardNum = {
|
||||
s = [] ;
|
||||
n = Sg ;
|
||||
numtype = NoNum
|
||||
} ;
|
||||
|
||||
Numeral : Type = Num ** {
|
||||
CardOrdNum : Type = CardNum ** {
|
||||
ord : Str
|
||||
} ;
|
||||
|
||||
DigNum : Type = {
|
||||
s : CardOrd => Str ;
|
||||
} ;
|
||||
|
||||
baseQuant : Quant = {
|
||||
s = [] ;
|
||||
sp = \\_ => [] ;
|
||||
|
||||
Reference in New Issue
Block a user