1
0
forked from GitHub/gf-rgl

remove ListS for the moment again because it leads to problems

This commit is contained in:
Herbert Lange
2019-03-20 12:05:53 +01:00
parent 943ce05351
commit b060551802

View File

@@ -53,9 +53,9 @@ concrete ConjunctionLat of Conjunction =
-- --
-- BaseS : S -> S -> ListS -- BaseS : S -> S -> ListS
BaseS x y = { -- BaseS x y = {
l = \\c => { s1 = x ; s2 = y } ; -- l = \\c => { s1 = x ; s2 = y } ;
} ; -- } ;
-- ConsS : S -> ListS -> ListS -- ConsS : S -> ListS -> ListS
-- TO FIX -- TO FIX
@@ -111,7 +111,7 @@ concrete ConjunctionLat of Conjunction =
{ l = \\_ => consrTable Agr and_Conj.s2 x (xs.l ! Comma ) } ; { l = \\_ => consrTable Agr and_Conj.s2 x (xs.l ! Comma ) } ;
-- --
lincat lincat
[S] = { l : Coordinator => {s1,s2 : S} } ; -- TO FIX -- [S] = { l : Coordinator => {s1,s2 : S} } ; -- TO FIX
[Adv] = { l: Coordinator => {s1,s2 : Str}} ; [Adv] = { l: Coordinator => {s1,s2 : Str}} ;
[NP] = {l : Coordinator => {s1,s2 : Case => Str} ; g : Gender ; n : Number ; p : Person ; adv : Str ; preap : AP ; postap : AP ; isBase : Bool } ; [NP] = {l : Coordinator => {s1,s2 : Case => Str} ; g : Gender ; n : Number ; p : Person ; adv : Str ; preap : AP ; postap : AP ; isBase : Bool } ;
[AP] = {l : Coordinator => {s1,s2 : Agr => Str } } ; [AP] = {l : Coordinator => {s1,s2 : Agr => Str } } ;