// two different errors to cover linebreak in error display

module Foo
imports int String

abstract syntax

T = foo(x:A)