GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-24 03:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Added inferExpr to py-bindings.

Browse Source
This commit is contained in:
jordi.saludes
2010-07-27 07:50:48 +00:00
parent 9bce37fcf2
commit 42fc14b85c
3 changed files with 43 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
contrib/py-bindings/PyGF.hsc
View File

@@ -219,6 +219,13 @@ gf_unstr pexp = do
Just s -> newCString s
_ -> return nullPtr
foreign export ccall gf_inferexpr :: Ptr PGF -> Ptr Expr -> Ptr Type -> IO ()
gf_inferexpr ppgf pexp ptype = do
pgf <- peek ppgf
exp <- peek pexp
let Right (_,t) = inferExpr pgf exp
poke ptype t
foreign import ccall "newLang" pyLang :: IO (Ptr Language)
foreign import ccall "newTree" pyTree :: IO (Ptr Tree)
foreign import ccall "newCId" pyCId :: IO (Ptr CId)