What would increase the readability of the component interfaces in our generated .s files, is printing the original compartment names instead of just numbers:
# Interfaces
# Compartment 74 exports process
# Compartment 74 exports init
# Compartment 71 exports valid
# Compartment 74 imports Compartment 71[valid]
# Compartment 83 imports Compartment 74[process]
# Compartment 83 imports Compartment 74[init]
# Compartment 74 imports system call printf
# Compartment 83 imports system call printf
# Compartment 83 imports system call fgets
@jeremyThibault Would this be hard to do?
What would increase the readability of the component interfaces in our generated
.sfiles, is printing the original compartment names instead of just numbers:@jeremyThibault Would this be hard to do?