Is this supposed to happen?

Young and Loud (onomoto@netcom.com)
Tue, 16 Nov 1993 10:14:56 -0800

Message-Id: <199311161813.KAA02998@mail.netcom.com>
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?

(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