diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-03 09:21:24 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-03 09:21:24 +0000 |
| commit | 8d98fec81eb0bc54cbc8b210c4045a52a0c09d79 (patch) | |
| tree | 2e578bb28f7f04528cf2fccd710ff6a1e1749013 /src-3.0/GF/Source | |
| parent | 9dbf9c56609132c7a3731819b53e73045c430e3b (diff) | |
overload extension: syntax overload OldModule* {def*}
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] |