[MLton] Sparc+linux

Wesley W. Terpstra terpstra@gkec.tu-darmstadt.de
Sun, 19 Dec 2004 21:15:09 +0100


--/04w6evG8XlLl3ft
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

On Sun, Dec 19, 2004 at 10:58:24AM -0500, Matthew Fluet wrote:
> The log above says that the exception is originating in the shrinker
> (ssa/shrink.fun), which is called by closure-convert/closure-convert.fun
> line 105.
> 
> I would suggest changing ssa/shrink.fun at line 1278 to read:
> 
>       fn f => (traceShrinkFunction s (eliminateUselessProfile f)
> 	       handle e => (Error.bug (concat ["shrinker raised ",
> 					       Layout.toString (Exn.layout e),
> 					       "\n\t",
> 					       concat (List.separate
> 						       (Exn.history e, "\n\t"))])
> 			    ; raise e))
> 
> and building the compiler with -exn-history true.  You'll get a slower
> compiler, but you'll see the origin of the subscript exception.

Done. I've attached the build log for hello.sml:
val _ = print "Hello world\n"

I don't see how a .sub exception is raised unless Vector.fold is broken.
I'm going to try compiling the compiler with '-align 4' and see if the
problem disappears... call it a hunch. =)

-- 
Wesley W. Terpstra

--/04w6evG8XlLl3ft
Content-Type: application/octet-stream
Content-Disposition: attachment; filename="hello.log.gz"
Content-Transfer-Encoding: base64

H4sICMjfxUECA2hlbGxvLmxvZwDtWt1v4zYSf+7+FXw5XIJzFJL6Dq7FFdmk2EOyu1jv9h4O
xYGWaFtYWXQlahO3uP/9hpRsU7IkKx9ocYDzkETDmeHMbz44lH1/J0WGCslymWSLN/f68f7u
84f3P998mr778B6dzcoklWhaZugtjxAJEaFX2L5yfEQxdhDws4ylG5lEidycv0EoyjmTPEZy
mRRonqRc8bTk/SuCtbz15q1AmZCIx4nci1hvblO2QAWXyq7iCoFexNJkkV2hQP8vta2wcrbk
aSom6B+aMEEXF8oINGMF6EqTWc7yzVX1eAE7UrWYigVFZxHLY1Qkv/HzWmm0LLOvVygSLOVF
xJGDQ0/TRcwXHLa+rp4ymcw37zIp7lkC1DlLC65WYj4rF41nvgY/pOTZW54yMEPmZXvlSwbK
GkLzJOPg2L9/0Y8J4LBmRWGQcrFukUD7TOQAO4CUiodrQEayTKIz0MbKVJ4bG/Ty8ozNUh6f
781ssd48rkU+SumW86jKd6uxKrecR1V+zJPVGIUV31F1H77xPBUsHqNyz3tU7Sc+S7L45tcS
VI1R3eQfUh9zFl9Dxh7RumcbUjYXecS/FPyY+wbfoLp5MpW5qeu9yHp4hvQU/NeSZ7BjlhxL
nibrkNIHlmf3TEZLU+Mg2zFtX7LyOHQm45BCkaWbhoJklWR6AbJuDiliCFXlt4QQ89zA+DFD
0GGlyE1FiwgaH4+g8d2BRqlIS5bFKc+hvdyCXkWB3OOZZDIR0PDsipJCn9LKP/GozIvkG0e/
r3MRl5FE3yOb4gkqVpC88ODh/+5l9p1za2+SrUupG/8V0u28IhawvoJtDWP3RDR9XKXGyldo
qeieRUttVZP8aTr9sU3rJtE2LRayTWq13keZs/8YPHDmQNcG2K3L6Ftxqc7P+BKK99KyLmFt
ywJn7oLLIc7Lgqfzih3isg1SKqD7V5GFRjAv0/T69ieAWO8/0cs3j4ksgKTgPW8pgOOrzGRh
2iuM44QoyorlwAenY7EP0Yo9onmZRSoD9KEJvBh+qrUN0m3vQeRpvJeB7FRJEYmVChiHFWyQ
U/ULjh7l1M6Yek2sJZisNzGoK8h0tBSQwR17rDcIkm/dv4KiUor5vLLbZNiT29ZBZLNirkoo
MJbmpSxzMM1zDGKxLOdzlb+t7RPOQWJ96GKxThPwYypWXE1C9eb8AeUc1JtjxVqkm28sTxh0
sVrg9xyiGKsY032R2VBwRv3hquaAMm+lrCLpWts2hppQTUnmzls64BAtOxbe3V2hj9X/U1HC
EWAutmOb84Ln4Dkv1vuti6V42O7boEHPvICm2KLKzZqbFhYF+6h9m3IA8+/m4w+NdfC97sK/
1HTaEqQHkrRbVLmlp0DTDtUbI5MA3amxgfn8Q5OjtUHVGa7QtvzrTsFyFYLpGv4a1A9T1bez
8lHTAJ1tn9hZook8z0WuRtssSioyYNsekrepC+fJTBQwzl/BzC5ZkiqiOqZQmeU8EosMSjOG
uR8G9/pI2Iq2vD5wus/n3yDIqhIh7Gu53BXjtVitVSpN7+/2txSkf9Y53w7m+6XvINPzgv8I
k9J+ABhahFk7KZbgTJIh6lmEoL8hz/ICdEbxX9BP1+cgFYmcX6xS3fUQ4EWDiR24kzBw0Gwj
eQEsWbn6yPlXVZDECRzs+0CElnnHs4VcqmqEZwa4sgWHegZsVRuFPVVj4rmE/gldDfiwZTuk
qdB1Xer3iM/K6Cuv5EI/AKbdVGd4vaOZzmILh+Ar/MHorNdVYk8ocScuxZ2uutC2bOcFrtIX
uarPI5ErWxvuGvSmy4596PKj6S6FqCp3g253aeh5Yctd5wnuek2FHg4cd4S7nmLSNn6PfFsD
DlqqXlhvtcjZSpkY4jp7YLAoABA4Cio2OCkIVaFZsmIJzWOmGvTWbTIJQ28SErpzG1CZJis4
ouYbE9u6nVzrSaKP3sQcsDzAXHW/hjvq6Bv0qGY4dMomfrXc4RcNMFTqvkqr/jNd5knWtn5P
b1nvd1oPkZKWmTmeZ08gec2tzMzxAuq6tR/t5FFvM8blD/EONHue6+F+JWYWBW4DedvBwTDy
VS2+JvJ1Rn3WKg4D0FhuNauRcQicYOIQry8OPvZs339xHJzDOAQ48EfGIfjj4uDAJcwNG2n5
1PolfmfP3HUHk5tYmA53WD8Eg3yvs736jmsH9vPbq8bBUOhT6o45TcJg317raAyHoicOFHe3
V1v5bPSGlcjESuRruIo3Dq4GvRkEu+OsLhr9xyWTwKeduAYUuy85tkjYVBgElJJjuEIqaLka
V4dS2o+rS91eWH2tpiu3bWcCB/LO5eL1zixiD51ZtS/9FVu501uwvjtQsLY/se1G/yp2ZxNp
mW+utBwI+9tlI28cF/YLe8+tEIfE9l7aL3F4oDnE2HNG9EvVUewG+hByfxB9GoSviL5KKK5e
X0zhfp88tiLQXm0dWmR0FIJJ6OHeKBAbey+PQtAVBR8/Mwr+8NxGQzwchWAwCtCGu2uA9tYA
HVfEHeg74WANuNSj+MXo01dFnxypAZ+8Ivq7LL95jOB6DvYVfXVgcLRqYWw0XOxPYIrrj4aP
Q/fF0SAd0SC+/6xo2LbrHonG4ADne/ZgNAKMu2vB7q0Fu10L3thaCMjEpn3oq/eUNnVeiD4N
3ddEX31I+8ehb76MbcFv2EQduqP1meWEDZYBy/qNg2uHadyfb0EDntbLl9E5GDoTQvtOQ0oo
CfyX3qWpH75mDu7QPgb183KwBfKTx1ncfXvoucN59Mhlox2gRnQcGgb+sy8bVVzMoJBAvzY7
GhHfuMRRZ+CyUcWiLxB+32UjmGCjE0SpKMqcX4sM7JKtOKgPY6tvxajX60NrrTPS7ayQec45
0kUFFh3oay62FNJOhYtUzFjaem3aoI9SE3U6v6XmLCl2CjoSsIWgyU4O9jt85b/nt13LdXav
7Ym3kzA/PDjGXn3zqcnlHXAV+nDl+ZaxzKpPymPEt3PPFZqWsyLKk7V88111GFuV2G396anF
MvgFeXfHZjy95ywD7NTHTZcVnzUvM5WkFqTitGCfIcDWNSt4Yc1FGluxSKRWUYkU7EIqDiVE
HMeyYbL7mavX35r9Nherirv+THmVgqOX6oOf6PJbzQeijm85DcG/Wvpz4WEpm1qEDLoZQQxK
yfu8DLD2sl8+HcLIDY9Ib0E+RNcfljwQIM7TBAj1AyVx3chyq5n0FotjpWVbCxd17Vy2nrVG
L3A12MMaa4k7tprFrAJBmzdmB4JJYKl3m8NbZPxhGgn1QeMInS4OnmX1WIM9i7h/tsEjbcVk
vOKbx/UTg+e7UPv0j699U+yIBA0t98DAY7a5LZkj/C623CdiPA5eEloU5pA7GBms26oT94Gk
hhmrgHmJqtGrITPIToInJchIu5+QdeobkbvMq2n/FMlIhHxbe/vknUZqh1v7KbCnwJ4CW00O
489IaKEKYJHJXKSWzFnE9beX4Omy/qudCbFztHeO2zKsFFXjt7VW0npor6xesSS7jOrFqmc7
MPI/xcSapL7V1slHcBiOYyQw6DtNxs+7W3S3hEu6vTt0zPEa5o7wq5KtdXQgFbgdfOp+c8Dq
wV0geMLe6gu5SuEKLjR3SbZXDixaufqlNQdBYIX9AkaQdyKQhNS0Rn9F7Va70A80tu2qEA6E
quTvlgks59U26mMnQ4AduG57Cq63m4ytkuhfSRZbD/Crq6/EFc+FWq/36typG+FQbTM63jfq
C4HWrFx0GaK/LWhYcLr3nO49p3vP6d5zGo9P4/EpsKfAnu49p3vP6d5zuvf8/917/gchdkKc
8UAAAA==

--/04w6evG8XlLl3ft--