Failure("cannot handle values of type `real`")
Raised at file "stdlib.ml", line 29, characters 17-33
Called from file "src/core/TypedSTerm.ml", line 745, characters 28-34
Called from file "src/core/TypedSTerm.ml" (inlined), line 750, characters 33-44
Called from file "src/core/TypeInference.ml", line 611, characters 9-40
Called from file "src/core/TypeInference.ml", line 797, characters 10-30
Called from file "src/core/TypeInference.ml", line 627, characters 21-39
Called from file "src/core/TypeInference.ml", line 183, characters 14-18
Re-raised at file "src/core/TypeInference.ml", line 188, characters 6-13
Called from file "src/core/TypeInference.ml" (inlined), line 439, characters 2-55
Called from file "src/core/TypeInference.ml", line 625, characters 6-291
Called from file "src/core/TypeInference.ml", line 805, characters 12-27
Re-raised at file "src/core/TypeInference.ml", line 810, characters 4-11
Called from file "src/core/TypeInference.ml", line 829, characters 11-26
Called from file "src/core/TypeInference.ml", line 1117, characters 14-34
Called from file "src/core/TypeInference.ml", line 1143, characters 21-53
Called from file "queue.ml", line 121, characters 6-15
Called from file "src/Iter.ml" (inlined), line 76, characters 17-22
Called from file "src/core/TypeInference.ml", line 1140, characters 2-198
Called from file "src/core/TypeInference.ml", line 1154, characters 6-115