Error related to tuple
I encountered an error related to tuple when compiling tuple variable by ./scamlc --scaml-convert. It seems to be bug.
Example code
(* pair_bug.ml *)
open SCaml
let a = Nat 1
let b = Nat 2
let p = (a,b)
Error raised by the example code.
$ ./scamlc --scaml-convert pair_bug.ml
File "pair_bug.ml", line 7, characters 9-10:
Error: [ESCaml999] SCaml internal error: Hey a_1004 is not tracked! env=
Raised by primitive operation at file "src/tools.ml", line 106, characters 42-60
Called from file "src/translate.ml", line 1449, characters 10-201
Called from file "src/translate.ml", line 1484, characters 17-35
Called from file "src/translate.ml", line 2319, characters 25-42
Called from file "list.ml", line 99, characters 22-25
Called from file "lib/xlist.ml" (inlined), line 151, characters 21-32
Called from file "src/translate.ml", line 2311, characters 8-526
Called from file "lib/xlist.ml", line 265, characters 32-37
Called from file "lib/xlist.ml" (inlined), line 273, characters 25-45
Called from file "src/translate.ml", line 2336, characters 4-145
Called from file "src/SCamlc.ml", line 152, characters 11-32
Called from file "driver/main.ml", line 69, characters 7-78
Called from file "utils/misc.ml", line 28, characters 20-27
Called from file "driver/compenv.ml", line 578, characters 6-35
Called from file "list.ml", line 106, characters 12-15
Called from file "driver/compenv.ml", line 654, characters 2-61
Called from file "driver/main.ml", line 240, characters 6-147
Called from file "driver/main.ml", line 281, characters 2-9