msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

overload syntax; type printing in CheckGrammar

Browse Source
This commit is contained in:
aarne
2006-11-18 16:54:23 +00:00
parent 6cee6f0591
commit 8e07d61ccf
3 changed files with 43 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/GF/Source/GrammarToSource.hs
View File

@@ -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)]]