Changes between Version 8 and Version 9 of MonomorphicPatternBindings


Ignore:
Timestamp:
Jun 19, 2007 4:48:06 PM (7 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonomorphicPatternBindings

    v8 v9  
    114114Koen found this: [http://hackage.haskell.org/trac/ghc/ticket/1369] 
    115115 
     116=== Fourth report === 
     117 
     118Ron de Bruijn (rmbruijn@cs.uu.nl) reported: 
     119{{{ 
     120  [set_left_child_leaf, set_right_child_leaf] = map set_gen_child_leaf [l, r] 
     121}}} 
     122Here "l" and "r" are functions that get the left and right child of a tree and 
     123set_gen_child is a function generalized over the type of child being 
     124selected. 
     125 
     126The above doesn't work on GHC 6.6.1. I get 
     127{{{ 
     128    Cannot match a monotype with `forall s 
     129                                         a 
     130                                         (chain :: * -> * -> *) 
     131                                         (m :: * -> *). 
     132                                  STRef s (Node s a chain) -> m ()' 
     133}}} 
     134The only other sane way to get this working is to unroll the map by hand. 
     135 
     136 
    116137== Summary == 
    117138