idris-0.10.1: test/syntax001/expected

Syntax.idr:6:7-9:1:
When checking right hand side of foo with expected type
        Nat

When checking an application of function Prelude.Interfaces.+:
        Type mismatch between
                String (Type of "argh")
        and
                Nat (Expected type)
SyntaxTest.idr:5:7-6:1:
When checking right hand side of foo with expected type
        Nat

When checking an application of function Prelude.Interfaces.+:
        Type mismatch between
                String (Type of "argh")
        and
                Nat (Expected type)