Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <19687-0@swan.cl.cam.ac.uk>; Wed, 29 Apr 1992 23:47:30 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA03573;
          Wed, 29 Apr 92 15:33:10 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA03569;
          Wed, 29 Apr 92 15:32:54 -0700
Received: from auk.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl 
          id <19535-0@swan.cl.cam.ac.uk>; Wed, 29 Apr 1992 23:32:07 +0100
To: hall@edu.uidaho.cs.cheetah
Cc: info-hol@edu.uidaho.cs.ted
Subject: Re: Problems with inject_input and ML_eval in 2.0b?
In-Reply-To: Your message of Wed, 29 Apr 92 13:15:02 -0700. <199204292015.AA22888@cheetah.cs.uidaho.edu>
Date: Wed, 29 Apr 92 23:32:02 +0100
From: John Harrison <John.Harrison@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.537:29.03.92.22.32.10"@cl.cam.ac.uk>


It looks like a bug. I don't know why it's happening, but it
seems to be triggered by the existence of digits in the string.
For example:

> #let s1 = `let x = false;;\L`
> #and s2 = `let x = 12345;;\L`;;
> s1 = `let x = false;;
> ` : string
> s2 = `let x = 12345;;
> ` : string
> Run time: 0.0s
>
> #ML_eval s1;;
> () : void
> Run time: 0.1s
>
> x = false : bool
> Run time: 0.0s
>
> #ML_eval s2;;
> () : void
> Run time: 0.0s
>
> #;;
> #;;
>
> ill-typed phrase: 3
> has an instance of type  int
> which should match type  (* -> **)
> 1 error in typing
> typecheck failed
>

An example which half-works is:

> #ML_eval `0;;\L`;;
> () : void
> 
> #;;
> 0 : int

Perhaps this will help the experts track the problem down.

John.

P.S. Above is v2.0 on a Sparc under Lucid.