utop ein Modul mit Abhängigkeiten in Loading

Question

Ich habe zwei Module A.ml und B.ml wie so:

A.ml:

type t = int 
let from_int (i : int) : t = i 

B.ml:

open A 
let my_t : t = from_int 0 

Ich kann sie ganz gut kompilieren durch den Aufruf ocamlc A.ml B.ml aber ich habe keine Ahnung, wie Sie beide in utop laden, umzu verwenden 210 interaktiv. Mit:

• utop -init B.ml ergibt Error: Reference to undefined global 'A'
• utop gefolgt von #use "A.ml";; und #use "B.ml";; führt zu den gleichen Fehler
• open A aus B.ml entfernt macht diese Doppel #use Arbeit aber ocamlc A.ml B.ml versagt jetzt auf B mit Error: Unbound type constructor t.

Answer 1

Sie müssen zuerst a.ml kompilieren:

ocamlc -c a.ml // yields a.cmo 

in utop:

#load "a.cmo";; 
    #use "b.ml";;