mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-13 21:22:50 -06:00
7dee933802
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.
37 lines
616 B
Plaintext
37 lines
616 B
Plaintext
--# -path=.:../abstract:../common:../prelude
|
|
|
|
concrete SymbolTha of Symbol = CatTha ** open Prelude, ResTha in {
|
|
|
|
flags coding = utf8;
|
|
|
|
lin
|
|
SymbPN i = i ;
|
|
IntPN i = i ;
|
|
FloatPN i = i ;
|
|
NumPN i = i ;
|
|
CNIntNP cn i = {
|
|
s = thbind cn.s ++ i.s ;
|
|
c = cn.c
|
|
} ;
|
|
CNSymbNP det cn xs = ss (thbind det.s1 cn.s xs.s) ; ----
|
|
CNNumNP cn i = {
|
|
s = thbind cn.s ++ i.s ;
|
|
c = cn.c
|
|
} ;
|
|
|
|
SymbS sy = sy ;
|
|
SymbNum sy = sy ;
|
|
SymbOrd sy = sy ;
|
|
|
|
lincat
|
|
|
|
Symb, [Symb] = SS ;
|
|
|
|
lin
|
|
MkSymb s = s ;
|
|
|
|
BaseSymb = infixSS "" ;
|
|
ConsSymb = infixSS "" ;
|
|
|
|
}
|