1
0
forked from GitHub/gf-rgl

=Implemented ComparA in Adjective. Needs through testing

This commit is contained in:
David Bamutura
2019-05-17 01:16:44 +02:00
parent fdc4dced45
commit 5f5d71bb0a
2 changed files with 11 additions and 9 deletions
+5 -3
View File
@@ -5,12 +5,14 @@ concrete AdjectiveCgg of Adjective = CatCgg **
lin
PositA a = a;
PositA a = {s=\\_=> a.s; position1= a.position1; isProper = a.isProper; isPrep = a.isPrep};
-- The superlative use is covered in $Ord$.
--AdjOrd : Ord -> AP ; -- warmest
AdjOrd ord = {s= ord.s; position1= ord.position1};
--AdjOrd : Ord -> AP ; -- warmest
AdjOrd ord = {s= \\agr => ord.s!agr ; position1= ord.position1; isProper = False; isPrep = False};
-- UseComparA : A -> AP ; -- warmer
UseComparA a ={s =\\_ => a.s ++ BIND ++ "ho" ++ "kukira"; position1= a.position1; isProper = a.isProper; isPrep = a.isPrep};
{-
abstract Adjective = Cat ** {