| I think (untested) that in this particular case you can get around the
| problem using scoped type variables:
|
| g :: forall a. Num a = T a - T a
| g x = f x (42 :: a)
|
| In fact, this seems to be the general pattern for fixing problems like
| this with type families: add extra witness
When GHC 6.12.1 is released, I'm going to have a go at porting it to
DragonFly BSD (32-bit incarnation). Is the porting page on the
wikiup-to-date?
--
Colin Adams
Preston,
Lancashire,
ENGLAND
___
Glasgow-haskell-users mailing list