Improve Error Message regarding export/import of record labels
Consider the following Curry modules:
module RecTest (R(C1)) where data R = C1 { l1 :: String, l2 :: Int } | C2 { l2 :: Int }
import RecTest test :: R -> R test r = r { l2 = 42 }
Running curry-frontend on the module RecTest yields the error message:
test/RecImp.curry, line 4.10: Error: No constructor has all of these fields: `l2'
Since the record R
includes the label l2
for both constructors, the message should be improved to "No visible constructor has all of these fields".