Adjust the -path flags in 112 RGL modules

The -path flags in the RGL modules compiled during 'cabal build' now refer 
directly to the needed source directories. References 'alltenses' and 'present'
(and the nonexistent directory 'mathematical') have been removed.

This allows the files to be compiled in any order (e.g. in parallel). In
addition, you can do things like

	gf -retain lib/src/api/TrySwe.gf

without compiling/installing any other RGL modules first, and without 
setting any other path flags or environment variables.
This commit is contained in:
hallgren
2014-08-18 22:26:29 +00:00
parent b53c9b1038
commit 7dee933802
112 changed files with 114 additions and 110 deletions

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllAfr of AllAfrAbs =
LangAfr,

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
--
concrete AllAmh of AllAmhAbs = LangAmh, ExtAmh ;

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../bulgarian:../common:../abstract:../prelude
resource SymbolicBul = Symbolic with
(Symbol = SymbolBul),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:prelude
--# -path=.:../catalan:../romance:../common:../abstract:../prelude
resource SymbolicCat = Symbolic with
(Symbol = SymbolCat),

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../chinese:../common:../abstract:../prelude
resource SymbolicChi = Symbolic with
(Symbol = SymbolChi),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../danish:../scandinavian:../common:../abstract:../prelude
resource SymbolicDan = Symbolic with
(Symbol = SymbolDan),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../dutch:../common:../abstract:../prelude
resource SymbolicDut = Symbolic with
(Symbol = SymbolDut),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../english:../common:../abstract:../prelude
resource SymbolicEng = Symbolic with
(Symbol = SymbolEng),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../estonian:../common:../abstract:../prelude
resource SymbolicEst = Symbolic with
(Symbol = SymbolEst),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../finnish:../common:../abstract:../prelude
resource SymbolicFin = Symbolic with
(Symbol = SymbolFin),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../french:../romance:../common:../abstract:../prelude
resource SymbolicFre = Symbolic with
(Symbol = SymbolFre),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../german:../common:../abstract:../prelude
resource SymbolicGer = Symbolic with
(Symbol = SymbolGer),

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../greek:../common:../abstract:../prelude
resource SymbolicGre = Symbolic with
(Symbol = SymbolGre),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../hindi:../hindustani:../common:../abstract:../prelude
resource SymbolicHin = Symbolic with
(Symbol = SymbolHin),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../italian:../romance:../common:../abstract:../prelude
resource SymbolicIta = Symbolic with
(Symbol = SymbolIta),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude:../latvian
--# -path=.:../latvian:../common:../abstract:../prelude
resource SymbolicLav = Symbolic with
(Symbol = SymbolLav),

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../maltese:../common:../abstract:../prelude
resource SymbolicMlt = Symbolic with
(Symbol = SymbolMlt),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../norwegian:../scandinavian:../common:../abstract:../prelude
resource SymbolicNor = Symbolic with
(Symbol = SymbolNor),

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:mathematical:prelude
--# -path=.:../persian:../common:../abstract:../prelude
resource SymbolicPes = Symbolic with
(Symbol = SymbolPes),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../punjabi:../common:../abstract:../prelude
resource SymbolicPnb = Symbolic with
(Symbol = SymbolPnb),

View File

@@ -1,4 +1,4 @@
--# -path=.:present
--# -path=.:../polish:../common:../abstract:../prelude
resource SymbolicPol = Symbolic with
(Symbol = SymbolPol),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../romanian:../common:../abstract:../prelude
resource SymbolicRon = Symbolic with
(Symbol = SymbolRon),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../russian:../common:../abstract:../prelude
resource SymbolicRus = Symbolic with
(Symbol = SymbolRus),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../sindhi:../common:../abstract:../prelude
resource SymbolicSnd = Symbolic with
(Symbol = SymbolSnd),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:prelude
--# -path=.:../spanish:../romance:../common:../abstract:../prelude
resource SymbolicSpa = Symbolic with
(Symbol = SymbolSpa),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../swedish:../scandinavian:../common:../abstract:../prelude
resource SymbolicSwe = Symbolic with
(Symbol = SymbolSwe),

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../thai:../common:../abstract:../prelude
resource SymbolicTha = Symbolic with
(Symbol = SymbolTha),

