Version française
Home     About     Download     Resources     Contact us    
Browse thread
Importing module signatures ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Teller <David.Teller@u...>
Subject: Importing module signatures ?
   Hi everyone,
 I'm trying to extend a module into another module, preferably without
using functors. For the implementation, I have no problem, simply using
"include" does what I need. For the signature, however, I'm obviously
doing something wrong:
        
        module A =
        struct
        	include String
        end
        
        => works
        
        module A :
        sig
          include String
        end
        
        => "Unbound module type String"
        
It seems that String is the name of the module structure itself rather
than its signature. But what is the name of the signature ?
        
Thanks,
 David
-- 
David Teller ------------------------------------------
Security of Distributed Systems -----------------------
-- http://www.univ-orleans.fr/lifo/Members/David.Teller
----- Laboratoire d'Informatique Fondamentale d'Orleans