aboutsummaryrefslogtreecommitdiff
path: root/lib/system.ml
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-09-28 11:14:23 +0200
committerPierre-Marie Pédrot2020-09-30 13:20:27 +0200
commite3a1cf35313bbc4eaca2a43f5fc95ca306bc45fa (patch)
tree288992d95abc5eadcdaa22867ebf0fd944e07a72 /lib/system.ml
parent2c802aaf74c83274ae922c59081c01bfc267d31b (diff)
Remove the forward class hint feature.
It was not documented, not properly tested and thus likely buggy. Judging from the code alone I spotted already one potential bug. Further more it was prominently making use of the infamous "arbitrary term as hint" feature. Since the only user in our CI seems to be a math-classes file that introduced the feature under a claim of "cleanup", I believe we can safely remove it without anyone noticing.
Diffstat (limited to 'lib/system.ml')
0 files changed, 0 insertions, 0 deletions