Previous Up

9.6  Arithmetic and Coroutining

Arithmetic comparisons can be delayed until their arguments are instantiated instead of generating an instantiation fault by passing the comparison to the suspend solver (see section 18.3). This gives a form of coroutining.


Previous Up