# @TEST-GROUP: no-jit
# @TEST-EXEC: ${HILTIC} -c -D compiler,driver,resolver,ast-final foo.hlt >output 2>&1
# @TEST-EXEC: btest-diff output

@TEST-START-FILE foo.hlt

module Foo {

import Bar;

public type Foo1 = bool;
public type Foo2 = Bar::Bar1;

function string foo(Foo1 foo, Bar::Bar1 bar) { return ""; }

}

@TEST-END-FILE


@TEST-START-FILE bar.hlt

module Bar {

import Foo;

public type Bar1 = string;
public type Bar2 = Foo::Foo1;

function string bar(Bar1 bar, Foo::Foo1 foo) { return ""; }

}

@TEST-END-FILE