Hi Ralf,
| The following script seems to disclose a bug in Hugs 1.3c's type
| checker. NB it compiles fine with ghc 3.02.
Yes, this problem was fixed with the p1 patch, which you can
get from: http://www.cs.nott.ac.uk/~mpj/hugs13/p1. The binary
versions of Hugs 1.3c have not been updated to include these
patches, so you will need to recompile it yourself.
In fact the patch is pretty small, so I'll attach a copy to the
end of this message too.
All the best,
Mark
---------------------------------------------------------------------------
To: [EMAIL PROTECTED]
Subject: Patches for Hugs 1.3c [March 1998] --> [March 1998 p1]
Date: Wed, 8 Apr 98 12:12:32 BST
From: [EMAIL PROTECTED]
Sender: [EMAIL PROTECTED]
The following diffs should be uudecoded and applied to the [March 1998]
release of Hugs 1.3c to obtain the [March 1998 p1] version of Hugs 1.3c.
These patches:
Correct an error in the handling of defaults.
Improve error messages by making more consistent use of upper/lower case.
Generalize the rules for constructing superclass instances.
Fix a bug in the error message that is displayed when an attempt to
construct a superclass instance fails.
Update the startup banner to reflect the new patch level.
All of these patches, together with some more substantial modifications,
will be included in the next full release of either Hugs 1.3c, or of
Hugs 1.4. So, if you're not affected by any of the changes above, or
if you don't know how to apply these diffs, then please wait for the
next release.
All the best,
Mark
-------------------------------------------------------------
begin 700 diffs.gz
M'XL("*]:*S4 V1I9F9S -U6?V_;-A#]V_T45PTK)$-.K-B.8QL!MCE:5Z!U
M ]?#.BQ%H$A4S%:A-)'*'#3][CM2OVTY3>,T T88MBC?/=Z]>^31H[X/G>D!
M=&+@L;N_3"[YG@MAX)6S9^UVN_)GZP_BP<]1#-TCZ!Z.K>ZX-P)K-#IZUNET
MZI[*](T3@V6A]7@PPD]JVJX/M835ZYE6;PCJ!:@1Q90)7]< ;F\1_?86\G%^
M?EZ9P6))X'=&KTG,J;B!T(=9* 1EETOGRI1+]CMRW;TSIAF3!G#(OAK'G$1A
M+. "<P(1@LRM(R<_+1W^B03!7AA?IL#/MP/_A3RX2Y4]1-:'/(E[CC.61_X#
M81[U\4'1G7.&SYW_'V=5TCZ42>S F;>F]R@F7D7PV;10?#9O+1*22GX(!]WQ
MH#\^V)1\;OM-FC\<#LW#(RO7?,L/8] GP$(V2X) ][@Q 8\?"_5HP&=I(UEX
M3;D EUMPC-^20_7VGR4-".BY-_YOP(L7!1IAPJ&!/GOUVG0B?>DI Q-_);;9
M-0Q#PK=26)'Z3_(5J0\ZY06NC$4FGR>0"?#)$]@E_G4QB)N(E%I(9X44TNF:
M$OI'8WQ85T)F^DU"Z(]ZYJ#;JQY^]GS^YMU+/3#P65L@)I X1GHI@Q^Y9B)9
MRFKQFSW+/&2..5>4J1R16,19V.\7H)TQN9*]0J5R3D.F?,:@I1AR/?O]Z5QZ
MYMO]2[8[<P@Y,I@%B:\J^WT3AA1[N\E;IK/%>_'GJ8U!^.(N@).0<-2%@"M'
MX FQ"4!6D2CRD,0DC/HWOZ)^>#,OOQ#723@I0U(DEUXUIK^4-<HQ-"6!O(Z5
M _D[U9$\3AW%3G44N];1>_0Z7NQ<QZ;].;"&YN"@G^]/=7QAU^(3=:15RTP9
M,4";.DQF]3'A A<&-V1<Q [V.%ZM>QI*C9Q6\SZ]1UU:S9MKD]*-@A2>+_$V
MP&2P@JQ$W7/Z=B9-]8AO]9Y6DH1F;S>,;DYEH]15NS2*RM8*D+VR9R<3M:ER
M\K--]03DDP>3+QY,_N5.Y+O?@_S&:_IP,#*MX;!?[56J[4?\F"<17B?+_B\#
MQD+)_A^I_M_:;\,[:>0&#N?@45<@R4Y,\1AH[\MF/<7;(4046SAV]BSA]"6Y
MQI?<M=-;0.3$SA4W?2YZ>D0-$S-_Z^N<>6IJI'Z5KD^N\7Z0W3,4$F49$KFF
MWIU L &4GCP2R@V($V.;_\3U\K*1R9%B2>0QO%?7Y45" P]XR8*T<YA+M$*3
MK;6R2.)?95:5\[:L<Z:*?*#KZ=P^*4I>AK(DCF=>$.%D##4L-,TDB!%& <5;
MS-T+-<A+E6;[ G/R=T+1LLK!O3/96J<:_54]M^JG22Y@J]JDGT[ CR,[A>?B
M*O("?4>1BQ*D%VZQJCH4E9K48+FKHO\ZX_^AWDM=8"0/$G*)(%8/4VJ!P-,@
-OJJ^?P$A!!1B;A$ #H4
end
-------------------------------------------------------------
