[GHC] #14880: GHC panic: updateRole

GHC ghc-devs at haskell.org
Sat Jul 14 23:26:00 UTC 2018


#14880: GHC panic: updateRole
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  goldfire
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.2
  checker)                           |
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #15076            |  Differential Rev(s):  Phab:D4769
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by tdammers):

 For completeness' sake, here's the Haddock compilation error:

 {{{
 "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf  dyn_o -hcsuf dyn_hc -fPIC
 -dynamic  -O0 -H64m -Wall  -Werror    -hide-all-packages -i
 -iutils/haddock/driver -iutils/haddock/haddock-api/src -iutils/haddock
 /haddock-library/vendor/attoparsec-0.13.1.0 -iutils/haddock/haddock-
 library/src-iutils/haddock/dist/build -Iutils/haddock/dist/build
 -iutils/haddock/dist/build/haddock/autogen
 -Iutils/haddock/dist/build/haddock/autogen  -optP-DIN_GHC_TREE -optP-
 include -optPutils/haddock/dist/build/haddock/autogen/cabal_macros.h
 -package-id Cabal-2.3.0.0 -package-id array-0.5.2.0 -package-id
 base-4.12.0.0 -package-id bytestring-0.10.8.2 -package-id
 containers-0.5.11.0 -package-id deepseq-1.4.4.0 -package-id
 directory-1.3.2.3 -package-id filepath-1.4.2 -package-id ghc-8.5 -package-
 id ghc-boot-8.5 -package-id transformers-0.5.5.0 -package-id
 xhtml-3000.2.2 -funbox-strict-fields -Wall -fwarn-tabs -O2 -threaded
 -XHaskell2010  -no-user-package-db -rtsopts  -Wno-unused-imports -Wno-
 deprecations     -Wnoncanonical-monad-instances  -odir
 utils/haddock/dist/build -hidir utils/haddock/dist/build -stubdir
 utils/haddock/dist/build    -c utils/haddock/haddock-
 api/src/Haddock/InterfaceFile.hs -o
 utils/haddock/dist/build/Haddock/InterfaceFile.dyn_o

 utils/haddock/haddock-api/src/Haddock/Convert.hs:486:39: error:
     • Couldn't match type ‘UniqSet.UniqSet TyVar’
                      with ‘InterestingVarFun
                            -> VarSet -> ([Var], VarSet) -> ([Var],
 VarSet)’
       Expected type: TyConBinder -> FV
         Actual type: TyConBinder -> TyVarSet
     • In the first argument of ‘mapUnionFV’, namely
         ‘injectiveVarsOfBinder’
       In the second argument of ‘($)’, namely
         ‘mapUnionFV injectiveVarsOfBinder dropped_binders’
       In the expression:
         fvVarSet $ mapUnionFV injectiveVarsOfBinder dropped_binders
     |
 486 |                            mapUnionFV injectiveVarsOfBinder
 dropped_binders
     |                                       ^^^^^^^^^^^^^^^^^^^^^
 utils/haddock/ghc.mk:20: recipe for target
 'utils/haddock/dist/build/Haddock/Convert.dyn_o' failed
 make[1]: *** [utils/haddock/dist/build/Haddock/Convert.dyn_o] Error 1
 make[1]: *** Waiting for unfinished jobs....
 Makefile:122: recipe for target 'all' failed
 make: *** [all] Error 2
 }}}

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


More information about the ghc-tickets mailing list