[MLton] A little bug

varming@itu.dk varming@itu.dk
Thu, 10 Nov 2005 16:09:14 +0100 (CET)


  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

---494794620-605305390-1131635354=:9594
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed

I attached a tgz file containing a little SML program bug.sml and a data
file data.  This is what happens when I try out mlton.

mlton bug.sml
Type error: SSa2.TypeCheck2.coerce
{from = ((word8) vector * IntInf.int), to = ((word8) vector * IntInf.int ref)}
Type error: analyze raised exception unhandled exception: TypeError

unhandled exception: TypeError

To me this looks like a bug.

mlton -drop-pass refFlatten bug.sml
./bug
unhandled exception: Time


The exception is raised by (TextIO.scanStream Time.scan is)
where is is a stream opened with TextIO.openIn on the file data that
contains

SpreadExp 0.201
RegInf 0.417
MulInf 0.259
Knorm 0.017

It fails on ' 0.417' but that should not be a problem for Time.scan.

To me this looks like a bug.
---494794620-605305390-1131635354=:9594
Content-Type: APPLICATION/x-gtar; name=bug.tgz
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.LNX.4.64.0511101609140.9594@adm1-8.itu.dk>
Content-Description: 
Content-Disposition: attachment; filename=bug.tgz

H4sIAC1ac0MAA+1WW2vbMBTOs3/FwS+xNxOcO0vJGJQ8hNEVmsIesrTTHDk1
c2QjKV0H+/E7ku3ElyRbGe1e9FGaSDqX73w6PvG33aYjtnHrJeEjRoMBfo57
w95Qr7t6rdEfd8etrt/vD0bDwWjst/xudzzqtcB/UVY5dkISDtB6JHwbsc0Z
O8rFaxB6XViAoE8BTWWUMLihZH0bKSHEjPOEQxKCkBzXlhXuGIiAsMsHwgVs
qAxA8ACmGCKmEh5JnK1hoR0uH2VHfI/Sz4u9LVpGTGcMiKBluzSOZAwOSyQk
oBJ0IrFISUDdsjMoOo5te7h0YfoePl1/mul9+AWcCrW1uL6aqe+4Tdnawg/F
m2Nd95RJ/hMiARNwsqLgDWC1tCPxnwtJpsE0i5iTvKVPcn7dUYUjX0q2JQ0i
UZgiL52YkS1VLIp9DedEIJ1arUuBquFkUZGjAnvSrZph1UoBZcRJhDka12er
yvB+UxpIurYP/gfPg4b/ipLWSuVpJmBF+kaiolKtGoXJpHBvUjpQZlGM2Sxt
ojIGyTbFKxd4rScvN46EdM8dHu4ddENXCKgsO8ZpCMsVFrZcNS4iO3Uc5qlP
6U4myAgzTrGrPbXMLdSu1YgdMRwvUrtL12NSuBU6xygVrnGSpBkrdPuw3BOo
U8xoamtM0/aAAxGgbdsHtic6IQqBqQxtkA+UgcMn00y/t4700P9CJa93ZwEa
YxvoxLr4WuS8AvSvneSP75FqneUq1ygXteFcFEqzwgprtenojUxwh+oTt5yn
IIS95C1X5Zo0oUPXhTzZ3odRTOFs09X7Sg9K/Xg4+UhIUsrmOFub+j0Qtsb4
92eecMcOCXJYg0xABdIPA25wkJkZaIpfbbhDnndgtztfmO3WCm72lh7niiVe
dvZEnrreOtsGRTWX/2rCFIIEcSLoXI3Fi2dMpuMCPWe0OTbVhH+oHseBpe4T
ZdX112WdwF5RLWhDnb2A++mEf1UjVL5ZMZpVrVTbVVeWio1NUWpBe00ksa1n
//4rtxd4rajgD+9/eDgq3v96Q1+///X9gXn/ew0sUtXds6cU/E7P71o3dDNn
IS4G3bF1tYuzRW/4zvrIEr7F7z4e/G/WBgYGBgYGBgYGBgYGBgYGBgYGBgYG
BgYGBgYGx/Ab5tXhoAAoAAA=

---494794620-605305390-1131635354=:9594--