Hello,
I have the following modules:
module A where
data A = A { label :: Int }
module B where
data B = B { label :: Int }
b :: B
b = B { label = 0 }
x :: B -> ()
x B { label = 0 } = ()
GHC reports an ambiguity for both usages of label. However, it should be
clear that both usages can only refer to B.label since a field name in record
syntax can only be one that is defined in the same module as the
corresponding record type. Hugs accepts the above code. Is there a way to
make GHC accept it too?
Best wishes,
Wolfgang
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
