diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-18 16:54:23 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-18 16:54:23 +0000 |
| commit | 8e07d61ccfe67fb72253d3ce622f8eff7342a427 (patch) | |
| tree | 6f43e607cf865d59df3e3744c6e1455f5cebcbab /src/GF/Source/GrammarToSource.hs | |
| parent | 6cee6f0591004e6b4fd1156a71976d820a6875c7 (diff) | |
overload syntax; type printing in CheckGrammar
Diffstat (limited to 'src/GF/Source/GrammarToSource.hs')
| -rw-r--r-- | src/GF/Source/GrammarToSource.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Source/GrammarToSource.hs b/src/GF/Source/GrammarToSource.hs index 055c79d15..16a68cdb0 100644 --- a/src/GF/Source/GrammarToSource.hs +++ b/src/GF/Source/GrammarToSource.hs @@ -96,7 +96,8 @@ trAnyDef (i,info) = let i' = tri i in case info of ResOverload tysts -> [P.DefOper [P.DDef [mkName i'] ( - P.ERecord [P.LDFull [i'] (trt ty) (trt fu) | (ty,fu) <- tysts])]] + P.EApp (P.EIdent $ identC "overload") + (P.ERecord [P.LDFull [i'] (trt ty) (trt fu) | (ty,fu) <- tysts]))]] CncCat (Yes ty) Nope _ -> [P.DefLincat [P.PrintDef [mkName i'] (trt ty)]] |