1

我用模块构建了一个复杂的结构，里面有一个递归。编译给了我一个我无法解决的错误（尽管我不认为这真的是由于递归）。有人可以帮忙吗？

首先，定义一个接口ZONE和一个函子ZoneFunPrec：

(* zone.ml *)
module type ZONE = sig
  type prop
  type info 
  type t
end

(* zoneFunPrec.ml *)
open Prop
open Zonesm
module ZoneFunPrec (Prop : PROP)(Prec: ZONESM with type prop = Prop.t) = struct
  type prop = Prop.t
  type info = { mark: int option; prec: Prec.t option }
  type t = { prop: prop; info: info }
end

一个函子ZonesFun和一个接口ZONES，其元素是具有相同属性的区域列表：

(* zones.ml *)
open Prop
open Zone
module type ZONES = sig
  type prop
  type zone
  type t  
end
module ZonesFun (Prop: PROP) (Zone: ZONE with type prop = Prop.t) = struct
  type prop = Prop.t
  type zone = Zone.t
  type t = | ZSbot | ZS of zone list
end

一个函子ZonesmFun和一个接口，其元素是具有相同属性ZONESM的映射 from Stringinto ：ZONES

(* zonesm.ml *)
open Prop
open Zone
open Zones
module SMap = Map.Make(String)
module type ZONESM = sig
  type prop
  type zones
  type t 
end
module ZonesmFun (Prop: PROP)
                 (Zone: ZONE with type prop = Prop.t)  
                 (Zones: ZONES with type zone = Zone.t) = struct
  type prop = Prop.t
  type zones = Zones.t
  type t = | Bot | ZSM of Zones.t SMap.t
end

然后，我尝试构建一些模块，EEA其接口为PROP：

(* modules.ml *)
open E_expression_abs
open Zone
open ZoneFunPrec
open Zones
open Zonesm
module EEA = E_expression_abs
module rec ZoneEEA : ZONE = ZoneFunPrec(EEA)(ZonesmEEA)
and ZonesEEA : ZONES = ZonesFun(EEA)(ZoneEEA)
and ZonesmEEA : ZONESM = ZonesmFun(EEA)(ZoneEEA)(ZonesEEA)

在我makefile的 中，编译顺序与我在上面列出的文件的顺序相同。然后编译器给我一个错误module rec...：

File "domains/modules.ml", line 7, characters 45-54:
Error: Signature mismatch:
       Modules do not match:
         sig
           type prop = ZonesmEEA.prop
           type zones = ZonesmEEA.zones
           type t = ZonesmEEA.t
         end
       is not included in
         sig type prop = EEA.t type zones type t end
           Type declarations do not match:
         type prop = ZonesmEEA.prop
       is not included in
         type prop = EEA.t

显然，编译器无法知道ZonesEEA.prop实际上是EEA.t......

4

1 回答 1

0

我不擅长递归模块输入，但是...我想您的示例已简化为以下内容

module type S = sig type t end
module rec R : S = (R : S with type t = int)

由于签名不匹配，OCaml 拒绝此代码。这是因为 R 在等式的左右手有不兼容的类型。你必须说：

module rec R : S with type t = int = (R : S with type t = int)

R 必须在双手中具有相同的模块类型，因为 R 是递归定义的。

如果不是递归的，你可以说：

module M = struct type t = int end
module N : S = (M : S with type t = int)

等式左边的模块类型可以比右边的更抽象。

于 2013-09-03T19:33:32.577 回答