From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Tue, 16 Nov 93 20:29:02 +0100
Received: from concorde.inria.fr by margaux.inria.fr, Tue, 16 Nov 93 19:10:55 +0100
Received: from mail.netcom.com (netcom.netcom.com) by concorde.inria.fr; Tue, 16 Nov 1993 19:14:01 +0100
Received: from [131.120.50.134] by mail.netcom.com (8.6.4/SMI-4.1/Netcom)
	id KAA02998; Tue, 16 Nov 1993 10:13:54 -0800
Message-Id: <199311161813.KAA02998@mail.netcom.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 16 Nov 1993 10:14:56 -0800
To: caml-list@margaux
From: onomoto@netcom.com (Young and Loud)
Subject: Is this supposed to happen?
Sender: weis@margaux

        (I've posted this to comp.lang.ml as well, but thought it ought to
be sent to the CAML list as well)


        This seems strange -- it's not at all what I wanted
to happen.  I'm running CAML-LIGHT on a Mac Centris 660AV.

(* begin code fragment *)
type foo ={
        a : int;
        b : string
} ;;

type bar = {
        a : int;
        c : float
} ;;

let v1 = {
        a = 1;
        b = "typefoo?"
} ;;

(* end fragment *)

        Running it through the interpreter, I get the following
error:
>.........{
>       a = 1;
>       b = "typefoo?"
>}...
> Expression of type bar
> cannot be used with type foo
- : unit = ()

        I'm a novice ML programmer, but I don't think I should
be getting that error -- help?

        Thanks in advance!

        -o