6 Feb
2015
6 Feb
'15
1:05 a.m.
In my limited experience thus far, it seems to me that a substantial majority of modules that start out needing one of these end up needing the other one too. They appear to be two sides of the same coin, each allowing for (slightly) more powerful termination checking. Should the two just be made synonyms, to cut down a tiny bit on the boilerplate LANGUAGE pragmas?