Issue 16750: Python Code module implements uncomputable function (original) (raw)
Issue16750
Created on 2012-12-22 06:17 by pleed, last changed 2022-04-11 14:57 by admin. This issue is now closed.
Messages (2) | ||
---|---|---|
msg177923 - (view) | Author: pleed (pleed) | Date: 2012-12-22 06:17 |
The "code" class implements the __eq__ operator which is known to be uncomputable. | ||
msg177936 - (view) | Author: Mark Dickinson (mark.dickinson) * ![]() |
Date: 2012-12-22 11:14 |
Closing as invalid. There's no issue with comparing code objects---__eq__ implements a perfectly good equivalence relation. This is not an extensional definition of function equality. |
History | |||
---|---|---|---|
Date | User | Action | Args |
2022-04-11 14:57:39 | admin | set | github: 60954 |
2012-12-22 11:14:54 | mark.dickinson | set | status: open -> closednosy: + mark.dickinsonmessages: + resolution: not a bug |
2012-12-22 06:17:34 | pleed | create |