mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-26 13:02:50 -06:00
Chunking and other robust translation facilities in plain RGL
This commit is contained in:
@@ -1,22 +1,22 @@
|
||||
concrete ExtensionsSpa of Extensions =
|
||||
CatSpa **
|
||||
open
|
||||
PhonoSpa, MorphoSpa, ResSpa, CommonRomance, ParadigmsSpa, SyntaxSpa, Prelude, (G = GrammarSpa) in {
|
||||
PhonoSpa, MorphoSpa, ResSpa, CommonRomance, ParadigmsSpa, SyntaxSpa, Prelude, (G = GrammarSpa), (E = ExtraSpa) in {
|
||||
|
||||
----lincat
|
||||
---- VPI = E.VPI ;
|
||||
lincat
|
||||
VPI = E.VPI ;
|
||||
---- ListVPI = E.ListVPI ;
|
||||
---- VPS = E.VPS ;
|
||||
VPS = E.VPS ;
|
||||
---- ListVPS = E.ListVPS ;
|
||||
|
||||
----lin
|
||||
---- MkVPI = E.MkVPI ;
|
||||
lin
|
||||
MkVPI = E.MkVPI ;
|
||||
---- ConjVPI = E.ConjVPI ;
|
||||
---- ComplVPIVV = E.ComplVPIVV ;
|
||||
|
||||
---- MkVPS = E.MkVPS ;
|
||||
MkVPS = E.MkVPS ;
|
||||
---- ConjVPS = E.ConjVPS ;
|
||||
---- PredVPS = E.PredVPS ;
|
||||
PredVPS = E.PredVPS ;
|
||||
|
||||
---- BaseVPI = E.BaseVPI ;
|
||||
---- ConsVPI = E.ConsVPI ;
|
||||
|
||||
Reference in New Issue
Block a user