Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

clash-lib-1.8.1 failed to build with ghc-9.8.4 Stackage Nightly #2852

Open
juhp opened this issue Dec 5, 2024 · 1 comment
Open

clash-lib-1.8.1 failed to build with ghc-9.8.4 Stackage Nightly #2852

juhp opened this issue Dec 5, 2024 · 1 comment

Comments

@juhp
Copy link

juhp commented Dec 5, 2024 

       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:516:20: error: [GHC-83865]                                                                                       
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’                                                                       
             Expected: Clash.Unique.Unique                                                                                          
               Actual: GHC.Word.Word64                                                                                              
           • In the second argument of ‘(==)’, namely                                                                               
               ‘getKey typeNatAddTyFamNameKey’                                                                                      
             In the expression: nameUniq tc == getKey typeNatAddTyFamNameKey                                                        
             In a stmt of a pattern guard for                                                                                       
                            an equation for ‘reduceTypeFamily’:                                                                     
               nameUniq tc == getKey typeNatAddTyFamNameKey                                                                         
           |                                                                                                                        
       516 |   | nameUniq tc == getKey typeNatAddTyFamNameKey                                                                       
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^                                                                       
                                                                                                                                    
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:521:20: error: [GHC-83865]                                                                                       
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’                                                                       
             Expected: Clash.Unique.Unique                                                                                          
               Actual: GHC.Word.Word64                                                                                              
           • In the second argument of ‘(==)’, namely
               ‘getKey typeNatMulTyFamNameKey’
             In the expression: nameUniq tc == getKey typeNatMulTyFamNameKey
             In a stmt of a pattern guard for
                            an equation for ‘reduceTypeFamily’:
               nameUniq tc == getKey typeNatMulTyFamNameKey
           |
       521 |   | nameUniq tc == getKey typeNatMulTyFamNameKey
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:526:20: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the second argument of ‘(==)’, namely
               ‘getKey typeNatExpTyFamNameKey’
             In the expression: nameUniq tc == getKey typeNatExpTyFamNameKey
             In a stmt of a pattern guard for
                            an equation for ‘reduceTypeFamily’:
                            an equation for ‘reduceTypeFamily’:                                                01:50:14 [313/937727]
               nameUniq tc == getKey typeNatExpTyFamNameKey                                                                         
           |
       526 |   | nameUniq tc == getKey typeNatExpTyFamNameKey
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:531:20: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the second argument of ‘(==)’, namely
               ‘getKey typeNatSubTyFamNameKey’
             In the expression: nameUniq tc == getKey typeNatSubTyFamNameKey
             In a stmt of a pattern guard for
                            an equation for ‘reduceTypeFamily’:
               nameUniq tc == getKey typeNatSubTyFamNameKey
           |
       531 |   | nameUniq tc == getKey typeNatSubTyFamNameKey
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:552:20: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the second argument of ‘(==)’, namely
               ‘getKey typeNatCmpTyFamNameKey’
             In the expression: nameUniq tc == getKey typeNatCmpTyFamNameKey
             In a stmt of a pattern guard for
                            an equation for ‘reduceTypeFamily’:
               nameUniq tc == getKey typeNatCmpTyFamNameKey
           |
       552 |   | nameUniq tc == getKey typeNatCmpTyFamNameKey -- "GHC.TypeNats.CmpNat"
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:557:45: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordLTDataConKey)’
             In the expression:
               Name User "GHC.Types.LT" (getKey ordLTDataConKey) wiredInSrcSpan
             In a case alternative:
                 LT
                   -> Name User "GHC.Types.LT" (getKey ordLTDataConKey) wiredInSrcSpan
           |
       557 |             LT -> Name User "GHC.Types.LT" (getKey ordLTDataConKey) wiredInSrcSpan
           |                                             ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:558:45: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordEQDataConKey)’
             In the expression:
               Name User "GHC.Types.EQ" (getKey ordEQDataConKey) wiredInSrcSpan
             In a case alternative:
                 EQ
                   -> Name User "GHC.Types.EQ" (getKey ordEQDataConKey) wiredInSrcSpan
           |
       558 |             EQ -> Name User "GHC.Types.EQ" (getKey ordEQDataConKey) wiredInSrcSpan
           |                                             ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:559:45: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordGTDataConKey)’
             In the expression:
               Name User "GHC.Types.GT" (getKey ordGTDataConKey) wiredInSrcSpan
             In a case alternative:
                 GT
                   -> Name User "GHC.Types.GT" (getKey ordGTDataConKey) wiredInSrcSpan
           |
       559 |             GT -> Name User "GHC.Types.GT" (getKey ordGTDataConKey) wiredInSrcSpan
           |                                             ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:562:20: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the second argument of ‘(==)’, namely
               ‘getKey typeSymbolCmpTyFamNameKey’
             In the expression: nameUniq tc == getKey typeSymbolCmpTyFamNameKey
             In a stmt of a pattern guard for
                            an equation for ‘reduceTypeFamily’:
               nameUniq tc == getKey typeSymbolCmpTyFamNameKey
           |
       562 |   | nameUniq tc == getKey typeSymbolCmpTyFamNameKey -- "GHC.TypeNats.CmpSymbol"
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:567:45: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordLTDataConKey)’
             In the expression:
               Name User "GHC.Types.LT" (getKey ordLTDataConKey) wiredInSrcSpan
             In a case alternative:
                 LT
                   -> Name User "GHC.Types.LT" (getKey ordLTDataConKey) wiredInSrcSpan
           |
       567 |             LT -> Name User "GHC.Types.LT" (getKey ordLTDataConKey) wiredInSrcSpan
           |                                             ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:568:45: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordEQDataConKey)’
             In the expression:
               Name User "GHC.Types.EQ" (getKey ordEQDataConKey) wiredInSrcSpan
             In a case alternative:
                 EQ
                   -> Name User "GHC.Types.EQ" (getKey ordEQDataConKey) wiredInSrcSpan
           |
       568 |             EQ -> Name User "GHC.Types.EQ" (getKey ordEQDataConKey) wiredInSrcSpan
           |                                             ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:569:45: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordGTDataConKey)’
             In the expression:
               Name User "GHC.Types.GT" (getKey ordGTDataConKey) wiredInSrcSpan
             In a case alternative:
                 GT
                   -> Name User "GHC.Types.GT" (getKey ordGTDataConKey) wiredInSrcSpan
           |
       569 |             GT -> Name User "GHC.Types.GT" (getKey ordGTDataConKey) wiredInSrcSpan
           |                                             ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:573:20: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the second argument of ‘(==)’, namely
               ‘getKey typeCharCmpTyFamNameKey’
             In the expression: nameUniq tc == getKey typeCharCmpTyFamNameKey
             In a stmt of a pattern guard for
                            an equation for ‘reduceTypeFamily’:
               nameUniq tc == getKey typeCharCmpTyFamNameKey
           |
       573 |   | nameUniq tc == getKey typeCharCmpTyFamNameKey -- "GHC.TypeNats.CmpSymbol"
           |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:578:42: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordLTDataConKey)’
             In the expression:
               Name User (showt 'LT) (getKey ordLTDataConKey) wiredInSrcSpan
             In a case alternative:
                 LT -> Name User (showt 'LT) (getKey ordLTDataConKey) wiredInSrcSpan
           |
       578 |             LT -> Name User (showt 'LT) (getKey ordLTDataConKey) wiredInSrcSpan
           |                                          ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:579:42: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordEQDataConKey)’
             In the expression:
               Name User (showt 'EQ) (getKey ordEQDataConKey) wiredInSrcSpan
             In a case alternative:
                 EQ -> Name User (showt 'EQ) (getKey ordEQDataConKey) wiredInSrcSpan
           |
       579 |             EQ -> Name User (showt 'EQ) (getKey ordEQDataConKey) wiredInSrcSpan
           |                                          ^^^^^^^^^^^^^^^^^^^^^^
        
       /home/curators/work/unpack-dir/unpacked/clash-lib-1.8.1-03ec2cb411fe7ac811914edffea21995ffd0d5c5b6898264fc548c766d146ecb/src/
Clash/Core/Type.hs:580:42: error: [GHC-83865]
           • Couldn't match type ‘GHC.Word.Word64’ with ‘Int’
             Expected: Clash.Unique.Unique
               Actual: GHC.Word.Word64
           • In the third argument of ‘Name’, namely
               ‘(getKey ordGTDataConKey)’
             In the expression:
               Name User (showt 'GT) (getKey ordGTDataConKey) wiredInSrcSpan
:
:

Not sure what changed
juhp added a commit to commercialhaskell/stackage that referenced this issue Dec 5, 2024
@juhp
clash-lib failing with ghc-9.8.4 (clash-lang/clash-compiler#2852)
34beb40
@juhp juhp mentioned this issue Dec 5, 2024
Closed
@leonschoorl
Copy link
Member

leonschoorl commented Dec 23, 2024 •
edited
Loading

The widening of the GHC uniques got backported to GHC-9.8.4.

We already handle this for GHC-9.10, but not in a way that's safe on 32bit systems

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@juhp @leonschoorl