path: root/src/testsuite/compiler/1867459.spad

++ Contributed by Luke Wagner.
)abbrev package FOO Foo

Foo() : with
    foo : Integer -> Integer
  == add
    foo i -- missing ==
      i