View File

@@ -1,4 +1,4 @@
--# -path=.:present:mathematical:prelude
--# -path=.:../urdu:../hindustani:../common:../abstract:../prelude
resource SymbolicUrd = Symbolic with
(Symbol = SymbolUrd),

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../bulgarian:../common:../abstract:../prelude
resource TryBul = SyntaxBul, LexiconBul, ParadigmsBul - [mkAdv,mkIAdv] **
open (P = ParadigmsBul) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../catalan:../romance:../common:../abstract:../prelude
resource TryCat = SyntaxCat, LexiconCat, ParadigmsCat - [mkAdv] **
open (P = ParadigmsCat) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../chinese:../common:../abstract:../prelude
resource TryChi = SyntaxChi, LexiconChi, ParadigmsChi -[mkAdv, mkDet,mkQuant,mkAdA,mkAdN,mkIDet,mkDet,mkNP,mkNum,mkPConj,mkRP]**
open (P = ParadigmsChi) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../danish:../scandinavian:../common:../abstract:../prelude
resource TryDan = SyntaxDan, LexiconDan, ParadigmsDan - [mkAdv] ;

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../dutch:../common:../abstract:../prelude
resource TryDut = SyntaxDut, LexiconDut, ParadigmsDut - [mkAdv,mkOrd] ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../english:../common:../abstract:../prelude
resource TryEng = SyntaxEng-[mkAdN], LexiconEng, ParadigmsEng - [mkAdv,mkAdN,mkOrd,mkQuant] **
open (P = ParadigmsEng) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../estonian:../common:../abstract:../prelude
resource TryEst = SyntaxEst, LexiconEst, ParadigmsEst - [mkAdv,mkAdN,mkDet,mkQuant,mkPConj] ;

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../finnish:../common:../abstract:../prelude
resource TryFin = SyntaxFin, LexiconFin-[mkOrd], ParadigmsFin - [mkAdv,mkAdN,mkDet,mkQuant,mkPConj] ;

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../french:../romance:../common:../abstract:../prelude
resource TryFre = SyntaxFre, LexiconFre, ParadigmsFre - [mkAdv] ;

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../german:../common:../abstract:../prelude
resource TryGer = SyntaxGer, ExtraGer, LexiconGer, ParadigmsGer - [mkAdv], MakeStructuralGer ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../greek:../common:../abstract:../prelude
resource TryGre = SyntaxGre, LexiconGre, ParadigmsGre ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude:/users/shafqat/www.grammaticalframework.org_4/lib/src/hindi:/users/shafqat/www.grammaticalframework.org_4/lib/src/hindustani
--# -path=.:../hindi:../hindustani:../common:../abstract:../prelude
resource TryHin = SyntaxHin - [mkAdN] , LexiconHin, ParadigmsHin - [mkAdv,mkDet,mkIP,mkAdN,mkQuant] **
open (P = ParadigmsHin) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../italian:../romance:../common:../abstract:../prelude
resource TryIta = SyntaxIta, LexiconIta, ParadigmsIta - [mkAdv,in_Prep] ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../japanese:../abstract:../prelude
resource TryJpn =
SyntaxJpn - [mkAdN] ,
LexiconJpn,

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude:../latvian
--# -path=.:../latvian:../common:../abstract:../prelude
resource TryLav = SyntaxLav-[mkAdN], LexiconLav, ParadigmsLav-[mkAdv,mkAdN,mkOrd,mkQuant] **
open (P = ParadigmsLav) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../maltese:../common:../abstract:../prelude
resource TryMlt = SyntaxMlt, LexiconMlt, ParadigmsMlt - [mkAdN, mkAdv,mkOrd,mkQuant] **
open (P = ParadigmsMlt) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../norwegian:../scandinavian:../common:../abstract:../prelude
resource TryNor = SyntaxNor, LexiconNor, ParadigmsNor - [mkAdv] ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude:/users/shafqat/www.grammaticalframework.org_0/lib/src/persian
--# -path=.:../persian:../common:../abstract:../prelude
resource TryPes = SyntaxPes, LexiconPes, ParadigmsPes -[mkDet,mkQuant,mkAdv]**
open (P = ParadigmsPes) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../punjabi:../common:../abstract:../prelude
resource TryPnb = SyntaxPnb - [mkAdN] , LexiconPnb, ParadigmsPnb - [mkAdv,mkDet,mkIP,mkAdN] **
open (P = ParadigmsPnb) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../polish:../common:../abstract:../prelude
resource TryPol = SyntaxPol, LexiconPol, ParadigmsPol - [mkAdv] **
open (P = ParadigmsPol) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../romanian:../common:../abstract:../prelude
resource TryRon = SyntaxRon-[mkAdN], LexiconRon, ParadigmsRon - [mkAdv,mkAdN,mkOrd,mkDet,mkNP] **
open (P = ParadigmsRon) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../russian:../common:../abstract:../prelude
resource TryRus = SyntaxRus, LexiconRus, ParadigmsRus - [mkAdv] ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude:/users/shafqat/www.grammaticalframework.org_4/lib/src/sindhi
--# -path=.:../sindhi:../common:../abstract:../prelude
resource TrySnd = SyntaxSnd - [mkAdN] , LexiconSnd, ParadigmsSnd - [mkAdv,mkDet,mkIP,mkAdN] **
open (P = ParadigmsSnd) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:alltenses:prelude
--# -path=.:../spanish:../romance:../common:../abstract:../prelude
resource TrySpa = SyntaxSpa, LexiconSpa, ParadigmsSpa - [mkAdv,mkAdN] ;

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../swedish:../scandinavian:../common:../abstract:../prelude
resource TrySwe = SyntaxSwe, LexiconSwe, ParadigmsSwe - [mkAdv] **
open (P = ParadigmsSwe) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses
--# -path=.:../thai:../common:../abstract:../prelude
resource TryTha = SyntaxTha, LexiconTha, ParadigmsTha -[mkAdv, mkDet,mkQuant]**
open (P = ParadigmsTha) in {

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
--# -path=.:../urdu:../hindustani:../common:../abstract:../prelude
resource TryUrd = SyntaxUrd - [mkAdN] , LexiconUrd, ParadigmsUrd - [mkAdv,mkDet,mkIP,mkAdN] **
open (P = ParadigmsUrd) in {

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllAra of AllAraAbs = LangAra ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude:../api
--# -path=.:../abstract:../common:../prelude:../api
--# -coding=cp1251
concrete AllBul of AllBulAbs =

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
--# -coding=cp1251
concrete SymbolBul of Symbol = CatBul ** open Prelude, ResBul in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common
--# -path=.:../romance:../abstract:../common:../prelude
concrete CompatibilityCat of Compatibility = CatCat ** open Prelude, CommonRomance in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common
--# -path=.:../romance:../abstract:../common:../prelude
concrete SymbolCat of Symbol = CatCat ** SymbolRomance with
(ResRomance = ResCat) ;

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:../api
--# -path=.:../abstract:../common:../api:../prelude
concrete AllChi of AllChiAbs = LangChi, ExtraChi ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolChi of Symbol = CatChi ** open Prelude, ResChi in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../scandinavian:../abstract:../common:prelude
--# -path=.:../scandinavian:../abstract:../common:../prelude
concrete AllDan of AllDanAbs =
LangDan,

View File

@@ -1,4 +1,4 @@
--# -path=.:../scandinavian:../abstract:../common
--# -path=.:../scandinavian:../abstract:../common:../prelude
concrete SymbolDan of Symbol = CatDan ** SymbolScand with
(ResScand = ResDan) ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:../api
--# -path=.:../abstract:../common:../api:../prelude
concrete AllDut of AllDutAbs =
LangDut,

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolDut of Symbol = CatDut ** open Prelude, ResDut in
{

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:../api
--# -path=.:../abstract:../common:../api:../prelude
concrete AllEng of AllEngAbs =
LangEng,

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete CompatibilityEng of Compatibility = CatEng ** open Prelude, ResEng in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolEng of Symbol = CatEng ** open Prelude, ResEng in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllEst of AllEstAbs =
LangEst, -- - [SlashV2VNP,SlashVV, TFut], ---- to speed up linking; to remove spurious parses

View File

@@ -1,3 +1,5 @@
--# -path=.:../abstract:../common:../prelude
concrete SymbolEst of Symbol = CatEst ** open Prelude, NounEst, ResEst in {
lin

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:../api
--# -path=.:../abstract:../common:../api:../prelude
concrete AllFin of AllFinAbs =
LangFin - [SlashV2VNP,SlashVV, TFut], ---- to speed up linking; to remove spurious parses

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete CompatibilityFin of Compatibility = CatFin ** open Prelude, ResFin in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolFin of Symbol = CatFin ** open Prelude, NounFin, ResFin, MorphoFin, StemFin in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common:../api
--# -path=.:../romance:../abstract:../common:../api:../prelude
concrete AllFre of AllFreAbs =
LangFre,

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common
--# -path=.:../romance:../abstract:../common:../prelude
concrete CompatibilityFre of Compatibility = CatFre ** open Prelude, CommonRomance in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common
--# -path=.:../romance:../abstract:../common:../prelude
concrete SymbolFre of Symbol = CatFre ** SymbolRomance with
(ResRomance = ResFre) ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:../api
--# -path=.:../abstract:../common:../api:../prelude
concrete AllGer of AllGerAbs =
LangGer,

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolGer of Symbol = CatGer ** open Prelude, ResGer in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete AllGre of AllGreAbs =
LangGre,

View File

@@ -1,3 +1,5 @@
--# -path=.:../abstract:../common:../prelude
concrete SymbolGre of Symbol =
CatGre ** open Prelude, CommonGre, ResGre in {

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllHeb of AllHebAbs = LangHeb ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../hindustani:../abstract:../common
--# -path=.:../hindustani:../abstract:../common:../prelude
concrete SymbolHin of Symbol = CatHin ** SymbolHindustani with
(ResHindustani = ResHin) ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllHun of AllHunAbs =
LangHun,

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllIna of AllInaAbs = LangIna ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common:../api
--# -path=.:../romance:../abstract:../common:../api:../prelude
concrete AllIta of AllItaAbs =
LangIta,

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common
--# -path=.:../romance:../abstract:../common:../prelude
concrete CompatibilityIta of Compatibility = CatIta ** open Prelude, CommonRomance in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../romance:../abstract:../common
--# -path=.:../romance:../abstract:../common:../prelude
concrete SymbolIta of Symbol = CatIta ** SymbolRomance with
(ResRomance = ResIta) ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../prelude
concrete AllJpn of AllJpnAbs =
LangJpn,

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../prelude
concrete SymbolJpn of Symbol = CatJpn ** open Prelude, ResJpn in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllLat of AllLatAbs =
LangLat,

View File

@@ -4,7 +4,7 @@
-- John J. Camilleri 2011 -- 2013
-- Licensed under LGPL
--# -path=.:prelude:../abstract:../common
--# -path=.:../prelude:../abstract:../common
concrete AllMlt of AllMltAbs =
LangMlt,

View File

@@ -4,7 +4,7 @@
-- John J. Camilleri 2011 -- 2013
-- Licensed under LGPL
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolMlt of Symbol = CatMlt ** open Prelude, ResMlt in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../scandinavian:../abstract:../common:prelude
--# -path=.:../scandinavian:../abstract:../common:../prelude
concrete AllNor of AllNorAbs =
LangNor,

View File

@@ -1,4 +1,4 @@
--# -path=.:../scandinavian:../abstract:../common
--# -path=.:../scandinavian:../abstract:../common:../prelude
concrete SymbolNor of Symbol = CatNor ** SymbolScand with
(ResScand = ResNor) ;

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolPes of Symbol = CatPes ** open Prelude, ResPes in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllPol of AllPolAbs =
LangPol,

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolPnb of Symbol = CatPnb ** open Prelude, ResPnb in {

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common:prelude
--# -path=.:../abstract:../common:../prelude
concrete AllRus of AllRusAbs =
LangRus,

View File

@@ -1,4 +1,4 @@
--# -path=.:../abstract:../common
--# -path=.:../abstract:../common:../prelude
concrete SymbolRus of Symbol = CatRus ** open Prelude, ResRus in {
flags coding=utf8;

Some files were not shown because too many files have changed in this diff Show More