From: Justin B. <jgb...@gm...> - 2008-01-24 19:04:47
|
On Jan 22, 2008 8:35 AM, Bj=F6rn Bringert <bri...@cs...> wrote: > > I think that this is reasonable. Any place that does pattern matching > just to recover the types of some constructor arguments should use lazy > pattern matching (aka irrefutable patterns). Consider the current code > buggy. Attached you'll find a patch that adds lazy patterns in HDBRec.hs and Query= .hs. Justin |