Errors for demo use case

[zweicoder]

Using "solc": "^0.3.6", in a project and trying to compile the demo:

var solc = require('solc');
var input = {
    'lib.sol': 'library L { function f() returns (uint) { return 7; } }',
    'cont.sol': 'import "lib.sol"; contract x { function g() { L.f(); } }'
};
var output = solc.compile({sources: input}, 1);
output.formal.errors.forEach((err)=>{

    console.log(err)
})

Output:

lib.sol:1:1: Error: Libraries not supported.
library L { function f() returns (uint) { return 7; } }
^-----------------------------------------------------^

lib.sol:1:35: Error: Unnamed return variables not yet supported.
library L { function f() returns (uint) { return 7; } }

Edit:

After looking into it more, I assume this is only error for formal verification and should not affect the compilation of contracts? If so feel free to close this issue :)

[chriseth]

Yes, this only concerns formal verification, you should still get the compilation results.