Messages in this thread | | | From | David Woodhouse <> | Date | Sat, 21 Apr 2001 13:32:13 +0100 |
| |
esr@thyrsus.com said: > If it can't be mechanically verified that the symbol has a correct > reference pattern within the tree, then it's broken. That's a > definition.
Here's an alternative definition:
If the symbol has the letters 'F', 'I', 'S' and 'H' in it, in any order, then it's broken.
That's also a definition. It's not a particularly useful one, but neither was yours.
/me looks for a way to equate the original definition with the halting problem :)
-- dwmw2
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |