Generalise the type of synthesize, as suggested by Trac #1571
[ghc-base.git] / tests / datamap001.hs
1
2 {-
3 In the 6.6 era this printed [(5,"x")]; should be [(3,"b"),(5,"a")]
4 -}
5
6 module Main (main) where
7
8 import Data.Map
9
10 main :: IO ()
11 main = do let m = fromList [(3,"b"),(5,"a")]
12               f k a = Just "x"
13               m' = updateAt f 1 m
14           print m'