Created a new sac2c: -feedback It prints out feedback from various compile time analyses. This makes the output more accessible as it is no longer directly linked to the verbosity level. Currently supported flags:
t) type specialisation c) constraint resolution o) optimisation statistics