ivory-backend-acl2 can not work

[stivensen]

when i install ACL2 backend,the "cabal install" command made a mistake: Constructor ‘I.InitArray’ should have 2 arguments, but has been given 1,so the work failed.
How do I solve this?

Configuring ivory-backend-acl2-0.0.0...
Building ivory-backend-acl2-0.0.0...
Preprocessing library ivory-backend-acl2-0.0.0...
[ 9 of 10] Compiling Ivory.Compile.ACL2 ( src/Ivory/Compile/ACL2.hs, dist/build/Ivory/Compile/ACL2.o )

src/Ivory/Compile/ACL2.hs:90:3:
    Constructor ‘I.InitArray’ should have 2 arguments, but has been given 1
    In the pattern: I.InitArray a
    In a case alternative: I.InitArray a -> M.Array $ map cllInit a
    In the expression:
      case a of {
        I.InitZero -> M.Literal $ M.LitInteger 0
        I.InitExpr _ b -> cllExpr b
        I.InitArray a -> M.Array $ map cllInit a
        I.InitStruct a -> M.Struct [(n, cllInit v) | (n, v) <- a] }