On Friday 19 September 2003 12:09 pm, MR K P SCHUPKE wrote:
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
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