[Agda] installing agda-2.4.2.3

[Andrés Sicard-Ramírez]

On 27 July 2015 at 05:36, Sergei Meshveliani <mechvel at botik.ru> wrote:
> [19 of 22] Compiling Language.Haskell.Exts.InternalParser
> ( dist/build/Language/Haskell/Exts/InternalParser.hs,
> dist/build/Language/Haskell/Exts/InternalParser.o )
>
> templates/GenericTemplate.hs:104:22:
>     Couldn't match expected type ‘Bool’
>                 with actual type ‘Happy_GHC_Exts.Int#’
>     In the expression:
>       (n Happy_GHC_Exts.<# (0# :: Happy_GHC_Exts.Int#))
>     In a stmt of a pattern guard for
>                    a case alternative:
>       (n Happy_GHC_Exts.<# (0# :: Happy_GHC_Exts.Int#))
>     In a case alternative:
>         n | (n Happy_GHC_Exts.<# (0# :: Happy_GHC_Exts.Int#))
>           -> (happyReduceArr Happy_Data_Array.! rule) i tk st
>           where
>               rule
>                 = (Happy_GHC_Exts.I#
>                      ((Happy_GHC_Exts.negateInt#
>                          ((n Happy_GHC_Exts.+# (1# ::
> Happy_GHC_Exts.Int#))))))
> ...
> ...
>
> templates/GenericTemplate.hs:219:14:
>     Pattern bindings containing unlifted types should use an outermost
> bang pattern:
>       (sts1@((HappyCons (st1@(action)) (_))))
>         = happyDrop k (HappyCons (st) (sts))
>     In an equation for ‘happyMonad2Reduce’:
>         happyMonad2Reduce k nt fn j tk st sts stk
>           = happyThen1
>               (fn stk tk)
>               (\ r -> happyNewToken new_state sts1 (r `HappyStk`
> drop_stk))
>           where
>               (sts1@((HappyCons (st1@(action)) (_))))
>                 = happyDrop k (HappyCons (st) (sts))
>               drop_stk = happyDropStk k stk
>               (off) = indexShortOffAddr happyGotoOffsets st1
>               (off_i) = (off Happy_GHC_Exts.+# nt)
>               ....
>
> Failed to install haskell-src-exts-1.16.0.1

This issue was reported in

  https://github.com/haskell-suite/haskell-src-exts/issues/64

As it was pointed by Jacques, the build needs Happy 1.19.x

  https://github.com/haskell-suite/haskell-src-exts/issues/64#issuecomment-29763061

-- 
Andrés