ocaml-community / utop

Universal toplevel for OCaml
Other
847 stars 113 forks source link

Fatal error: exception LTerm.No_such_encoding("646") #303

Closed UnixJunkie closed 4 years ago

UnixJunkie commented 4 years ago

Hello,

While trying to run utop on NetBSD:

Fatal error: exception LTerm.No_such_encoding("646")
Raised at file "src/lTerm.ml", line 163, characters 10-33
Called from file "src/lTerm.ml", line 197, characters 6-301
Called from file "src/core/lwt.ml", line 2026, characters 16-20
Re-raised at file "src/core/lwt.ml", line 2999, characters 28-29
Called from file "src/unix/lwt_main.ml", line 26, characters 8-18
Called from file "src/lib/uTop_main.ml", line 1399, characters 15-53
Called from file "src/lib/uTop_main.ml", line 1429, characters 4-25

I wonder if the same thing happens on OpenBSD.

utop version 2.3.0 and OCaml 4.07.1

Thanks, F.

pmetzger commented 4 years ago

Do you think you can try to track down what is occurring? It's much easier for you given that you have a setup that will reproduce the problem.

UnixJunkie commented 4 years ago

with OCaml 4.09.0:

  - install seq               base       [required by lwt]
  - install dune-configurator 1.0.0      [required by lwt]
  - install jbuilder          transition [required by camomile]
  - install result            1.4        [required by lwt]
  - install mmap              1.1.0      [required by lwt]
  - install ocamlfind         1.8.1      [required by utop]
  - install cppo              1.6.6      [required by utop]
  - install ocamlbuild        0.14.0     [required by ocplib-endian, react]
  - install camomile          1.0.1      [required by utop]
  - install base-bytes        base       [required by zed]
  - install topkg             1.0.1      [required by react]
  - install charInfo_width    1.1.0      [required by zed]
  - install ocplib-endian     1.0        [required by lwt]
  - install react             1.2.1      [required by utop]
  - install lwt               4.4.0      [required by utop]
  - install zed               2.0.3      [required by lambda-term]
  - install lwt_react         1.1.3      [required by utop]
  - install lwt_log           1.1.0      [required by lambda-term]
  - install lambda-term       2.0.1      [required by utop]
  - install utop              2.4.2

Same problem:

# utop
Fatal error: exception LTerm.No_such_encoding("646")
Raised at file "src/lTerm.ml", line 164, characters 10-33
Called from file "src/lTerm.ml", line 198, characters 6-301
Called from file "src/core/lwt.ml", line 2026, characters 16-20
Re-raised at file "src/core/lwt.ml", line 2999, characters 28-29
Called from file "src/unix/lwt_main.ml", line 26, characters 8-18
Called from file "src/lib/uTop_main.ml", line 1482, characters 15-53
Called from file "src/lib/uTop_main.ml", line 1512, characters 4-25
UnixJunkie commented 4 years ago

the bug should probably be moved to lambda-term

UnixJunkie commented 4 years ago

https://github.com/ocaml-community/lambda-term/issues/82