Skip to content

build error with ghc-9.2

cyp                                   > [11 of 75] Compiling Test.Info2.Cyp.Span.Derive
cyp                                   > 
cyp                                   > /home/waldmann/space/all/cyp/src/Test/Info2/Cyp/Span/Derive.hs:99:19: error:
cyp                                   >     • Couldn't match expected type ‘Pat’
cyp                                   >                   with actual type ‘[Pat] -> Pat’
cyp                                   >     • Probable cause: ‘($)’ is applied to too few arguments
cyp                                   >       In the expression: ConP cP $ map VarP args :: Pat
cyp                                   >       In an equation for ‘pat’: pat = ConP cP $ map VarP args :: Pat
cyp                                   >       In the expression:
cyp                                   >         do args <- replicateM (1 + length ts) $ newName "x" :: Q [Name]
cyp                                   >            let cP = mkName $ nameBase c <> "P"
cyp                                   >                pat = ...
cyp                                   >            return $ Clause [pat] (NormalB $ VarE $ head args) []
cyp                                   >    |
cyp                                   > 99 |             pat = ConP cP $ map VarP args :: Pat
cyp                                   >    |                   ^^^^^^^^^^^^^^^^^^^^^^^
cyp                                   >