Re: [Haskell-cafe] Another idea for record field selection and betternamespace management

27 Jan 2006


      Another correction...

Brian Hulley wrote:
...
data Col1 a = One a
       data Col2 a = One a | Two a
useOne :: ( //One col a) => col -> a
       useOne (One x) = x
should be

        useOne :: (//One a col) => col -> a