diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-10-31 19:57:56 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-10-31 19:57:56 +0000 |
| commit | 70c70fa791ef1d1e2349095ea661508db664ca97 (patch) | |
| tree | dc46a1b6330574ffea5b41b36e2be601c2a4fa2a /src/runtime/c/pgf/hopu.c | |
| parent | b1e6a21c56c5aef62716c35546d4596e11bbbf94 (diff) | |
a skeletal module for higher-order pattern unification in the C runtime
Diffstat (limited to 'src/runtime/c/pgf/hopu.c')
| -rw-r--r-- | src/runtime/c/pgf/hopu.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/hopu.c b/src/runtime/c/pgf/hopu.c new file mode 100644 index 000000000..5767feac0 --- /dev/null +++ b/src/runtime/c/pgf/hopu.c @@ -0,0 +1,10 @@ +#include "data.h" +#include "evaluator.h" +#include "hopu.h" + +void pgf_pattern_unify(PgfEvalState* state, PgfClosure* c1, PgfClosure* c2) +{ + c1 = state->eval_gates->enter(state, c1); + c2 = state->eval_gates->enter(state, c2); +} + |