idris-1.2.0: test/error007/expected

error007.idr:26:7-29:
   |
26 |       send_page conn str code -- (prim__zextB32_Int code)
   |       ~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of answer_to_connection with expected type
        IO Int

When checking argument code to function Main.send_page:
        Type mismatch between
                translate I32 (Type of code)
        and
                Int (Expected type)
        
        Specifically:
                Type mismatch between
                        Bits32
                and
                        Int