GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-25 11:06:28 -06:00
Code Issues Packages Projects Releases Wiki Activity

(Hun) Merge the param Number into NumType: NoNum {Sg|Pl} | IsNum

Browse Source
This commit is contained in:
Inari Listenmaa
2020-04-28 12:57:24 +02:00
parent 1d50cc8bca
commit 84985b91c0
4 changed files with 34 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/hungarian/ParamHun.gf
+7 -4
View File
@@ -179,13 +179,16 @@ param
CardOrd = NOrd | NCard ; -- Not used yet
NumType = NoNum | IsNum ;
NumType = NoNum Number | IsNum ;
oper
isNum : {numtype : NumType} -> Bool = \nt -> case nt.numtype of {
NoNum => False ;
_ => True
isNum : {n : NumType} -> Bool = \n -> case n.n of {
IsNum => True ;
_ => False
} ;
num2number : NumType -> Number = \n ->
case n of {NoNum x => x ; IsNum => Sg} ;
--------------------------------------------------------------------------------
-- Adjectives