1
0
forked from GitHub/gf-rgl

(Dut) Replace "," with bindComma in several places

This commit is contained in:
Inari Listenmaa
2018-05-07 16:30:20 +02:00
parent b8b67e8585
commit 1a338ea034
4 changed files with 6 additions and 6 deletions
+3 -3
View File
@@ -68,10 +68,10 @@ concrete SentenceDut of Sentence = CatDut ** open ResDut, Prelude in {
} ;
AdvS a s = {s = \\o => a.s ++ s.s ! Inv} ;
ExtAdvS a s = {s = \\o => a.s ++ "," ++ s.s ! Inv} ;
ExtAdvS a s = {s = \\o => a.s ++ bindComma ++ s.s ! Inv} ;
RelS s r = {s = \\o => s.s ! o ++ "," ++ r.s ! Neutr ! Sg} ;
RelS s r = {s = \\o => s.s ! o ++ bindComma ++ r.s ! Neutr ! Sg} ;
SSubjS a s b = {s = \\o => a.s ! o ++ "," ++ s.s ++ b.s ! Sub} ;
SSubjS a s b = {s = \\o => a.s ! o ++ bindComma ++ s.s ++ b.s ! Sub} ;
}