diff options
Diffstat (limited to 'src-3.0/GF/Source')
| -rw-r--r-- | src-3.0/GF/Source/GrammarToSource.hs | 2 | ||||
| -rw-r--r-- | src-3.0/GF/Source/SourceToGrammar.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src-3.0/GF/Source/GrammarToSource.hs b/src-3.0/GF/Source/GrammarToSource.hs index e00edc689..f76fe6cee 100644 --- a/src-3.0/GF/Source/GrammarToSource.hs +++ b/src-3.0/GF/Source/GrammarToSource.hs @@ -100,7 +100,7 @@ trAnyDef (i,info) = let i' = tri i in case info of [P.DefOper [P.DDef [mkName i'] ( foldl P.EApp (P.EIdent $ tri $ cOverload) - (map trt os ++ + (map (P.EIdent . tri) os ++ [P.ERecord [P.LDFull [i'] (trt ty) (trt fu) | (ty,fu) <- tysts]]))]] CncCat (Yes ty) Nope _ -> diff --git a/src-3.0/GF/Source/SourceToGrammar.hs b/src-3.0/GF/Source/SourceToGrammar.hs index 0e0d790c1..5f785f05c 100644 --- a/src-3.0/GF/Source/SourceToGrammar.hs +++ b/src-3.0/GF/Source/SourceToGrammar.hs @@ -357,7 +357,7 @@ transResDef x = case x of G.ResOper _ (Yes df) -> case M.appForm df of (keyw, ts@(_:_)) | isOverloading keyw -> case last ts of G.R fs -> - [(c,p,G.ResOverload (init ts) [(ty,fu) | (_,(Just ty,fu)) <- fs])] + [(c,p,G.ResOverload [m | G.Vr m <- ts] [(ty,fu) | (_,(Just ty,fu)) <- fs])] _ -> [op] _ -> [op] |