[MLton] Elaborator bug

[Matthew Fluet]

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

--1417689696-1732033131-1139068800=:15050
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed


The attached source exhibits the following bug:
   ElaborateEnv.functorClosure: firstTycons

I note that the bug is sensitive to the _number_ of structure/functor 
bindings made.  That is, if you eliminiate some bindings in c-types.sml 
but increase the number of times c-types.sml is included in sources.mlb, 
then you maintain the bug.  Likewise, if you increase the number of 
bindings in c-types.sml and decrease the number of times c-types.sml is 
included in sources.mlb, then you maintain the bug.
--1417689696-1732033131-1139068800=:15050
Content-Type: APPLICATION/x-gzip; name=z.tgz
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.LNX.4.62.0602041100000.15050@lion.cs.cornell.edu>
Content-Description: 
Content-Disposition: attachment; filename=z.tgz

H4sIAPTN5EMAA+1XX0/bMBDnuZ/ihCYNEHRJG8JA6gMUNphKkcgqHiPTuiRb
cFjiwNin39lJSZq4Tdq1MKTcQw25s3/3z3fn0I+CIQ2b997txrpIQzJNQ64H
uRVJ17TWhq61D3TdME1T29D0VgvZoK1NowxFIScBwMbYiyifI1fGf6dEGANo
AMBmSH9FlA1p32cD5nJ4IgHblBzmM/rbIegp95FeEj50YiZsBnQUsRFhPPO1
4TKx68OWddmzexcn259uSeiG8a/IM8EdOr4f0mZ478n/9vjzg0jCdqv+9Jqf
KBs13joDa3pLSi/i+jBK6n973zhI63/bEPVfb7Xr+v8atLUDXf/hOXDvHA5b
3W3QDw8P91oYMDinLHiGLv3BXbYLWOG5Q5/gi/DDLlhRQEOnATtYVeAbucM+
QrhDUJCwEVicPjiUwQ2lP8MmSgnByx73GbghBNSjJKQjwN5BAyBwYp3uhfzZ
o+C5Q8owH4W8RSkgJIxdZMjNe72L7lnfOoOxH8CIcuJ68vTtRiN071ABVAq6
51dX1pl90f/et4+vv0JHFD5kiwVJFED4SIAn/z8SD8YXjH8+AvHbdBkv8HRT
MnVTyW23JBdLqoprGpJrGilXVN3GOGJDjmZ05QVEib4t8GHrGI7yNmzjp8SK
+FzIKHvc5OJE6MQiPIiGPJHqIFPaJiHViLq5CGTiggqYeO5s0HZrEdDEsxVA
8dzZoKaxCGgSsAqgeK6MaCEFr8+Oe9Vz8JoST6RSvDYDXIoCIpviNSOgyCch
07fjo6asftFJZXYWuszw5Oyiu1PonMNLoSdGVYGe6fSbq+vT6k6/8YMR3ny5
NJ/wt8gWlz9eZwiIoMXrDAERtHjNCCiCJmT6ttRlynEvJqkcl1G9zG/xycWI
pbi5YlAKPPFJFWRlQUihc3laCj3xdhVoZZ6m0Lk8LYWexLEKdJKnb93mZ1Lu
RbAWDDn/adqs+c84MMx0/jN0Mf+Z+n49/70GFeY/HP2Mdzj/NYQh4q/4GsqG
YHcdDG1ncjP9B9RITkOyFXDkiA4/VRnkFjudG7AwKAaGjmJqm0a2loC2VoQ9
UGDHpf8FXJavafRBBl2Wxix8piR2lM0qZ73jB7xoPXaAeeaLTQubLztWDn05
+JXhD1T4SQecG4GsBouFQKEF6lZ0ATbCOS5AgYXtl2075/8loK0VYQ+K2MkA
MNfzKfpifldo0PPZ3aLWiz0r8fwy4Naq0AcK9CrOz+CvxPtqJ+AgVhKBpfwg
Z0dFFJZRwlqlFoMZWiRDaWlElo6KQpcvnk/y1zJ5P77oIV9+03rIbXbmVZnV
IfOa7KgfvdM6nPrRLc4RRSWyzlAoEe9bSgtVbrh/8jpUuCJi17/ckP/3+VFT
TTXVVFNNNdVUU001vSL9BWrlnJkAKAAA

--1417689696-1732033131-1139068800=:15050--