mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-21 10:49:33 -06:00
paths in Symbol modules; present in ResRon (not complete)
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolAra of Symbol = CatAra ** open Prelude, ResAra in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolBul of Symbol = CatBul ** open Prelude, ResBul in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:romance:abstract:common
|
||||
--# -path=.:../romance:../abstract:../common
|
||||
|
||||
concrete SymbolCat of Symbol = CatCat ** SymbolRomance with
|
||||
(ResRomance = ResCat) ;
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:scandinavian:abstract:common
|
||||
--# -path=.:../scandinavian:../abstract:../common
|
||||
|
||||
concrete SymbolDan of Symbol = CatDan ** SymbolScand with
|
||||
(ResScand = ResDan) ;
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolEng of Symbol = CatEng ** open Prelude, ResEng in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolFin of Symbol = CatFin ** open Prelude, NounFin, ResFin in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:romance:abstract:common
|
||||
--# -path=.:../romance:../abstract:../common
|
||||
|
||||
concrete SymbolFre of Symbol = CatFre ** SymbolRomance with
|
||||
(ResRomance = ResFre) ;
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolGer of Symbol = CatGer ** open Prelude, ResGer in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolHin of Symbol = CatHin ** open Prelude, ResHin in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolIna of Symbol = CatIna ** open Prelude, ResIna in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:romance:abstract:common
|
||||
--# -path=.:../romance:../abstract:../common
|
||||
|
||||
concrete SymbolIta of Symbol = CatIta ** SymbolRomance with
|
||||
(ResRomance = ResIta) ;
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolLat of Symbol = CatLat ** open Prelude, ResLat in {
|
||||
--
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:scandinavian:abstract:common
|
||||
--# -path=.:../scandinavian:../abstract:../common
|
||||
|
||||
concrete SymbolNor of Symbol = CatNor ** SymbolScand with
|
||||
(ResScand = ResNor) ;
|
||||
|
||||
@@ -508,9 +508,9 @@ oper
|
||||
RCond => VCondit ;
|
||||
RPres => VPres m
|
||||
} ;
|
||||
cmp = case <t,a,m> of
|
||||
{<RPast,Simul,Indic> | <RPres, Anter,Indic> => True ;
|
||||
<RCond, _, _> => True;
|
||||
cmp = case <<t,a,m> : RTense * Anteriority * Mood> of {
|
||||
<RPast,Simul,Indic> | <RPres, Anter,Indic> => True ; --# notpresent
|
||||
<RCond, _, _> => True; --# notpresent
|
||||
_ => False
|
||||
} ;
|
||||
vp = useVP vpr ;
|
||||
|
||||
@@ -1,3 +1,5 @@
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolRon of Symbol =
|
||||
CatRon ** open Prelude, ResRon in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:abstract:common
|
||||
--# -path=.:../abstract:../common
|
||||
|
||||
concrete SymbolRus of Symbol = CatRus ** open Prelude, ResRus in {
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:romance:abstract:common
|
||||
--# -path=.:../romance:../abstract:../common
|
||||
|
||||
concrete SymbolSpa of Symbol = CatSpa ** SymbolRomance with
|
||||
(ResRomance = ResSpa) ;
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
--# -path=.:scandinavian:abstract:common
|
||||
--# -path=.:../scandinavian:../abstract:../common
|
||||
|
||||
concrete SymbolSwe of Symbol = CatSwe ** SymbolScand with
|
||||
(ResScand = ResSwe) ;
|
||||
|
||||
Reference in New Issue
Block a user