Python cps_convert_unify示例

示例#1

def unify(compiler, cont, x, y):
    return cps_convert_unify(x, y, compiler, cont)

示例#2

文件： term.py 项目： chaosim/dao

def unify(compiler, cont, x, y):
  return cps_convert_unify(x, y, compiler, cont)

示例#3

def notunify(compiler, cont, x, y):
    v = compiler.new_var(il.ConstLocalVar('v'))
    cont1 = il.clamda(v, il.failcont(il.FALSE))
    cont2 = il.clamda(v, cont(il.TRUE))
    return il.begin(il.SetFailCont(cont2),
                    cps_convert_unify(x, y, compiler, cont1))

示例#4

文件： term.py 项目： chaosim/dao

def notunify(compiler, cont, x, y):
  v = compiler.new_var(il.ConstLocalVar('v'))
  cont1 = il.clamda(v, il.failcont(il.FALSE))
  cont2 = il.clamda(v, cont(il.TRUE))
  return il.begin(il.SetFailCont(cont2),
                  cps_convert_unify(x, y, compiler, cont1))