Version française
Home     About     Download     Resources     Contact us    
Browse thread
functor substitution gives error
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Hendrik Tews <tews@o...>
Subject: Re: [Caml-list] functor substitution gives error
Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> writes:

   On 2010/09/06, at 18:12, Hendrik Tews wrote:

   > I have a strange compilation problem, which I suspect to be a
   > compiler bug. Consider the following nested functor application

   The reason is that the typing of modules is not closed under substitution.

I am really surprised by this! I was sure I hit a compiler
problem, especially because changing the order of the
with-constraints solved the problem.

   The solution is easy enough: name all modules.

May I suggest to put a few words about this in the ocaml
reference manual? 

Thanks for the hint,

Hendrik