Re: debuggin types in records
"Daniel C. Wang" <[email protected]> Thu, 25 Jan 2007 22:29:08 -0800
| Newsgroups | gmane.comp.lang.sml.smlnj |
|---|---|
| Message-ID | <[email protected]> |
My favorite type-debugging trick is the following
fun hole () = raise (Fail "place holder")
than I start replacing expressions with hole() until the type error goes
away. Once, I find the expression that makes the problem go away I at
least know what to blame.
brian wrote:
> I ran across the rather self-explanatory error
>
> operator domain: XEventTypes.key_xevtinfo
> operand: {child:word, event:word, event_pt:Geometry.point,
> keycode:int, mbut_state:XProtTypes.mbutton_state,
> mod_state:XProtTypes.modkey_state, root:word,
> root_pt:Geometry.point, same_screen:bool,
> time:Word32.word}
>
> The problem is that I _think_ the error is due to the fact that I've
> got the type of one of the entries wrong. Naturally I think I've got
> it right, and clearly I am wrong :-)
>
> Is there some way to turn up some debugging flags so I would know
> which one ?
>
> Any good stratgey for figuring this out ?
>
>
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV