0003011: module types application

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003011

OCaml

OCaml general

public

2004-07-28 06:20

2004-08-06 14:56

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0003011: module types application

Description

Full_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

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

Relationships

Notes
There are no notes attached to this issue.