Skip to content

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 by Simon Peyton Jones
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information