[clean-list] overloading problem & compiler crash

Divianszky Peter divip@freemail.hu
Mon, 28 Jul 2003 11:49:38 +0200 (CEST)


--0-1804289383-1059385778=:35965
Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-2


Thank you Ronny, with your explanation I could solve my
overloading problem.

Now I have a small project, the Clean 2.0.2 compiler crashes
on it with the error "index out of range"
(you can find it in the attachment too):

module test
import Prelude
Start = 1

definition module Prelude
import StdEnv
zero``` :: Int
zero`` :== zero`
zero` :: a | zero a

implementation module Prelude
import StdEnv
zero``` :: Int
zero``` = zero``
zero`` :== zero`
zero` :: a | zero a
zero` = zero


Peter

--0-1804289383-1059385778=:35965
Content-Type: APPLICATION/zip; name="error.zip"
Content-Transfer-Encoding: BASE64
Content-Disposition: attachment; filename="error.zip"

UEsDBBQAAgAAAFkL+S4AAAAAAAAAAAAAAAAMAAAAbWFjcm9fZXJyb3IvUEsD
BBQAAgAIAOW0+C7Myu18UQAAAGkAAAAXAAAAbWFjcm9fZXJyb3IvUHJlbHVk
ZS5kY2xLSU3LzMssyczPU8jNTynNSVUIKErNKU1J5eXi5crMLcgvKlEILklx
zSsDCVSlFuUnJCQoWFkpeOaVIEQUrGxtFcBMuBhITaJCDVhUIZGXCwBQSwME
FAACAAgAFbX4LismMBVfAAAAkQAAABcAAABtYWNyb19lcnJvci9QcmVsdWRl
LmljbMvMLchJzU3NK0ksyczPU8jNTynNSVUIKErNKU1J5eXi5crMLcgvKlEI
LklxzSsDCVSlFuUnJCQoWFkpeOaVIPi2ChAWQo2ClS1UEC4G0pWoUAMWVUiE
CUJUgRTxcgEAUEsDBBQAAgAIAHQL+S5vJoFlKgAAACoAAAAUAAAAbWFjcm9f
ZXJyb3IvdGVzdC5pY2zLzU8pzUlVKEktLuHl4uXKzC3ILypRCChKzSlNSeXl
Ci5JBHJtFQx5uQBQSwMEFAACAAgA/Av5LjcOFWlaAgAARQUAABQAAABtYWNy
b19lcnJvci90ZXN0LnByaq1U204bMRB9XiT+gS9AC00r2LewBBopG1CSQiv1
xdkdiInX3o7HNLTqv3dss1lDX6tIieec8ZmrcwdopdHF0cnx6PDgWpm1UIcH
2YWTiorsSigLbK4EPgLbS2om+pmByQ7qIvt9i+YJavrzncDSMey8b2kauAbN
p6zcQL1dkqi3dtCK6FQ37M7wCl1AYwgWrMFag0VWOkTQA8JO465TshbECfsr
n0F0S/kLimyUn3/Kc4+FaBE8yU9HEZzsCEUFrcGXIjs7OT8N6FSTFGoQOc1H
Z9G/xyqnSHJIwBgiBNiYn75657NYyRaSyjx3Xb4Dkoz2eCVwK/VjaZTi9vlq
hyskdCOwWThOrwVu99Aj7sWDVOGY9eXsL74ildSyde1QVqgoe5dp7FMC3Djq
HAUqHouQfGm0JXQ+RxvIK6OZKo1D7soeiZHOg32PksAvCiZlzaTeetb/VkAb
0/hl4knWHuV1ARQEC1Amjjfdl54Nd0WXMB5ZgOVkakhv9NgyfBdZqnI5myWe
k11nkKCZi9YrMHQraBNK9YdkxT2FUJu24wlET2NJcQbeqITUlWlcGI4XKzL/
JNi4lPhWpYwSoXlzeAaMc3udbZJbIP3c/qWWhLImze9irIV6sTJ5SDNpafXS
+XKiW6wxQD0/JmbWjtIHeC9Q804myB3g2lgYgAWIRqwVjC/KN912Fr5o+cPB
nN/+IHBZqyAsdWN+crdk/3Czr/1afusPfoMY/ZgPJnMfgsk6Nx3oIeT0PwlP
e+HXhGfCEk9RPkjg/Zybo3z4HB7s95X/hm7jBuBTOPwFUEsBAhQAFAACAAAA
WQv5LgAAAAAAAAAAAAAAAAwAAAAAAAAAAAAwAAAAAAAAAG1hY3JvX2Vycm9y
L1BLAQIUABQAAgAIAOW0+C7Myu18UQAAAGkAAAAXAAAAAAAAAAAAIAAAACoA
AABtYWNyb19lcnJvci9QcmVsdWRlLmRjbFBLAQIUABQAAgAIABW1+C4rJjAV
XwAAAJEAAAAXAAAAAAAAAAAAIAAAALAAAABtYWNyb19lcnJvci9QcmVsdWRl
LmljbFBLAQIUABQAAgAIAHQL+S5vJoFlKgAAACoAAAAUAAAAAAAAAAAAIAAA
AEQBAABtYWNyb19lcnJvci90ZXN0LmljbFBLAQIUABQAAgAIAPwL+S43DhVp
WgIAAEUFAAAUAAAAAAAAAAAAIAAAAKABAABtYWNyb19lcnJvci90ZXN0LnBy
alBLBQYAAAAABQAFAEgBAAAsBAAAAAA=

--0-1804289383-1059385778=:35965--