From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA21816 for caml-redistribution; Tue, 24 Feb 1998 16:08:04 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA14780 for <caml-list@pauillac.inria.fr>; Tue, 24 Feb 1998 09:50:33 +0100 (MET)
Received: from batman.labri.u-bordeaux.fr (batman.labri.u-bordeaux.fr [147.210.8.5])
	by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id JAA22591
	for <caml-list@inria.fr>; Tue, 24 Feb 1998 09:50:31 +0100 (MET)
Received: from scrasmeustache.labri.u-bordeaux.fr (scrasmeustache [147.210.8.85])
	by batman.labri.u-bordeaux.fr (8.8.7/8.8.7) with ESMTP id JAA28746
	for <caml-list@inria.fr>; Tue, 24 Feb 1998 09:51:51 +0100 (MET)
Received: (from casteran@localhost) by scrasmeustache.labri.u-bordeaux.fr (8.7.5/8.7.3) id JAA01161; Tue, 24 Feb 1998 09:50:01 +0100 (MET)
Date: Tue, 24 Feb 1998 09:50:01 +0100 (MET)
Message-Id: <199802240850.JAA01161@scrasmeustache.labri.u-bordeaux.fr>
From: Pierre CASTERAN <Pierre.Casteran@labri.u-bordeaux.fr>
To: caml-list@inria.fr
Subject: local opening
Sender: weis



 Hello,

 Is it possible to open a module inside a single expression ?

 I tried :


module  Compl=
  struct
    type compl=float*float

    let compl(r:float)=(r,0.0)

    let i=(0.0,1.0)

    let add(((a,b):compl),((a',b'):compl))=
         (a+.a',b+.b')

    let mult(((a,b):compl),((a',b'):compl))=
         (a*.a'-.b*.b',a*.b'+.b*.a')
  end;;

let open Compl 
  in mult(i,i);;

but it produced a syntax error .

Is it possible to avoid an heavy :

Compl.mult(Compl.i,Compl.i);;

or a (global) opening of Compl ?


Best regards,

Pierre