From 7dbae14bec7dbaaeb0f1556e3cf71f8e0d9c6f50 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 3 Jun 2008 10:06:29 +0000 Subject: [PATCH] eliminated copying of inherited overload branches --- resource-1.4/api/TryEng.gf | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/resource-1.4/api/TryEng.gf b/resource-1.4/api/TryEng.gf index 38e6e805e..17ee39174 100644 --- a/resource-1.4/api/TryEng.gf +++ b/resource-1.4/api/TryEng.gf @@ -1,3 +1,12 @@ --# -path=.:alltenses-1.4:prelude -resource TryEng = SyntaxEng, LexiconEng, ParadigmsEng - [mkAdv] ; +resource TryEng = SyntaxEng - [mkAdv], LexiconEng, ParadigmsEng - [mkAdv] ** + open (P = ParadigmsEng), (S = SyntaxEng) in { + +oper + mkAdv = overload SyntaxEng { + mkAdv : Str -> Adv = P.mkAdv ; + } ; + + +}