diff options
| author | krasimir <krasimir@chalmers.se> | 2017-01-26 18:41:07 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-01-26 18:41:07 +0000 |
| commit | 0e49c28e5bfcf438818aca731071fdf707a3e2ce (patch) | |
| tree | c2f72e46097685dbf703f7f2dcb946c8db18f729 /src/runtime/haskell-bind/PGF2 | |
| parent | 1cea621216ca515bc14326d9ce5dde12e56334ce (diff) | |
API for computing the Haskell binding
Diffstat (limited to 'src/runtime/haskell-bind/PGF2')
| -rw-r--r-- | src/runtime/haskell-bind/PGF2/FFI.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/haskell-bind/PGF2/FFI.hs b/src/runtime/haskell-bind/PGF2/FFI.hs index 5ae2ced06..35aa7fa84 100644 --- a/src/runtime/haskell-bind/PGF2/FFI.hs +++ b/src/runtime/haskell-bind/PGF2/FFI.hs @@ -301,6 +301,8 @@ foreign import ccall "pgf/expr.h pgf_infer_expr" foreign import ccall "pgf/expr.h pgf_check_type" pgf_check_type :: Ptr PgfPGF -> Ptr PgfType -> Ptr GuExn -> Ptr GuPool -> IO () +foreign import ccall "pgf/expr.h pgf_compute" + pgf_compute :: Ptr PgfPGF -> PgfExpr -> Ptr GuExn -> Ptr GuPool -> Ptr GuPool -> IO PgfExpr foreign import ccall "pgf/expr.h pgf_print_expr" pgf_print_expr :: PgfExpr -> Ptr PgfPrintContext -> CInt -> Ptr GuOut -> Ptr GuExn -> IO () |