diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-08-16 12:44:37 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-08-16 12:44:37 +0000 |
| commit | 1e44fdb3d3413709ae635f0fae91ffa4a93a2d9d (patch) | |
| tree | 525687c815be70d86c7be23e61ba708746bbf725 /src/runtime/c/pgf/jit.c | |
| parent | fc7e77bf50adaceeec2364fa88134b533f0da00f (diff) | |
fixes in the C and Python API to make them closer to the Haskell API
Diffstat (limited to 'src/runtime/c/pgf/jit.c')
| -rw-r--r-- | src/runtime/c/pgf/jit.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c index 9a38d2f4e..2cad7f849 100644 --- a/src/runtime/c/pgf/jit.c +++ b/src/runtime/c/pgf/jit.c @@ -130,7 +130,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats, jit_pusharg_p(JIT_V0); jit_pusharg_p(JIT_V2); jit_pusharg_p(JIT_V1); - jit_finish(pgf_try_first); + jit_finish(pgf_reasoner_try_first); } #ifdef PGF_JIT_DEBUG @@ -182,7 +182,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats, jit_pusharg_p(JIT_V0); jit_pusharg_p(JIT_V2); jit_pusharg_p(JIT_V1); - jit_finish(pgf_try_else); + jit_finish(pgf_reasoner_try_else); } for (size_t i = 0; i < n_hypos; i++) { @@ -240,7 +240,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats, jit_getarg_p(JIT_V1, rs_arg); jit_getarg_p(JIT_V2, st_arg); } else { - jit_patch_movi(ref,pgf_complete); + jit_patch_movi(ref,pgf_reasoner_complete); } } } else { @@ -260,7 +260,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats, jit_pusharg_p(JIT_V0); jit_pusharg_p(JIT_V2); jit_pusharg_p(JIT_V1); - jit_finish(pgf_try_constant); + jit_finish(pgf_reasoner_try_constant); } else { #ifdef PGF_JIT_DEBUG gu_puts(" COMPLETE\n", wtr, err); @@ -270,7 +270,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats, jit_prepare(2); jit_pusharg_p(JIT_V2); jit_pusharg_p(JIT_V1); - jit_finish(pgf_complete); + jit_finish(pgf_reasoner_complete); } #ifdef PGF_JIT_DEBUG |