Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003011OCamlOCaml generalpublic2004-07-28 06:202004-08-06 14:56
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003011: module types application
DescriptionFull_Name:
Version:
OS:
Submission from: host134.t3n.sotline.ru (81.1.200.134)


# module type F =
    functor (X : sig type t end) ->
sig
    val v1 : t -> t
    [...]
end

It's good to have:
# module type A = F (sig type t = int end)

module type A =
sig
    val v1 : int -> int
    [...]
end

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker