Changes between Version 8 and Version 9 of MonomorphicPatternBindings


Ignore:
Timestamp:
Jun 19, 2007 4:48:06 PM (8 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 ([email protected]) 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