Date: Fri, 5 Dec 2003 11:03:36 +0000
To: lablgtk at kaba.or.jp
Subject: The type of this expression, _[> `DELETE_EVENT ] GWindow.dialog,
Message-ID: <20031205110336.GA20159 at redhat.com>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="qMm9M+Fa2AknHoGS"
Content-Disposition: inline
From: Richard Jones <rich at annexia.org>


--qMm9M+Fa2AknHoGS
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

... contains type variables that cannot be generalized

The program is attached. Does anyone know why this message appears
and what it means?

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj
Merjis Ltd. http://www.merjis.com/ - improving website return on investment
Perl4Caml lets you use any Perl library in your type-safe Objective
CAML programs. http://www.merjis.com/developers/perl4caml/
--qMm9M+Fa2AknHoGS
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="crunch.ml"

(* This program pre-crunches the parameter data into a proprietary format
 * defined by the simulator. This proprietary data is then shipped with the
 * main installer, to stop users from editing fundamentals like the activity
 * data.
 *
 * Second version of this program by RWMJ. I dropped all the command line
 * interface stuff because it wasn't being used (and James's sim program
 * does mostly the same thing), and I made the interface easier to use.
 *
 * $Id: crunch.ml,v 1.21 2003/11/30 23:31:47 jane Exp $
 *)

let title = "Criminal Justice System Model Cruncher"

(* Create the dialog. *)
let dialog =
  let dialog = GWindow.dialog ~title () in
  dialog#connect#destroy ~callback:GMain.quit;
  dialog#set_position `CENTER;
  dialog

let vbox = dialog#vbox
let action_area = dialog#action_area

(* Create the three buttons along the bottom of the window. *)
let close_button, back_button, next_button =
  let close_button =
    GButton.button ~label:"Close" ~packing:action_area#pack () in
  close_button#connect#clicked ~callback:dialog#destroy;
  GMisc.label ~text:"" ~packing:action_area#pack ();
  let back_button =
    GButton.button ~label:"<< Back" ~packing:action_area#pack () in
  back_button#misc#set_sensitive false;
  let next_button =
    GButton.button ~label:"Next >>" ~packing:action_area#pack () in
  next_button#misc#set_sensitive false;
  close_button, back_button, next_button

(* Initial display. *)
let () =
  GMisc.label ~text:"Type of data to process:" ~packing:vbox#pack ();
  let bl_b =
    GButton.radio_button ~label:"BASELINE data" ~packing:vbox#pack () in
  let group = bl_b#group in
  let cs_b = GButton.radio_button
	       ~group ~label:"CRIMESTREAM data" ~packing:vbox#pack () in
  let pr_b = GButton.radio_button
	       ~group ~label:"Sentenced PRISONERS at start"
	       ~packing:vbox#pack () in
  dialog#show ();
  GMain.main ()

--qMm9M+Fa2AknHoGS--