mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-30 18:28:55 -06:00
possible to inherit an overload group without excluding+opening
This commit is contained in:
@@ -1,9 +1,10 @@
|
|||||||
--# -path=.:alltenses-1.4:prelude
|
--# -path=.:alltenses-1.4:prelude
|
||||||
|
|
||||||
resource TryEng = SyntaxEng - [mkAdv], LexiconEng, ParadigmsEng - [mkAdv] **
|
resource TryEng = SyntaxEng, LexiconEng, ParadigmsEng - [mkAdv] **
|
||||||
open (P = ParadigmsEng), (S = SyntaxEng) in {
|
open (P = ParadigmsEng), in {
|
||||||
|
|
||||||
oper
|
oper
|
||||||
|
|
||||||
mkAdv = overload SyntaxEng {
|
mkAdv = overload SyntaxEng {
|
||||||
mkAdv : Str -> Adv = P.mkAdv ;
|
mkAdv : Str -> Adv = P.mkAdv ;
|
||||||
} ;
|
} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user