ContractImp Constraint Violations when Importing

[noschiff]

Should ContractImp have constraint violations? This is pretty unhelpful to the user.

import "B.scif";

contract A {
    B addr;
    constructor() { super(); }

    @public void foo() {
        addr.bar();
    }
}

contract B {
    constructor() { super(); }

    @public void bar () {
    }
}

gives

/Users/noah/Cornell/SCIF/compiler/./.scif/foo0.ifc | <----
Static type error.
Code locations most likely to be wrong:
1. ContractImp.scif, line 16, column 22: 
Argument from may be labeled incorrectly.
    bool bypassLocks(address from) {
                     ^

If we turn B into

contract B {
    constructor() { super(); }

    @public void bar () {
        uint x = 0;
    }
}

we get

/Users/noah/Cornell/SCIF/compiler/./.scif/foo0.ifc | <----
Static type error.
Code locations most likely to be wrong:

1. ContractImp.scif, line 37, column 22:
   Argument l may be labeled incorrectly.
   bool releaseLock(address l) {
   ^

[noschiff]

contract A {
    A{this} addr;
    constructor() { super(); }

    @public void foo() {
        addr.foo();
    }
}

works fine, FWIW. so maybe this is an importing issue?

[calciiium]

interface B {
    @public void bar() ;
}

Changing B to interface works fine too