Início / coding / Perguntas / 76922259
Accepted
abu fahad
Asked: 2023-08-17 22:01:27 +0800 CST

Solucionando problemas de erro de compilação com lwt_ppx no OCaml: não é possível compilar o arquivo

  • 772

Estou encontrando um problema ao usar lwt_ppxe a let%lwtsintaxe conforme descrito na seção do livro CS3110 sobre promessas ( https://cs3110.github.io/textbook/chapters/ds/promises.html ).

No trecho de código fornecido:

open Lwt_io

let p =
  let%lwt s1 = read_line stdin in
  let%lwt s2 = read_line stdin in
  Lwt_io.printf "%s\n" (s1^s2)

let _ = Lwt_main.run p

Estou tentando compilar o código usando dune. Meu arquivo dune se parece com isso:

(executable
 (name main)
 (libraries lwt.unix lwt_ppx))

No entanto, quando executo o comando dune exec ./main.exe, recebo a mensagem de erro "Extensão não interpretada 'lwt'".

Verifiquei que tenho o lwt_ppxpacote instalado usando opam list, e curiosamente, o código funciona conforme o esperado utopquando executo:

#require "lwt_ppx";;
#require "lwt.unix";;
#use "main.ml";;

O que posso estar fazendo de errado com minha configuração de dunas? Qualquer ajuda seria muito apreciada.

ocaml

1 respostas

  1. Best Answer

    lwt_ppxé um pré-processador e, portanto, também precisa ser adicionado à preprocessestrofe:

    (executable
 (name main)
 (libraries lwt.unix lwt_ppx)
 (preprocess (pps lwt_ppx)))

    Mas também observe que desde 4.08 você pode usar operadores let para praticamente o mesmo propósito, sem qualquer pré-processador. Por exemplo, você pode vincular Lwt.binda let*, então seu exemplo pode ser escrito como:

    open Lwt_io

let (let*) = Lwt.bind

let p =
  let* s1 = read_line stdin in
  let* s2 = read_line stdin in
  printf "%s\n" (s1^s2)

let _ = Lwt_main.run p
    • 1

relate perguntas