1/1: Building unpack (unpack.idr)
Error: While processing right hand side of message. When unifying:
    String -> InterpFormat (format [assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 13))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 14))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 15))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 16))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 17))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 18))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 19))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 20))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 21))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 22))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 23))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 24))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 25))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 26))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 27))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 28))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 29))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 30))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 31))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 32))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 33))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 34)))))])
and:
    String
Mismatch between: String -> InterpFormat (format [assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 13))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 14))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 15))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 16))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 17))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 18))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 19))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 20))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 21))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 22))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 23))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 24))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 25))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 26))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 27))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 28))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 29))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 30))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 31))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 32))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 33))))), assert_total (prim__strIndex (fromString "My name is %s and I am %d years old") (prim__cast_IntegerInt (natToInteger (assert_total (integerToNat 34)))))]) and String.

unpack:39:11--39:55
 35 | printf : (s : String) -> InterpFormat (formatString s)
 36 | printf s = toFunction (formatString s) ""
 37 | 
 38 | message : String
 39 | message = printf "My name is %s and I am %d years old"
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

