Eu tenho alguns programas OCaml com erros nas strings e estou usando o subprocesso Python para verificar o feedback do compilador. No entanto, como existem alguns programas que contêm loops infinitos, o subprocesso travou até mesmo o campo de tempo limite definido.

Ambiente: Windows 10, Python 3.5.1

Este é o código que eu tentei:

annotated_prog = "let rec ww : ('a -> 'a * bool) * 'a -> 'a = fun (f,b)  ->  let (b',c') = f b in if c' then ww (f, b') else b';;\n let _ = let f x = let xx = (x * x) * x in (xx, (xx < 100)) in ww (f, 1);;"

try:
error_output = subprocess.run(["ocaml"], input = annotated_prog, 
                         stdout=subprocess.PIPE,universal_newlines = True, timeout=1)

except TimeoutExpired:
  error_output = None

No entanto, o código ainda vai para o loop infinito e não pode funcionar.

Outra maneira que eu tentei:

def run(cmd, timeout_sec):
  proc = subprocess.Popen(["ocaml"], stdout=subprocess.PIPE, 
         stderr=subprocess.PIPE,universal_newlines = True)
  proc.communicate(timeout = timeout_sec)       
  print(proc.communicate("let a = b;;\n")[0])

Isso nem dá uma saída correta:

o que eu espero: Caracteres 8-9: Erro: Valor não vinculado b

o que eu tenho: OCaml versão 4.02.3

Dessa forma, como posso obter a saída correta do python?

def run(timeout_sec):
  proc = subprocess.Popen(["python"], stdout=subprocess.PIPE, 
  stderr=subprocess.PIPE,universal_newlines = True)
  print(cmd)
  print(proc.communicate("while True: print('hello')\n", timeout = timeout_sec)[0])

try:
      error_output =run(1)
except subprocess.TimeoutExpired:
      print('timeout')

print('error_output')

O que eu espero: 'time out' com ou sem muitos hellos O que eu tenho: Nenhum