Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,865
    • Issues 4,865
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 462
    • Merge requests 462
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #13547
Closed
Open
Created Apr 08, 2017 by cipher1024@trac-cipher1024

Lint error in arrows program

When building with stack build --resolver lts-7.20and stack build --resolver lts-8.8, i.e. with ghc-8.0.1 and ghc-8.0.2.

    [37 of 60] Compiling Document.Phase.Proofs ( src/Document/Phase/Proofs.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.0.0/build/Document/Phase/Proofs.o )
    
    <no location info>: error:
        ghc: panic! (the 'impossible' happened)
      (GHC version 8.0.1 for x86_64-apple-darwin):
    	StgCmmEnv: variable not found
      $dTypeable_aZSM
      local binds for:
      $sunionWith_$sunionWithKey
      $sfromList1
      $sfromList3
      $sfromList
      $s$fOrdEither
      $s$fMonadReaderrReaderT
      $s$fIsTupleconstrIdentity
      $s$fIsTupleconstr(,,,,)
      $s$fIsTupleconstr(,,,)
      $s$fIsTupleconstr(,,)
      $s$fIsTupleconstr(,,)2
      $s$fIsTupleconstr(,)1
      $s$fIsTupleconstr(,)
      $s$fIsTupleconstr(,)2
      $s$fHasMachineP2p
      $fNFDataEventRefA
      $fMonoidEventRefA
      $fGenericEventRefA
      $wmake_phase4
      make_phase1
      $wpoly_go10
      make_phase2
      make_phase3
      make_phase5
      $fNFDataEventRefA4
      $fNFDataEventRefA2
      $stypeRep#78
      $swithCommand8
      $stypeRep#54
      $swithCommand5
      $stypeRep#11
      $swithCommand2
      $stypeRep#74
      $stypeRep#81
      $stypeRep#15
      $stypeRep#20
      $stypeRep#79
      $stypeRep#80
      $stypeRep#70
      $stypeRep#75
      $stypeRep#58
      $stypeRep#66
      $stypeRep#71
      $stypeRep#62
      $stypeRep#8
      $stypeRep#67
      $stypeRep#63
      $stypeRep#59
      $stypeRep#50
      $stypeRep#55
      $stypeRep#38
      $stypeRep#46
      $stypeRep#51
      $stypeRep#42
      $stypeRep#47
      $stypeRep#43
      $stypeRep#34
      $stypeRep#39
      $stypeRep#31
      $stypeRep#35
      $stypeRep#28
      $stypeRep#24
      $stypeRep#25
      $stypeRep#21
      $stypeRep#3
      $stypeRep#16
      $stypeRep#7
      $stypeRep#12
      $stypeRep#2
      $smakeCell8
      $smakeCell7
      $smakeCell40
      $smakeCell39
      $smakeCell36
      $smakeCell35
      $smakeCell32
      $smakeCell31
      $smakeCell4
      $smakeCell28
      $smakeCell27
      $smakeCell24
      $smakeCell23
      $smakeCell3
      $smakeCell20
      $smakeCell19
      $smakeCell16
      $smakeCell15
      $smakeCell12
      $smakeCell11
      $wpoly_go5
      $wgo5
      $sfromList_go5
      $wpoly_go2
      $sfromList2
      $s$fOrd(,)
      $sfromList_fromList'1
      $wpoly_go1
      $s$fEqEither
      $s$fOrdEither_$s$fOrdEither_$cp1Ord
      $s$fEq(,)
      $s$fOrd(,)_$s$fOrd(,)_$cp1Ord
      $s$fMonadRWST
      $s$fMonadReaderrReaderT1
      $s$fMonadReaderT
      $s$fApplicativeReaderT
      $s$fMonadReaderT_$s$fMonadReaderT_$cfail
      $s$fMonadReaderT_$s$fMonadReaderT_$c>>
      $s$fMonadReaderT_$s$fMonadReaderT_$c>>=
      $s$fMonadReaderT_$s$fMonadReaderT_$cp1Monad
      $s$fMonadRWST_$s$fMonadRWST_$cfail
      $s$fMonadRWST_$s$fMonadRWST_$c>>
      $s$fMonadRWST_$s$fMonadRWST_$c>>=
      $s$fMonadRWST_$s$fMonadRWST_$cp1Monad
      $s$fIsTupleconstr(,,,,)_$s$fLatexArg[]
      $s$fIsTupleconstr(,,,,)1
      $s$fIsTupleconstr(,,,)_$s$fLatexArg[]
      $s$fIsTupleconstr(,,,)_irred2
      $s$fIsTupleconstr(,,)_$s$fLatexArg[]
      $s$fIsTupleconstr(,,)_$dLatexArgFromString
      $s$fIsTupleconstr(,,)_$s$fLatexArgFromStringConc
      $s$fIsTupleconstr(,,)_irred1
      $s$fIsTupleconstr(,,)_$s$fLatexArgNonEmpty
      $s$fIsTupleconstr(,,)1
      $s$fIsTupleconstr(,)3
      $s$fHasMachineP1p
      $s$fHasMachineP2p1
      $s$fHasMachineP2p2
      $s$fHasMachineP2p3
      $s$fHasMachineP2p4
      $s$fHasMachineP2p5
      $s$fHasMachineP2p6
      $s$fHasMachineP1p_$s$fHasMachineP1p_$cp5HasMachineP1
      $s$fHasMachineP1p_$s$fHasMachineP1p_$cp4HasMachineP1
      $s$fHasMachineP1p_$s$fHasMachineP1p_$cp3HasMachineP1
      $s$fHasMachineP1p_$s$fHasMachineP1p_$cp2HasMachineP1
      $s$fHasMachineP1p_$s$fHasMachineP1p_$cp1HasMachineP1
      $s$fEq(,)_$dEq1
      $s$fEq(,)_$dEq
      $s$fApplicativeReaderT_$s$fFunctorReaderT_$c<$
      $s$fApplicativeReaderT_$s$fFunctorReaderT_$cfmap
      $s$fApplicativeReaderT_$s$fFunctorReaderT
      $s$fApplicativeRWST
      $s$fApplicativeReaderT_$dApplicative
      $s$fApplicativeReaderT_$s$fApplicativeReaderT_$c<*>
      $s$fApplicativeReaderT_$s$fMonadReaderT_$creturn
      $s$fApplicativeReaderT_$s$fApplicativeReaderT_$cp1Applicative
      $s$fApplicativeRWST_$dFunctor
      $s$fApplicativeRWST_$s$fApplicativeRWST_$c<*>
      $s$fApplicativeRWST_$s$fApplicativeRWST_$cpure
      $s$fApplicativeRWST_$s$fApplicativeRWST_$cp1Applicative
      $fNFDataEventRefA1
      $fNFDataEventRefA3
      $w$dNFData2
      $w$dNFData1
      $w$dNFData
      $fNFDataEventRefA_$crnf
      $wgo
      $fMonoidEventRefA_$cmconcat
      $fMonoidEventRefA_$cmappend
      $fMonoidEventRefA_$cmempty
      $fGenericEventRefA_$cto
      $fGenericEventRefA_$cfrom
      make_phase4
      ruleProxies_rSKY
      refinement_parser_rSL2
      $w$smiddle
      $w$sgreater
      $sfilterGt1
      $sfilterLt1
      $sinsert_$sgo10
      $sinsert_$sgo5
      $sleadsTo1
      $wpoly_go3
      $wpoly_go4
      $slookup5
      $slookup7
      $smakeCell2
      $smakeCell6
      $smakeCell10
      $smakeCell14
      $smakeCell18
      $smakeCell22
      $smakeCell26
      $smakeCell30
      $smakeCell34
      $smakeCell38
      $wpoly_go6
      $wpoly_go7
      $wpoly_go8
      $sshowStringP1
      $strim1
      $strim3
      $sunions1
      $sunless_eta
      $swithCommand1
      $swithCommand4
      $swithCommand7
      lvl_r2714
      lvl1_r2715
      go_r2716
      $wgo1_r2717
      lvl2_r2718
      lvl3_r2719
      lvl4_r271a
      lvl5_r271b
      lvl6_r271c
      lvl7_r271d
      lvl8_r271e
      lvl9_r271f
      lvl10_r271g
      lvl11_r271h
      lvl12_r271i
      lvl13_r271j
      lvl14_r271k
      lvl15_r271l
      lvl16_r271m
      lvl17_r271n
      lvl18_r271o
      lvl19_r271p
      lvl20_r271q
      lvl21_r271r
      lvl22_r271s
      lvl23_r271t
      lvl24_r271u
      lvl25_r271v
      lvl26_r271w
      lvl27_r271x
      lvl28_r271y
      lvl29_r271z
      lvl30_r271A
      lvl31_r271B
      lvl32_r271C
      lvl33_r271D
      lvl34_r271E
      lvl35_r271F
      lvl36_r271G
      lvl37_r271H
      lvl38_r271I
      lvl39_r271J
      lvl40_r271K
      lvl49_r2723
      lvl50_r2724
      lvl51_r2725
      lvl52_r2726
      lvl53_r2727
      lvl54_r2728
      lvl55_r2729
      lvl56_r272a
      lvl57_r272b
      lvl58_r272c
      lvl59_r272d
      lvl60_r272e
      lvl61_r272f
      lvl62_r272g
      lvl63_r272h
      lvl64_r272i
      lvl65_r272j
      lvl66_r272k
      lvl67_r272l
      lvl68_r272m
      lvl69_r272n
      lvl70_r272o
      lvl71_r272p
      lvl72_r272q
      $s$fApplicativeRWST_$c<*>_r272u
      $s$fApplicativeRWST_$cpure_r272v
      lvl74_r272w
      lvl75_r272x
      lvl76_r272y
      $s$fMonadRWST_$c>>_r272z
      $s$fMonadRWST_$cfail_r272A
      $s$fMonadRWST_$c>>=_r272B
      lvl77_r272C
      lvl78_r272D
      lvl79_r272E
      lvl80_r272F
      lvl81_r272G
      lvl82_r272H
      $slesser1_r272S
      lvl88_r272T
      lvl89_r272U
      $wcreate_r272V
      lvl90_r272W
      m2_r272X
      $s$fMonadReaderT_$c>>_r272Y
      $s$fMonadReaderT_$c>>=_r272Z
      go10_r2730
      $wpoly_create_r2731
      lvl91_r2732
      lvl92_r2733
      lvl93_r2734
      lvl94_r2735
      lvl95_r2736
      lvl96_r2737
      lvl97_r2738
      lvl98_r2739
      lvl99_r273a
      lvl100_r273b
      lvl101_r273c
      lvl102_r273d
      lvl103_r273e
      lvl104_r273f
      lvl105_r273g
      lvl106_r273h
      lvl107_r273i
      lvl108_r273j
      lvl109_r273k
      lvl110_r273l
      lvl111_r273m
      lvl112_r273n
      lvl113_r273o
      lvl114_r273p
      lvl115_r273q
      lvl116_r273r
      lvl117_r273s
      lvl118_r273t
      lvl119_r273u
      lvl120_r273v
      lvl121_r273w
      lvl122_r273x
      lvl123_r273y
      lvl124_r273z
      $wpoly_create1_r273A
      lvl125_r273B
      lvl126_r273C
      lvl127_r273D
      lvl128_r273E
      lvl129_r273F
      lvl130_r273G
      lvl131_r273H
      lvl132_r273I
      lvl133_r273J
      lvl134_r273K
      lvl135_r273L
      $wlvl_r273M
      lvl136_r273N
      $wlvl1_r273O
      lvl137_r273P
      $wlvl2_r273Q
      lvl138_r273R
      $wlvl3_r273S
      lvl139_r273T
      $wlvl4_r273U
      lvl140_r273V
      $wlvl5_r273W
      lvl141_r273X
      $wlvl6_r273Y
      lvl142_r273Z
      lvl143_r2740
      lvl144_r2741
      lvl145_r2742
      lvl146_r2743
      lvl147_r2744
      lvl148_r2745
      lvl149_r2746
      lvl150_r2747
      lvl151_r2748
      lvl152_r2749
      lvl153_r274a
      lvl154_r274b
      $s$fFunctorReaderT_$cfmap_r274c
      $s$fFunctorReaderT_$c<$_r274d
      lvl155_r274e
      lvl156_r274f
      $s$fApplicativeReaderT_$c<*>_r274g
      $s$fMonadReaderT_$creturn_r274h
      $s$fMonadReaderT_$cfail_r274i
      lvl157_r274j
      lvl158_r274k
      lvl159_r274l
      lvl160_r274m
      $d~_r274n
      lvl161_r274p
      lvl162_r274q
      lvl163_r274s
      lvl164_r274t
      lvl165_r274v
      lvl166_r274w
      lvl167_r274y
      lvl168_r274z
      lvl169_r274B
      lvl170_r274C
      lvl171_r274E
      lvl172_r274F
      lvl173_r274H
      lvl174_r274I
      lvl175_r274K
      lvl176_r274L
      lvl177_r274N
      lvl178_r274O
      lvl179_r274Q
      lvl180_r274R
      lvl181_r274T
      lvl182_r274U
      lvl183_r274V
      lvl184_r274W
      lvl185_r274X
      lvl186_r274Y
      lvl187_r274Z
      lvl188_r2750
      lvl189_r2751
      lvl190_r2752
      lvl191_r2753
      lvl192_r2754
      lvl193_r2755
      lvl194_r2756
      lvl195_r2757
      lvl196_r2758
      lvl197_r2759
      lvl198_r275a
      lvl199_r275b
      lvl200_r275c
      lvl201_r275d
      lvl202_r275e
      lvl203_r275f
      lvl204_r275g
      lvl205_r275h
      lvl206_r275i
      lvl207_r275j
      lvl208_r275k
      lvl209_r275l
      lvl210_r275m
      lvl211_r275n
      lvl212_r275o
      lvl213_r275p
      lvl214_r275q
      lvl215_r275r
      lvl216_r275s
      lvl217_r275t
      lvl218_r275u
      lvl219_r275v
      lvl220_r275w
      ww1_r275x
      ww2_r275y
      lvl221_r275z
      ww3_r275A
      lvl222_r275B
      pre_r275C
      x_s27MP
      eta_s27MQ
      eta1_s27MR
      ds_s27MS
      ds1_s27MT
      ds2_s27MU
      ds3_s27MV
      goal_s27MW
      prxy'_s27MX
      sat_s27MY
    
    Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
Edited Mar 10, 2019 by Simon Peyton Jones
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking