diff options
Diffstat (limited to 'src/GF/Devel/Compile/SourceToGF.hs')
| -rw-r--r-- | src/GF/Devel/Compile/SourceToGF.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> |