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

gf -server: support overloaded opers in gfse

Browse Source
This commit is contained in:
hallgren
2012-11-23 19:59:39 +00:00
parent 9b3d106ff8
commit ba9db76063
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/compiler/SimpleEditor/Convert.hs
View File

@@ -6,7 +6,7 @@ import Data.List(sortBy)
import Data.Function(on) import Data.Function(on)
import qualified Data.Map as Map import qualified Data.Map as Map
import Text.JSON(encode,makeObj) import Text.JSON(encode,makeObj)
import Text.PrettyPrint(render) import Text.PrettyPrint(render,text,(<+>))
-- 4 extra imports just to deal with the ByteString mess... -- 4 extra imports just to deal with the ByteString mess...
import qualified Data.ByteString.Char8 as BS(pack) import qualified Data.ByteString.Char8 as BS(pack)
@@ -126,7 +126,13 @@ convCncJment (name,jment) =
ResOper oltyp (Just lterm) -> return $ Op $ Oper lhs rhs ResOper oltyp (Just lterm) -> return $ Op $ Oper lhs rhs
where where
lhs = i++maybe "" ((" : "++) . render . ppTerm q 0 . unLoc) oltyp lhs = i++maybe "" ((" : "++) . render . ppTerm q 0 . unLoc) oltyp
rhs = " = "++render (ppTerm q 0 (unLoc lterm)) rhs = render (text " ="<+>ppTerm q 0 (unLoc lterm))
ResOverload [] defs -> return $ Op $ Oper lhs rhs
where
lhs = i
rhs = render $ text " = overload"<+>ppTerm q 0 r
r = R [(lab,(Just ty,fu)) | (L _ ty,L _ fu) <-defs]
lab = ident2label name
CncFun _ (Just ldef) pprn _ -> -- ignores printname !! CncFun _ (Just ldef) pprn _ -> -- ignores printname !!
do let (xs,e') = getAbs (unLoc ldef) do let (xs,e') = getAbs (unLoc ldef)
lin = render $ ppTerm q 0 e' lin = render $ ppTerm q 0 e'