[GHC] #8382: ghc unhappy with program who want to program in C in haskell...

GHC ghc-devs at haskell.org
Sun Sep 29 15:22:24 CEST 2013


#8382: ghc unhappy with program who want to program in C in haskell...
-------------------------------------+------------------------------------
        Reporter:  wagle             |            Owner:
            Type:  bug               |           Status:  closed
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:  fixed             |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------
Changes (by rwbarton):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Thanks for the report. Your bug is already fixed in HEAD:
 {{{
 rwbarton at adjunction:/tmp$ ~/dist/ghc/inplace/bin/ghc-stage2 test1 -fforce-
 recomp
 [1 of 1] Compiling Main             ( test1.hs, test1.o )

 test1.hs:14:25:
     Couldn't match type ‛IV.Vector’ with ‛GV.Mutable v0 RealWorld’
     The type variable ‛v0’ is ambiguous
     Expected type: GV.Mutable
                      v0 (Control.Monad.Primitive.PrimState IO) (MV.MVector
 RealWorld a0)
       Actual type: IV.Vector (MV.MVector RealWorld a0)
     In the first argument of ‛GV.unsafeFreeze’, namely ‛v’
     In a stmt of a 'do' block: iv <- GV.unsafeFreeze v
 }}}

 (In lines 20 & 14, you try to `unsafeFreeze` the result of `unsafeFreeze`.
 Line 14 should involve some kind of `traverse unsafeFreeze`.)

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8382#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the ghc-tickets mailing list