Changes if PR #376 is merged into gf-rgl

GrammaticalFramework / gf-wordnet

A WordNet in GF

https://cloud.grammaticalframework.org/wordnet/

24 stars 11 forks source link

Changes if PR #376 is merged into gf-rgl #27

Closed inariksit closed 3 years ago

inariksit commented 3 years ago

If this pull request https://github.com/GrammaticalFramework/gf-rgl/pull/367 is merged into gf-rgl, this pull request into gf-wordnet will

Take care of the lincat change of English VPS
Exclude the two new overgenerating VPSlash funs from ParseExtend.

So first merge 367 into gf-rgl, then merge this into gf-wordnet.

inariksit commented 3 years ago

@krangelov The PR is merged into gf-rgl, so this needs to be merged, otherwise things don't compile. I don't know if you are using gf-wordnet on something that depends on an older version of the rgl, so I'll leave it to you to merge this.