Previous: When to use type specialization, Up: Type specialization   [Contents]


18.2.3 Implementation specific details

The University of Melbourne Mercury compiler performs user-requested type specializations when invoked with ‘--user-guided-type-specialization’, which is enabled at optimization level ‘-O2’ or higher. However, for the Java back-end, user-requested type specializations are ignored.