19 Sep
2003
19 Sep
'03
7:09 a.m.
Would it not be better to have control over exactly where these options apply, could you not have: {-# OPTIONS fallow-overlapping-instances=true #-} ... some code ... {-# OPTIONS -fallow-overlapping-instances=false #-} ... more code ... So you can ensure instances you don't want overlapping cannot? Regards, Keean.