idris-1.2.0: test/syntax001/expected

Syntax.idr:6:7-18:
  |
6 | foo = fnord "argh"
  |       ~~~~~~~~~~~~
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-18:
  |
5 | foo = fnord "argh"
  |       ~~~~~~~~~~~~
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)