search

hhu-stups / pyB

pyB
6 stars 0 forks source link

Enum Hint may be nonsense #19

Closed JonnyWalker closed 10 years ago

JonnyWalker commented 10 years ago

Write more enum hint-tests

JonnyWalker commented 10 years ago

Enum hints are set while type checking. Only inside membership (belong)-nodes, if both children-nodes are ids. e.g x:S, S is added as hint to the x node. If there is already a hint present, the hint is set to None and will be ignored inside the enumeration. It is set as ast-node modification after a frame pop (write to env).

The hint is used in try_all_values and and all_values inside enumeration.py

JonnyWalker commented 10 years ago

Removed enum hint. The hint was set but never used in enumeration.py. It was always nonsense to collect constraints while type checking. Collecting the information x:S without knowing the context was never useful at all