diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-02-22 14:16:33 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-02-22 14:16:33 +0000 |
| commit | 9e6064709f621c1489f18ee94612226014646a9a (patch) | |
| tree | 350fb34bdc24b917c6badb0eb4f906bca7a314b1 /src/GF/Devel/Compile/SourceToGF.hs | |
| parent | 4e3d240d2dbd3a721ec4aea58c1e2ee31e49ed51 (diff) | |
testgf3 in progress; fixed VP type in ExtraEng
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 -> |