move TPasseSimple to Extend

This commit is contained in:
Krasimir Angelov
2023-10-10 08:54:23 +02:00
parent 88fe3e5a25
commit ca7d7d8fde
5 changed files with 9 additions and 0 deletions

View File

@@ -278,6 +278,8 @@ incomplete concrete ExtendRomanceFunctor of Extend =
UttDatIP ip = UttAccIP (lin IP ip) ; -- whom (dative) ; DEFAULT who
UttVPShort = UttVP ;
TPasseSimple = {s = []} ** {t = RPasse} ; --# notpresent
oper
quoted : Str -> Str = \s -> "\"" ++ s ++ "\"" ; ---- TODO bind ; move to Prelude?