mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-07-01 11:38:34 -06:00
(Fin) Add SOFT_BIND before commas
This commit is contained in:
@@ -38,7 +38,7 @@ lin
|
||||
MkSymb s = s ;
|
||||
|
||||
BaseSymb = infixSS "ja" ;
|
||||
ConsSymb = infixSS "," ;
|
||||
ConsSymb = infixSS (SOFT_BIND ++ ",") ;
|
||||
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user