From 9e6064709f621c1489f18ee94612226014646a9a Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 22 Feb 2008 14:16:33 +0000 Subject: testgf3 in progress; fixed VP type in ExtraEng --- src/GF/Devel/Compile/SourceToGF.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Devel/Compile/SourceToGF.hs') diff --git a/src/GF/Devel/Compile/SourceToGF.hs b/src/GF/Devel/Compile/SourceToGF.hs index 64455f907..7e3228dc1 100644 --- a/src/GF/Devel/Compile/SourceToGF.hs +++ b/src/GF/Devel/Compile/SourceToGF.hs @@ -272,7 +272,7 @@ transResDef x = case x of mkParamDefs (p,pars) = if null pars then [(p,addJType M.meta0 (emptyJudgement G.JParam))] -- in an interface - else (p,resParam pars) : paramConstructors p pars + else (p,resParam p pars) : paramConstructors p pars mkOverload (c,j) = case (G.jtype j, G.jdef j) of (_,G.App keyw (G.R fs@(_:_:_))) | isOverloading keyw c fs -> -- cgit v1.2.3