search

apl-cornell / fabric

Distributed persistent programming language with secure information flow types
http://www.cs.cornell.edu/projects/fabric/
Other
28 stars 4 forks source link

Unused fabric.util.* import causes compiler bug in FabIL and Fabric #7

Open tmagrino opened 7 years ago

tmagrino commented 7 years ago

Committed in 88c931a test cases in tests/regression/fabric/UnusedUtilImport.fab and tests/regression/fabric/UnusedUtilImport.fil.

Here's what I get:

# bin/filc -c tests/regression/fabil/UnusedUtilImport.fil
/{rest of path}/fabric/tests/regression/fabil/UnusedUtilImport.fil:1: 
    Class "fabric.util" not found.
import fabric.util.*;
^-------------------^

1 error.
null
# bin/fabc -c tests/regression/fabric/UnusedUtilImport.fab
/{rest of path}/fabric/tests/regression/fabric/UnusedUtilImport.fab:1:
    Package "fabric" not found.
import fabric.util.*;
^-------------------^

1 error.
null
# bin/fabc -c tests/regression/fabric/UnusedUtilImport.fab -cp classes
/home/bluewres/research/fabric/tests/regression/fabric/UnusedUtilImport.fab:1:
    Class "fabric.util" not found.
import fabric.util.*;
^-------------------^

1 error.
null

It's worth noting that compiling with the rt-classes on the classpath for fabric works fine, however.

K33TY commented 6 years ago

Seems this is true for all other unused imports ending with .* that I've seen thus far, I didn't get hung up on the error this time because I knew about it...