Как предотвратить OCAML батареи переопределение значений

Question

В пакет Batteries.Num перекрывает функции (+), (-) ... Так что компилятор выдает ошибку на следующем простом коде

open Batteries 
open Num 
let a = 4 + 4;; 

Файл " a.ml "линия 3, 8-9 символов: Ошибка: Это выражение имеет тип INT, но выражение ожидалось типа Batteries.Num.num = Num.num

компилировать с" ocamlfind ocamlc -package батареи a.ml ".

EDIT: Я знаю, что могу использовать Pervasives. (+) Или просто открыть Num локально.

Но я могу скомпилировать эту программу успешно с ocamlbuild с простейшего _tags файла: < *>: pkg_batteries, упаковка (батареи), пакет (NUM)

Где магия? Как я могу скомпилировать, как ocamlbuild, с помощью Makefile?

EDIT: Я нашел решение. У меня на самом деле были две версии батарей (1.4 и 2.2), а ocamlfind предоставил версию 2.2 в командной строке и 1.4 на ocamlbuild. Я не знаю почему. Я считаю, что ранняя версия батарей не переопределила модуль Num (но вам пришлось использовать BatNum), поэтому проблема не возникает с более старой версией. Спасибо за ответы.

Answer 1

Какую команду вы используете для сборки? Потому что, если вы не указали цель (т. Е. Ваша команда ocamlbuild a.ml вместо), она будет выглядеть так, как если бы ее компиляция, даже если это не так.

Что на самом деле происходит, когда вы пытаетесь «ocamlfind ocamlc -package батареи a.ml» является то, что + из Nums затмевает в + от Pervasives.

Вы можете сделать let a = Pervasives.(+) 4 4;;, или вместо того, чтобы открывать Nums, сделайте Nums. за все это.

Answer 2

Вы можете просто обратиться к функции, используя нужное имя модуля.

Если вы хотите (+) от Pervasives, вы просто говорите Pervasives.(+) x y вместо x + y.

Answer 3

Решение, которое я использовал, когда сталкивался с этой проблемой, заключается в том, чтобы открыть Pervasive, чтобы переопределить значения батарей.

open Batteries 
open Num 
open Pervasives 

let a = 4 + 4;;