<div dir="ltr">Strange: on loading this module, Hugs complains (this is standard-issue Sep 2006 Hugs in Hugsmode)<div><br></div><div>> - An instance of ShowRecRow (x :: a, y :: a) is required to derive Show (NPoint a)</div><div><br></div><div>Just loading it again and the complaint disappears.</div><div><br></div><div>> module NPoint  where</div>><br>>     import Hugs.Trex<br>><br>>     newtype Num a => NPoint a  = MkNPoint ( Rec( x :: a, y :: a))  deriving (Eq, Show)<br>><div><br></div><div>If I ask for :info ShowRecRow after the failed load, I see an instance each for label x, y -- as well as the EmptyRow instance (standard with Hugs.Trex). If I :load Hugs.Trex after the failed load, those two instances have gone; I can load NPoint ok.</div><div><br></div><div>On firing up Hugs, if I :load Hugs.Trex before :load NPoint, the error still happens. But if I </div><div><br></div><div>>print (z = 5)                                -- some arbitrary label</div><div><br></div><div>then :load NPrint, all is fine. (And there's no ghost ShowRecRow instance for z.)</div><div><br></div><div>If I 'clear modules' after the failed load; then :load NPoint, no error.<br></div><div><br></div><div>Same for an ordinary data decl wrapping a Trex record, with deriving. Same if I include some arbitrary `silly = show (silly = "shilly")`.</div><div><br></div><div><div>AntC</div><br class="gmail-Apple-interchange-newline"></div></div>