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


19.2.3 Implementation specific details

The 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.