Beispiel #1
0
 def throwing_cont(value, solver): 
   yield unwind(stop_cont, value, tag, cont, solver), value
Beispiel #2
0
 def unwind_cont(value, solver):
   yield unwind(cont0, form_value, tag, stop_cont, solver, next_cont), form_value
Beispiel #3
0
def done_lookup(cont, tag, stop_cont, solver): 
  @mycont(cont)
  def loopkup_fail_cont(value, solver):
    raise  DaoUncaughtThrow(tag)
  return unwind(stop_cont, None, tag, loopkup_fail_cont, solver)